| 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 | ||