Wikidata entity: Q649732
| P1889 | different from | ... | Q792542 (axiomatic system) | axiomatic system |
| P2079 | fabrication method | ... | Q5469988 (formalization) | formalization |
| P1552 | has characteristic | ... | Q1319773 (consistency) | consistency |
| P1552 | has characteristic | ... | Q15846555 (completeness) | completeness |
| P31 | instance of | ... | Q96116695 (type of system) | type of system |
| P279 | subclass of | ... | Q3622126 (conceptual system) | conceptual system |
| P910 | topic's main category | ... | Q8466138 (Category:Formal systems) | Category:Formal systems |
| P2581 | BabelNet ID | 14401372n |
| P2581 | BabelNet ID | 14401372n |
| P4746 | Elhuyar ZTH ID | 139742 |
| P1417 | Encyclopædia Britannica Online ID | topic/formal-system |
| P1417 | Encyclopædia Britannica Online ID | topic/logical-calculus |
| P646 | Freebase ID | /m/0239v0 |
| P11514 | Great Russian Encyclopedia portal ID | formal-naia-sistema-303daf |
| P3827 | JSTOR topic ID (archived) | formal-systems |
| P8408 | KBpedia ID | FormalSystem |
| P6366 | Microsoft Academic ID (discontinued) | 102315432 |
| P1245 | OmegaWiki Defined Meaning | 1098805 |
| P10283 | OpenAlex ID | C102315432 |
| P3417 | Quora topic ID | Formal-System |
| P7993 | Treccani's Dizionario di Filosofia ID | sistema-formale |
Why not click here or view trends?
log id: 6436564