About: (logic) A formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: (logic) A formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : kaiko.getalp.org associated with source document(s)

Attributes	Values
rdf:value	(logic) A formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. (en)
is skos:definition of	dbnary-eng:__ws_4_schema__Noun__1

Faceted Search & Find service v1.16.117 as of Mar 05 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Mar 5 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (125 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software