ili:i62154
http:rdf: | type | |
skos: | definition | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system |
Semantic relations
β΄dns: | linked concept | en: completeness |
Other
Source | http: |
β΄ fully or partially logically inferred
β download data as: .ttl