Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Category:Proof theory · Vinony

Home
Browse
Category:Proof theory

🌐English

English Español Français Svenska Tiếng Việt Türkçe Русский العربية فارسی 한국어 中文日本語

EntityQ7452060· pop 27

Category:Proof theory

Wikimedia category

Available in 26 languages

Español
Français
中文
日本語
Русский
العربية
Basque
be_x_old
Bosnian

Norwegian Nynorsk

Serbian (Latin)

Show 7 more

Tiếng Việt
Türkçe
Ukrainian
Urdu
zh_yue
فارسی
한국어

via Wikidata sitelinks · CC0

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