Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Category:Proof theory · Vinony

EntityQ7452060· pop 27

Category:Proof theory

Wikimedia category

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Category:Proof theorists

Entitydist 0.03

Category:Methods of proof

Entitydist 0.04

Category:Mathematical proofs

Entitydist 0.08

Category:Automated theorem proving

Entitydist 0.11

Category:Articles containing proofs

Entitydist 0.13

Category:Fundamental theorems

Entitydist 0.15

Category:Theorema

Entitydist 0.16

Category:Proofread

Entitydist 0.16

Category:Proving grounds

Entitydist 0.16

Category:Computer-assisted proofs

Entitydist 0.18

Category:Conjectures that have been proved

Entitydist 0.19

Category:Theorems in real analysis

Entitydist 0.20