en inference rule (n)
― PartOf ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en syntax
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en axiom
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en formal language
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en axiom (n)
― PartOf ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en theory (n)
― PartOf ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en formal language (n)
― PartOf ⟶
Weight: 1.0
en formal system Source: English Wiktionary
en inference rule
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en theory
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary
en semantics
― PartOf ⟶
Weight: 1.0
en formal system (n) Source: English Wiktionary