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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 4901–4998 of 4998.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FZ04T06T6R | FZ04T06T6R | 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 2503.00560#I5RA |
| FZ081PSAY9 | FZ081PSAY9 | exercise | open | napkin tex/calculus/limits.tex#prob:geometric |
| FZ0AQKVPG9 | FZ0AQKVPG9 | 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.14555#78B8 |
| FZ0MDBPQ4Y | FZ0MDBPQ4Y | 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.22190#IGFQ |
| FZ15N2DHMV | FZ15N2DHMV | 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.05776#WXTN |
| FZ15YSW99J | FZ15YSW99J | 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.20316#W0NL |
| FZ1D8F1V7A | FZ1D8F1V7A | 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 2507.05417#2342 |
| FZ1WKSCZ1C | FZ1WKSCZ1C | 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 2503.22636#0NRE |
| FZ1XJKZNHN | FZ1XJKZNHN | 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.15217#3JCK |
| FZ298F9K82 | FZ298F9K82 | 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.12484#NWYB |
| FZ33A5KJG7 | FZ33A5KJG7 | 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.11441#QP6R |
| FZ3EM4VR0K | FZ3EM4VR0K | example | open | levin_dmoi ptx/sec_counting-addmult.ptx#example-4 |
| FZ3H15TCWB | FZ3H15TCWB | 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.16241#MYJQ |
| FZ425AR42C | FZ425AR42C | 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.31269#5I86 |
| FZ5FHTQN33 | FZ5FHTQN33 | 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.27941#IQDL |
| FZ5WSBFHSX | FZ5WSBFHSX | 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.38741#Y2WT |
| FZ65YPQNQC | FZ65YPQNQC | 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.25391#DKBX |
| FZ6KVV7HFN | FZ6KVV7HFN | 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.27056#TL04 |
| FZ6MJ9RCFT | FZ6MJ9RCFT | 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.10372#LO5E |
| FZ6NYVM97A | FZ6NYVM97A | 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 2308.05066#RAAJ |
| FZ6SFMZDSD | FZ6SFMZDSD | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop-2 |
| FZ6YG9QN7X | FZ6YG9QN7X | statement | open | lebl_scv scv.tex#claim-2 |
| FZ702DVENM | FZ702DVENM | 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.17045#IY1O |
| FZ728M8PQT | FZ728M8PQT | 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.03071#5KAL |
| FZ73TMHC1R | FZ73TMHC1R | 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.15472#07UP |
| FZ758ST4TS | FZ758ST4TS | 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.37897#VON0 |
| FZ77DDJG82 | FZ77DDJG82 | 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.11619#MK7H |
| FZ7WJMGWBD | FZ7WJMGWBD | 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 2411.00562#QMQA |
| FZ84RK812P | FZ84RK812P | 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.20422#D8C8 |
| FZ878FJ3VE | FZ878FJ3VE | 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.28011#QPON |
| FZ94CQA93V | FZ94CQA93V | 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.13213#21VF |
| FZ95T1Y1ZS | FZ95T1Y1ZS | statement | open | open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:sound |
| FZ9KE4TPBX | FZ9KE4TPBX | proof | open | open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#proof-1 |
| FZ9PMXVMBM | FZ9PMXVMBM | 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.07092#YCFL |
| FZA493YX3P | FZA493YX3P | exercise | open | austin_ula src/section2-2.xml#activity-4 |
| FZA9NT8PHR | FZA9NT8PHR | 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.12736#VV4N |
| FZA9WTDZGS | FZA9WTDZGS | 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.11652#416L |
| FZB4RKAQ3M | FZB4RKAQ3M | 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.30097#UQ36 |
| FZC71BK2SV | FZC71BK2SV | 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 2112.10058#GBKE |
| FZD2V0AYQF | FZD2V0AYQF | 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.14189#HKS2 |
| FZD4JC0SYY | FZD4JC0SYY | 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.33231#N5Z2 |
| FZDCMQHEEG | FZDCMQHEEG | 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.28336#Z94Y |
| FZDCV29MZZ | FZDCV29MZZ | 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.02993#0T3Q |
| FZE5ECNBTF | FZE5ECNBTF | 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.14080#S161 |
| FZE9B6MVE2 | FZE9B6MVE2 | 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.11056#QKE5 |
| FZE9QGA2H6 | FZE9QGA2H6 | 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.03424#0LQC |
| FZEAJAC1GM | FZEAJAC1GM | 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.21322#44R0 |
| FZEJ9ZK4HP | FZEJ9ZK4HP | 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.28203#5QDC |
| FZFFKBCB5Q | FZFFKBCB5Q | 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.22847#BK5Y |
| FZFHWK256K | FZFHWK256K | 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.10078#049Q |
| FZFRRK9PY4 | FZFRRK9PY4 | unknown | open | |
| FZFRSDQN17 | FZFRSDQN17 | 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.00312#2E56 |
| FZFWNW8KD5 | FZFWNW8KD5 | 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.25168#UG15 |
| FZFZ5TZ8B5 | FZFZ5TZ8B5 | 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 1404.3458#PPIQ |
| FZGB42BFQS | FZGB42BFQS | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise:mixedpartialsunequal |
| FZGPPH9M24 | FZGPPH9M24 | 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 2411.16022#UFKC |
| FZGQEAEVAT | FZGQEAEVAT | 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.19076#SHKZ |
| FZHC1APT3V | FZHC1APT3V | 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 2004.12552#8Q4Y |
| FZHF4GY20T | FZHF4GY20T | 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#YWJL |
| FZHHVQGJSV | FZHHVQGJSV | problem | 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.13888#90M6 |
| FZJ0YNV30J | FZJ0YNV30J | 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.29943#2DMC |
| FZKGA4QCGR | FZKGA4QCGR | 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.11210#4S6W |
| FZKHQ56DKQ | FZKHQ56DKQ | 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 2501.17009#BFII |
| FZM04MRKA6 | FZM04MRKA6 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-61 |
| FZMKWHC7B8 | FZMKWHC7B8 | 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.38556#7OMQ |
| FZND2DGHNX | FZND2DGHNX | 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 2510.12502#UMGA |
| FZNQAN76CC | FZNQAN76CC | 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.37520#UM1R |
| FZNQBGNTR5 | FZNQBGNTR5 | 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.12131#31ZS |
| FZNVEY6S5M | FZNVEY6S5M | 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 1204.5958#C5ZQ |
| FZP0V213B2 | FZP0V213B2 | 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.19273#D3FC |
| FZQGGZWGQC | FZQGGZWGQC | 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.03688#V2KF |
| FZQS5P1GRR | FZQS5P1GRR | 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.12116#GQEL |
| FZR68E6WSK | FZR68E6WSK | 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.17349#G9ZL |
| FZRAARVBD0 | FZRAARVBD0 | 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.28265#XPR6 |
| FZS3AT8MHR | FZS3AT8MHR | 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.06645#2OP9 |
| FZSNJ76HKB | FZSNJ76HKB | 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.28323#W27U |
| FZT13JVSH2 | FZT13JVSH2 | 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.31604#IZ3G |
| FZTB1616YP | FZTB1616YP | 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.14189#7JY5 |
| FZTF5AY1J8 | FZTF5AY1J8 | 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.35360#WFUO |
| FZVJGD4VJ4 | FZVJGD4VJ4 | 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.24325#8MRA |
| FZW7D12YVF | FZW7D12YVF | 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.37337#6HZV |
| FZWP2HCB1T | FZWP2HCB1T | 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 2211.13105#USDQ |
| FZX3CXNEFS | FZX3CXNEFS | 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 2410.10337#3HNB |
| FZX8A4NQXB | FZX8A4NQXB | 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.37739#3NCY |
| FZXFFQVGJR | FZXFFQVGJR | 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.36411#0FLG |
| FZXHYS9FHX | FZXHYS9FHX | 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.01473#51B0 |
| FZXSV146WG | FZXSV146WG | definition | open | napkin tex/alg-geom/affine-var.tex#definition-1 |
| FZXT4KKET9 | FZXT4KKET9 | 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.12831#Y3RZ |
| FZXTWTJG14 | FZXTWTJG14 | 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 1512.06981#RWRP |
| FZXZSHHVF9 | FZXZSHHVF9 | 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#MYYY |
| FZYQ9Y19N9 | FZYQ9Y19N9 | 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.36909#0RZQ |
| FZZQMNSV5Q | FZZQMNSV5Q | 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.32599#ENEK |
| F{\o}lner criterion | 4TP6DXB8GN | 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.00789#2JMX |
| Fáry's theorem | D1BS7ZN5GR | statement | open | mathlib_1000 Q4455031, Wikidata Q4455031, thousand_plus Q4455031, Wikipedia Fáry's theorem |
| Fáry–Milnor theorem | ZPRVZKD8EF | statement | open | mathlib_1000 Q3527071, Wikidata Q3527071, thousand_plus Q3527071, Wikipedia Fáry–Milnor theorem |
| Félix Savart | YA9595BSMK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q711509, ProofWiki Mathematician:Félix_Savart |
| Füredi, 1981 | JJSAFMR17T | 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.09810#W6T6 |
| Fσ set | BP1MXXR2GJ | definition | open | Wikidata Q4392123, MathWorld F-SigmaSet, ProofWiki Definition:F-Sigma_Set |