Browse
Theorem
Explore subjects recorded in this category. Classifications come from Wikidata and have not been independently checked here.
Appearing here does not make a subject a governed Counterpedia record. Data and provenance
43
Subjects
43
Recorded classifications
0
Partial type records
Members
- resolution
Source identity
Provider: Wikidata · Entity ID: Q1051925 - optical theorem
Source identity
Provider: Wikidata · Entity ID: Q1136262 - Lami's theorem
Source identity
Provider: Wikidata · Entity ID: Q1149522 - Itō's lemma
Source identity
Provider: Wikidata · Entity ID: Q1151100 - Brianchon's theorem
Source identity
Provider: Wikidata · Entity ID: Q119450 - Noether normalization lemma
Source identity
Provider: Wikidata · Entity ID: Q1287074 - Parseval's theorem
Source identity
Provider: Wikidata · Entity ID: Q1443036 - primary decomposition
Source identity
Provider: Wikidata · Entity ID: Q172298 - Bayes' rule
Source identity
Provider: Wikidata · Entity ID: Q1754809 - rational root theorem
Source identity
Provider: Wikidata · Entity ID: Q180345 - Heron's formula
Source identity
Provider: Wikidata · Entity ID: Q182714 - Rice's theorem
Source identity
Provider: Wikidata · Entity ID: Q1893717 - central limit theorem
Source identity
Provider: Wikidata · Entity ID: Q190391 - Euler's theorem
Source identity
Provider: Wikidata · Entity ID: Q193910 - chain rule
Source identity
Provider: Wikidata · Entity ID: Q207455 - Karush–Kuhn–Tucker conditions
Source identity
Provider: Wikidata · Entity ID: Q2075125 - primitive element theorem
Source identity
Provider: Wikidata · Entity ID: Q2093886 - Wiener–Khinchin theorem
Source identity
Provider: Wikidata · Entity ID: Q2301141 - charge-parity-time symmetry
Source identity
Provider: Wikidata · Entity ID: Q260060 - convolution theorem
Source identity
Provider: Wikidata · Entity ID: Q2638931 - butterfly theorem
Source identity
Provider: Wikidata · Entity ID: Q377047 - Min-max theorem
Source identity
Provider: Wikidata · Entity ID: Q4454958 - Brown's representability theorem
Source identity
Provider: Wikidata · Entity ID: Q4975963 - Case analysis
Source identity
Provider: Wikidata · Entity ID: Q5048330 - von Neumann bicommutant theorem
Source identity
Provider: Wikidata · Entity ID: Q528987 - Tarski's undefinability theorem
Source identity
Provider: Wikidata · Entity ID: Q574902 - Noether's theorem
Source identity
Provider: Wikidata · Entity ID: Q578555 - idempotency of entailment
Source identity
Provider: Wikidata · Entity ID: Q5988174 - Max-flow min-cut theorem
Source identity
Provider: Wikidata · Entity ID: Q608294 - virial theorem
Source identity
Provider: Wikidata · Entity ID: Q620602 - Lerner symmetry theorem
Source identity
Provider: Wikidata · Entity ID: Q6528849 - Paris–Harrington theorem
Source identity
Provider: Wikidata · Entity ID: Q7137494 - Bendixson–Dulac theorem
Source identity
Provider: Wikidata · Entity ID: Q737892 - Schnyder's theorem
Source identity
Provider: Wikidata · Entity ID: Q7431925 - space hierarchy theorem
Source identity
Provider: Wikidata · Entity ID: Q7572588 - Van der Waerden's theorem
Source identity
Provider: Wikidata · Entity ID: Q764287 - transposition
Source identity
Provider: Wikidata · Entity ID: Q7835331 - universal Turing machine theorem
Source identity
Provider: Wikidata · Entity ID: Q7902910 - Weil reciprocity law
Source identity
Provider: Wikidata · Entity ID: Q7980189 - modus tollens
Source identity
Provider: Wikidata · Entity ID: Q844118 - Harnack's inequality
Source identity
Provider: Wikidata · Entity ID: Q868279 - Binet–Cauchy identity
Source identity
Provider: Wikidata · Entity ID: Q935404 - Hille–Yosida theorem
Source identity
Provider: Wikidata · Entity ID: Q974405
End of this category
Data and provenance
Provider: Wikidata · Category ID: Q65943. Recorded label: theorem. Membership uses exact P31 (“instance of”) statements, without inferred or subclass membership.
43 statement rows; 61665 bounded bytes read. This technical read limit does not assess source support.
- Public release
- sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7
- Projection source release
- sha256:ea0e40d1cd430ab2f1d2f7ea45cdc3ab22f0bbbf772a96703a721cbe8ea97843
- Membership artifact
- sha256:fe67438914b44adac201a6f2e1418c785c89b6fed9968462d434c31e35c7c628
- Class artifact
- sha256:4cbcdf13236398a2f13c6da6b53a520cf6a4a5ed42eea9845cf5579e08995ef8
- Class index
- sha256:a1b2f7c2f9c519553c259832c7130d876c684487a7f759f252e4974e67032f41
- Source adjacency
- sha256:9e459e3e17aa2f90f5bab367d26abbe50a97f1d9a775566ff425beab9f3170d0
These identifiers make the carried projection inspectable and reproducible. They are provenance bindings, not truth, support, admission, verification, or authority claims.