ili:i62153
http:| rdf: | type | |
| skos: | definition | (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another |
Semantic relations
| ∴dns: | linked concept | en: consistency |
Other
| Source | http: |
∴ fully or partially logically inferred
↓ download data as: .ttl