ConceptNet 5: Query results

en resplendency ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en arithmetical set ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en resplendent ^(a)	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en axiom	Source: English Wiktionary
en presburger arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en löb's theorem ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en paris harrington theorem ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en clarithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en natural number	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en successor	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en presburger arithmetic	Source: English Wiktionary
en pa ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en peano arithmetic	Source: English Wiktionary
en peano arithmetic ⁽ⁿ⁾	― RelatedTo ⟶ Weight: 1.0	en first order logic	Source: English Wiktionary