| Definition (single crossing differences) | RQ6DMPY4W6 | definition | open | Wikipedia Monotone comparative statics#YGKL |
| Definition (single crossing function) | F558KG0456 | definition | open | Wikipedia Monotone comparative statics#8L4G |
| Definition (Strong Extractor) | DSAD7QPA0G | definition | open | Wikipedia Randomness extractor#2OGR |
| Definition (strong set order) | AQ5RVXCQRZ | definition | open | Wikipedia Monotone comparative statics#8I3T |
| Definition (Strong Set Order) | PHDF1XYBKB | definition | open | Wikipedia Monotone comparative statics#XP9V |
| Definition (Usefulness) | NJF0S4CB8V | definition | open | Wikipedia Exponential mechanism#WF1X |
| Definition (weakly distributive homomorphisms) | WJ4YXT2MG1 | definition | open | Wikipedia Distributive homomorphism#3EF0 |
| Definition (weight) | 55YDTRHFFA | definition | open | Wikipedia Locally compact quantum group#9PV1 |
| Definition (φ-irreducibility) | ZGN3YWY4DF | definition | open | Wikipedia Markov chain Monte Carlo#6901 |
| Definition 0 | MMXCXSCXCV | definition | open | Wikipedia Nuclear space#Q05M |
| Definition 1 | 7NR06JNJ0H | definition | open | Wikipedia Petri net#Q2AW |
| Definition 1 | 825YY6XMXS | definition | open | Wikipedia Caccioppoli set#8HEJ |
| Definition 1 | CWSMZPWGDD | definition | open | Wikipedia Coloured Petri net#MA70 |
| Definition 1 | D4ZRE41JQ8 | definition | open | Wikipedia Nuclear space#V3Z8 |
| Definition 1 | EQFEQYMMV0 | definition | open | Wikipedia Perron–Frobenius theorem#OO9S |
| Definition 1 | HMQZA4JBTY | definition | open | Wikipedia Balance puzzle#GOGL |
| Definition 1 | JHNAV2X1F2 | definition | open | Wikipedia Generic-case complexity#44QG |
| Definition 1 | ND5DAZ3XW2 | definition | open | Wikipedia Amenable group#7JPV |
| Definition 1 | RBYWMFV5ME | definition | open | Wikipedia Series–parallel graph#P811 |
| Definition 1 | T3XYK2CXHE | definition | open | Wikipedia Unitary operator#FL4Q |
| Definition 1 | Z5E8T158BT | definition | open | Wikipedia Hyperfinite equivalence relation#U6N6 |
| Definition 2 | 5ENQYXZ7AJ | definition | open | Wikipedia Petri net#YC3V |
| Definition 2 | 7W8S1H9CT7 | definition | open | Wikipedia Amenable group#KKOF |
| Definition 2 | 88KJ4S21XE | definition | open | Wikipedia Unitary operator#8SD9 |
| Definition 2 | 8KKDTAVP4N | definition | open | Wikipedia Hyperfinite equivalence relation#4G5S |
| Definition 2 | HRAGTYJSYK | definition | open | Wikipedia Balance puzzle#YY7L |
| Definition 2 | HWQPZEXG8M | definition | open | Wikipedia Generic-case complexity#65OO |
| Definition 2 | JN5GCHRMHV | definition | open | Wikipedia Series–parallel graph#0MUM |
| Definition 2 | KMAKZNQ5MD | definition | open | Wikipedia Perron–Frobenius theorem#4N82 |
| Definition 2 | YXVWCSMKPS | definition | open | Wikipedia Nuclear space#9RRO |
| Definition 2 | ZZBG7YW1CY | definition | open | Wikipedia Caccioppoli set#ZMNZ |
| Definition 2-1 (irrotational field) | 391B4WEFHJ | definition | open | Wikipedia Stokes' theorem#GRAC |
| Definition 2-2 (simply connected space) | 2TWT1444SA | definition | open | Wikipedia Stokes' theorem#MTQB |
| Definition 2.1. | JKVQAKRE2G | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.16884#RTZH |
| Definition 2.1. | XJ93N5PTVG | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.16884#6DY3 |
| Definition 2.4.2 in , \coqident{Foundations}{PartA}{hfiber | SRBP4HTTAD | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#AWBN |
| Definition 3 | 2SGZ7F9E14 | definition | open | Wikipedia Unitary operator#3V38 |
| Definition 3 | 37QXM88B1S | definition | open | Wikipedia Caccioppoli set#C3D7 |
| Definition 3 | 4JS6CQ0BKC | definition | open | Wikipedia Generic-case complexity#8NFK |
| Definition 3 | BAAMHNBR2E | definition | open | Wikipedia Nuclear space#N2XQ |
| Definition 3 | J206YX1AST | definition | open | Wikipedia Perron–Frobenius theorem#8281 |
| Definition 3 | ZZX35MA7CK | definition | open | Wikipedia Amenable group#36HI |
| Definition 4 | EK271CN7PS | definition | open | Wikipedia Generic-case complexity#ODGI |
| Definition 4 | FTPS1RD8F8 | definition | open | Wikipedia Perron–Frobenius theorem#HYXB |
| Definition 4 | JPHTA1VA82 | definition | open | Wikipedia Nuclear space#SC0K |
| Definition 4 | PQHEZQQFEV | definition | open | Wikipedia Petri net#4YLY |
| Definition 4 | PWT4Z7MX82 | definition | open | Wikipedia Caccioppoli set#B482 |
| Definition 5 | 5EGC67DT0M | definition | open | Wikipedia Nuclear space#JPRO |
| Definition 5 | W20JTAPCD1 | definition | open | Wikipedia Generic-case complexity#B622 |
| Definition 5.29, page 168 | N479AF8AA9 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.22759#QKJV |
| Definition 6 | Y2Y8FW1QK2 | definition | open | Wikipedia Nuclear space#D9E2 |
| Definition and axioms | 9X17JBD6B2 | statement | open | Wikipedia Matrix analysis#XP04 |
| Definition and example | 21GN2AD2RA | definition | open | Wikipedia Character table#AKZN |
| Definition and example | 2KRK7GDTFN | definition | open | Wikipedia Creative and productive sets#YM93 |
| Definition and example | 5QHB5RR1SA | definition | open | Wikipedia Polynomial regression#DRZ0 |
| Definition and example | DW0JDJQ6Q8 | definition | open | Wikipedia Strong product of graphs#DPMG |
| Definition and example | W4F31QSQW6 | definition | open | Wikipedia Order polytope#YVH5 |
| Definition and examples | 14KP6EGGAY | definition | open | Wikipedia Course-of-values recursion#S2WR |
| Definition and examples | 2N1WP2J168 | definition | open | Wikipedia Stirling polynomials#UBYT |
| Definition and examples | 3B5TYXXZ3H | definition | open | Wikipedia Prime number#GBOI |
| Definition and examples | 3EGGBXCEY5 | definition | open | Wikipedia Tautology (logic)#FRDZ |
| Definition and examples | 3YR5XZ298F | definition | open | Wikipedia Composite polyhedron#2GGV |
| Definition and examples | 7EHWKRZVFE | definition | open | Wikipedia Midsphere#CDH6 |
| Definition and examples | 7PQZKEHQQG | definition | open | Wikipedia Arithmetic Fuchsian group#LGHC |
| Definition and examples | 8Q6Q0X8TWP | definition | open | Wikipedia Abundant number#JGLA |
| Definition and examples | 932JC66T81 | definition | open | Wikipedia Polygonal number#H1NL |
| Definition and examples | F6Q5ZB9P86 | definition | open | Wikipedia Stirling polynomials#KD5P |
| Definition and examples | FGXCMB25TS | definition | open | Wikipedia Weyl group#B6C2 |
| Definition and examples | G07ZPFZGYA | definition | open | Wikipedia Randomized controlled trial#J8OO |
| Definition and examples | G720TZJ5DW | definition | open | Wikipedia Perverse sheaf#L5HS |
| Definition and examples | JTACAFZ6B3 | definition | open | Wikipedia Mapping class group of a surface#J12G |
| Definition and examples | JX2W0WEQ63 | definition | open | Wikipedia Free abelian group#YNUX |
| Definition and examples | MC7PCEYR9T | definition | open | Wikipedia Arithmetic hyperbolic 3-manifold#ZAUY |
| Definition and examples | MYVE6M3X57 | definition | open | Wikipedia Trémaux tree#O80A |
| Definition and examples | N10AYA9FZ3 | definition | open | Wikipedia Donaldson–Thomas theory#BQ9I |
| Definition and examples | P5N74J8S2N | definition | open | Wikipedia Numbering (computability theory)#UPKY |
| Definition and examples | Q0BDR9FVQC | definition | open | Wikipedia Numerical semigroup#WANV |
| Definition and examples | Q8QJ49C50T | definition | open | Wikipedia Four vertex theorem#6ZVH |
| Definition and examples | R6DD8QNTET | definition | open | Wikipedia Real tree#N278 |
| Definition and examples | S6R6MZQ1EW | definition | open | Wikipedia Partition function (number theory)#OKS8 |
| Definition and examples | T5J7MRBKFJ | definition | open | Wikipedia Carving width#7E4P |
| Definition and examples | V2VP6YVCP0 | definition | open | Wikipedia Even and odd functions#UA7P |
| Definition and examples | X7TJG6XJ11 | definition | open | Wikipedia Mutually unbiased bases#6VQA |
| Definition and examples | YH5KAP9XKN | definition | open | Wikipedia Locally compact abelian group#0WUS |
| Definition and examples | YQ5QZB7CH4 | definition | open | Wikipedia Moser–de Bruijn sequence#YS24 |
| Definition and examples | YQH0ENG62D | definition | open | Wikipedia (G, X)-manifold#JGQ7 |
| Definition and examples | YT3W2XVFD6 | definition | open | Wikipedia Herbrandization#AI4B |
| Definition and notation | 25651QRQXA | definition | open | Wikipedia Actuarial present value#WJUT |
| Definition and notation | 2VS6AZ17BP | definition | open | Wikipedia Generalized Petersen graph#PXIR |
| Definition and notation | 3Y1N4H5SNY | definition | open | Wikipedia Degree of a field extension#LJRY |
| Definition and notation | 3ZRHQTC5YP | definition | open | Wikipedia Semi-reflexive space#L63H |
| Definition and notation | 59DAQFHQTW | definition | open | Wikipedia Partition of a set#A4G9 |
| Definition and notation | 5FPHJE60DG | definition | open | Wikipedia Group isomorphism#VHCN |
| Definition and notation | AP85CZQGYE | definition | deferred (the cue heading names a section and not one item) | Wikipedia Cyclic group#X5TO |
| Definition and notation | B1C98S5N3T | definition | open | Wikipedia Geometric algebra#2DW1 |
| Definition and notation | FHX36NBP7R | definition | open | Wikipedia Borromean rings#4VWY |
| Definition and notation | G4DD86QCCB | definition | open | Wikipedia Equivalence class#005G |
| Definition and notation | GJ4KK6DBC8 | definition | open | Wikipedia Convergence space#A8H4 |
| Definition and notation | HY3M69YXKF | definition | open | Wikipedia Nth root#35B5 |
| Definition and notation | N8B06JRTHB | definition | open | Wikipedia Median#POKC |
