Wikidata entity: Q1150675
| P1482 | Stack Exchange tag | Url | Newest 'computer-assisted-proofs' Questions - Mathematics Stack Exchange | ??? |
| P279 | subclass of | ... | Q22907339 (non-surveyable proof) | non-surveyable proof |
| P279 | subclass of | ... | Q11538 (mathematical proof) | mathematical proof |
| P575 | time of discovery or invention | ... | 1970-01-01 | ??? |
| P2283 | uses | ... | Q11387554 (proof assistant) | proof assistant |
| P646 | Freebase ID | /m/0863f9 |
| P6366 | Microsoft Academic ID (discontinued) | 173613240 |
| P10283 | OpenAlex ID | C173613240 |
Why not click here or view trends?
log id: 8184109