Wikidata entity: Q49938
| P6477 | does not have characteristic | ... | Q430001 (decidability) | decidability |
| P31 | instance of | ... | Q10859910 (theory) | theory |
| P6104 | maintained by WikiProject | ... | Q8487137 (WikiProject Mathematics) | WikiProject Mathematics |
| P1813 | short name | Monolingualtext | PA | ??? |
| P1482 | Stack Exchange tag | Url | Newest 'peano-arithmetic' Questions - Proof Assistants Stack Exchange | ??? |
| P279 | subclass of | ... | Q11205 (arithmetic) | arithmetic |
| P2283 | uses | ... | Q842755 (Peano axioms) | Peano axioms |
| P10565 | Encyclopedia of China (Third Edition) ID | 218527 |
| P2671 | Google Knowledge Graph ID | /g/121v2d7_ |
| P2671 | Google Knowledge Graph ID | /g/122n5dnb |
| P2812 | MathWorld ID | PeanoArithmetic |
| P691 | NL CR AUT ID | ph468053 |
| P4215 | nLab ID | Peano arithmetic |
Why not click here or view trends?
log id: 6151675