About: (countable, logic) A set of axioms together with all statements derivable from them; or, a set of statements which are deductively closed. Equivalently, a formal language plus a set of axioms (from which can then be derived theorems). The statements may be required to all be bound (i.e., to have no free variables).

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

About: (countable, logic) A set of axioms together with all statements derivable from them; or, a set of statements which are deductively closed. Equivalently, a formal language plus a set of axioms (from which can then be derived theorems). The statements may be required to all be bound (i.e., to have no free variables). Sponge NotDistinct Permalink

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

Attributes	Values
rdf:value	(countable, logic) A set of axioms together with all statements derivable from them; or, a set of statements which are deductively closed. Equivalently, a formal language plus a set of axioms (from which can then be derived theorems). The statements may be required to all be bound (i.e., to have no free variables). (en)
is skos:definition of	dbnary-eng:__ws_6_theory__Noun__1

Faceted Search & Find service v1.16.118 as of Jul 22 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

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