Inventory: F
The rows of the inventory whose names start with F. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 1–100 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F | 5RJDFV9KJ9 | definition | open | Wikipedia Glossary of set theory#S312 |
| F | CWY9S7XNB6 | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#M0P2 |
| f′x | EC6X52N3VY | definition | open | Wikipedia Glossary of set theory#AOCQ |
| F(R) gravity | NZMCTDC29K | topic | open | Wikipedia F(R) gravity, Wikidata Q3266751 |
| F(α) conjecture or strong pair correlation conjecture | DJ2ZC9F7BN | statement | open | Wikipedia Montgomery's pair correlation conjecture#K06C |
| F* | TM45CFGZCB | definition | open | Wikipedia F* (programming language), Wikidata Q5423569 |
| F-algebra | 2TSBYKPJVY | definition | open | Wikipedia List of algebras#99IH |
| F-algebra | KGNB59Y2NP | definition | open | Wikipedia F-algebra, Wikidata Q1386213 |
| F-coalgebra | XV9Z6J5CMW | definition | open | Wikipedia F-coalgebra, Wikidata Q3062935 |
| F-crystal | 48NDCSZKMC | definition | open | Wikipedia F-crystal, Wikidata Q6085547 |
| F-distribution | ACZPWCNWJT | definition | open | Wikipedia List of statistics articles#Z74W |
| F-distribution | QSY9H3Z7VF | definition | open | Wikipedia List of probability distributions#9BVB |
| F-distribution | V4S2G99E4Y | concept | open | Wikidata Q177144, EoM Fisher-F-distribution, MathWorld SnedecorsF-Distribution, Wikipedia F-distribution |
| F-divergence | STPKG2562W | definition | open | Wikipedia F-divergence, Wikidata Q5423634 |
| F-divergence | WP659VG04A | definition | open | Wikipedia List of statistics articles#TKUE |
| F-plane | A687S3KJ9E | definition | open | Wikipedia F-plane, Wikidata Q5423639 |
| F-regular | RMKWGV2Z3K | definition | open | Wikipedia Glossary of algebraic geometry#6IYY |
| F-related | 2Z6WVK9MSJ | unknown | open | Wikipedia Vector field#1JV5 |
| F-score | T482CHAD27 | definition | open | Wikipedia F-score, Wikidata Q6975395 |
| F-space | B2CWASNCK9 | definition | open | Wikidata Q2664426, ProofWiki Definition:F-Space, Wikipedia F-space |
| F-statistics | AMKZWA01RX | definition | open | Wikipedia F-statistics, Wikidata Q5423646 |
| F-statistics | XXMWVY377K | definition | open | Wikipedia List of statistics articles#4J13 |
| f-Strong topology | 8ZTH662ATP | definition | open | Wikipedia Glossary of general topology#AP70 |
| F-test | CR9926XTXV | definition | open | Wikipedia F-test, Wikidata Q1386253 |
| F-test | SZSSR1JRN8 | definition | open | Wikipedia List of statistics articles#FH8N |
| F-test of equality of variances | DYYBSYCG23 | definition | open | Wikipedia F-test of equality of variances, Wikidata Q5423649 |
| F-test of equality of variances | RHGE44HHCQ | definition | open | Wikipedia List of statistics articles#HOLN |
| F-theory | HNXYZD7HAG | unknown | open | Wikipedia List of string theory topics#DHC3 |
| F-theory | T18XGC31NY | unknown | open | Wikidata Q852072, nLab F-theory |
| F-vector | T4DP1JNWYZ | unknown | open | Wikipedia Polyhedral combinatorics#OX3A |
| F-Yang–Mills equations | BQCXHZZT8K | definition | open | Wikipedia F-Yang–Mills equations, Wikidata Q130893638 |
| F. A. Bogomolov | DSJHW5FY4N | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N5CO |
| F. and M. Riesz theorem | 9D2JDG9ASJ | statement | open | mathlib_1000 Q3527067, Wikidata Q3527067, thousand_plus Q3527067, Wikipedia F. and M. Riesz theorem |
| F. and M. Riesz theorem | G7050QT221 | statement | open | Wikipedia List of theorems#ILHI |
| F. Burton Jones | 259Z02FRRX | unknown | open | Wikipedia List of people by Erdős number#QFQH |
| F. C. S. Schiller | 5M4M1BVA6C | topic | open | Wikipedia F. C. S. Schiller, Wikidata Q819293 |
| F. G. Mehler | D6KWWYYY8V | topic | open | Wikipedia List of eponyms of special functions#3EZ2 |
| F. H. Jackson | QYM9CJCC59 | unknown | open | Wikipedia List of eponyms of special functions#ER1W |
| F. J. Murray | C3VJ1GKXRN | topic | open | Wikipedia List of scientific publications by John von Neumann#V5QX |
| F. J. Murray | D9S4XXGNKH | topic | open | Wikipedia List of scientific publications by John von Neumann#6WRA |
| F. J. Murray | JES6Q1RFPQ | topic | open | Wikipedia List of scientific publications by John von Neumann#FGYG |
| F. J. Vaes | AYC8ASKMH3 | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZCU7 |
| F. Klein | GND6R3BG2C | topic | open | Wikipedia List of group theory topics#B20O |
| F. Michael Christ | DDRRFKAEJR | topic | open | Wikipedia F. Michael Christ, Wikidata Q56678193 |
| F. Michael Christ | Z53A5FVCCR | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O935 |
| F. R. W. Hunt | 9X46KCPCME | unknown | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6JT3 |
| F. Reese Harvey | BZ80MC2FKC | topic | open | Wikipedia F. Reese Harvey, Wikidata Q100743441 |
| F. Reese Harvey | PDFASAQBH4 | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YGGX |
| F. Riesz theorem | SS1HCA1X5P | statement | open | Wikipedia F. Riesz's theorem#2YHN |
| F. Riesz's theorem | 1KJY88HEE3 | statement | open | Wikipedia F. Riesz's theorem, Wikidata Q97279461 |
| F. Stuart Chapin | XM0YPBWVH4 | unknown | open | Wikipedia List of fellows of the American Statistical Association#F2RO |
| F. Thomas Farrell | 3EXWF11K5Q | topic | open | Wikipedia F. Thomas Farrell, Wikidata Q20090681 |
| F. Thomas Farrell | Q6A1ECRAZM | topic | open | Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z1NH |
| F. Thomas Juster | EE8G0X4N8C | unknown | open | Wikipedia List of fellows of the American Statistical Association#ECRF |
| F. Thomson Leighton | NJ0FYPEXQS | unknown | open | Wikipedia List of people by Erdős number#XY6S |
| F. W. Winterbotham | HPSAN59ZG8 | topic | open | Wikipedia F. W. Winterbotham, Wikidata Q5424088 |
| F.W. Levi | QE4BXHKX9E | topic | open | Wikipedia List of group theory topics#T4Q2 |
| F/f | FD2AP492Z3 | unknown | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) | Wikidata Q9765, ProofWiki Symbols:F |
| F000AF45KB | F000AF45KB | proof | open | hott_book hits.tex#proof-11 |
| F00G4FZJYD | F00G4FZJYD | example | 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 2602.14912#R4EK |
| F00VF0PTTD | F00VF0PTTD | statement | 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.36045#C60E |
| F00X039FF3 | F00X039FF3 | statement | 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 2610.17737#ASBD |
| F010X7VYNY | F010X7VYNY | statement | 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.33162#KS19 |
| F0110ZJZ2R | F0110ZJZ2R | statement | 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 2403.08723#DD84 |
| F01PHHK8VG | F01PHHK8VG | statement | 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 2610.04895#KCXY |
| F024KS3646 | F024KS3646 | statement | 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.21649#Y7FS |
| F026ND5XT4 | F026ND5XT4 | statement | 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 2405.05684#JU9D |
| F028WWN193 | F028WWN193 | statement | 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 2610.20891#AWAM |
| F02CNVPBDT | F02CNVPBDT | statement | 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.39104#DAEB |
| F02JFJ1AN5 | F02JFJ1AN5 | statement | 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.35597#PO0W |
| F02V3T5Q6P | F02V3T5Q6P | statement | 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 0809.4587#AD4P |
| F032P6M8T1 | F032P6M8T1 | statement | 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 2402.08944#G8EK |
| F03XQBGR7Y | F03XQBGR7Y | 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.21692#3ZQ6 |
| F043YFAEXE | F043YFAEXE | statement | 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 2112.05010#FFNH |
| F044CTK81K | F044CTK81K | statement | 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.39824#TQAP |
| F04PYKZJZ4 | F04PYKZJZ4 | statement | 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 2604.05177#NGPH |
| F04WW77JSB | F04WW77JSB | exercise | open | open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#prob-1 |
| F04YSZ7GM3 | F04YSZ7GM3 | exercise | open | open_logic content/first-order-logic/models-theories/set-theory.tex#prob-1 |
| F05KEW5MXM | F05KEW5MXM | statement | 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 2610.18894#VL72 |
| F06T6PH4S0 | F06T6PH4S0 | statement | 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 2111.00832#561J |
| F06W4S3R6F | F06W4S3R6F | statement | 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.33590#X8IK |
| F074Q0X75N | F074Q0X75N | proof | open | lebl_ra ch-several-vars-ders.tex#proof-16 |
| F0821JHQQK | F0821JHQQK | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-15 |
| F08CCK2ST9 | F08CCK2ST9 | 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 2610.09897#QON5 |
| F08QTHK8VF | F08QTHK8VF | statement | 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.20961#QTIE |
| F09V067VXB | F09V067VXB | statement | 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 2610.07164#ZKVP |
| F0A0XH245G | F0A0XH245G | problem | open | Wikipedia Sierpiński number#PJFY |
| F0AAS8TFH2 | F0AAS8TFH2 | statement | 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.37524#7US7 |
| F0ACZTV8CJ | F0ACZTV8CJ | statement | 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 2610.18287#K83V |
| F0AG27D31M | F0AG27D31M | example | 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.25111#IK92 |
| F0AQRC4Y3E | F0AQRC4Y3E | statement | 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 2610.10973#46HT |
| F0B5HW60NH | F0B5HW60NH | statement | open | lebl_ra ch-seq-funcs.tex#integralinterchange:thm |
| F0BA1NJJ92 | F0BA1NJJ92 | example | 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.27931#G52X |
| F0BB8T9W25 | F0BB8T9W25 | statement | 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.27125#3XVE |
| F0BK93VRNA | F0BK93VRNA | statement | 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 2610.00775#ULDU |
| F0BVVJPTD7 | F0BVVJPTD7 | statement | 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 2610.18078#6CBE |
| F0BZFZBE36 | F0BZFZBE36 | statement | 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 2407.08004#UO14 |
| F0C7X8ESK4 | F0C7X8ESK4 | statement | 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 2610.08193#4PXF |
| F0CE202W1P | F0CE202W1P | 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 2310.14879#OKIU |
| F0D0JGKP78 | F0D0JGKP78 | proof | open | open_logic content/proof-theory/propositions-as-types/proofs-to-terms.tex#proof-1 |