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