Edge list

Results from ConceptNet 5.8

Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en proof calculus Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en inference rule Source: English Wiktionary
en eigenvariable (n)
― RelatedTo ⟶
Weight: 1.0
en natural deduction Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en reasoning Source: English Wiktionary
fi luonnollinen päättely (n)
― RelatedTo ⟶
Weight: 1.0
en natural deduction Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en express Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en axiomatic Source: English Wiktionary
en natural deduction (n)
― RelatedTo ⟶
Weight: 1.0
en logical Source: English Wiktionary
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.