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 32206
- A 14857
- B 8801
- C 16259
- D 14084
- E 15274
- F 9799
- G 9669
- H 8314
- I 4337
- J 6160
- K 5827
- L 6705
- M 10900
- N 7100
- O 2466
- P 14238
- Q 4470
- R 10127
- S 16439
- T 12384
- U 2235
- V 5332
- W 5967
- X 3314
- Y 3712
- Z 3939
Rows 9701–9799 of 9799.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| FZ76HJ1D6Z | FZ76HJ1D6Z | 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.21692#9JVY |
| 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 |
| FZ8F7ZN16Z | FZ8F7ZN16Z | 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.14052#YZ69 |
| FZ8JJJ29X2 | FZ8JJJ29X2 | 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.17255#8FTP |
| 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 |
| FZJAFGYWFF | FZJAFGYWFF | 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.16334#S13Y |
| FZKDA652XE | FZKDA652XE | 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.17967#S0E2 |
| 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 |
| FZMDJGRT9V | FZMDJGRT9V | 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.18665#RZB6 |
| 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 |
| FZRX36C0FK | FZRX36C0FK | 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.20145#UKXC |
| FZRX5AZZTE | FZRX5AZZTE | problem | open | Wikipedia NC (complexity)#0BBB |
| 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 |
| FZXG46VP1V | FZXG46VP1V | 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.15076#425V |
| 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's theorem | WAH8YHWM3H | statement | open | Wikipedia List of theorems#FVNC |
| Fáry–Milnor theorem | 1FVZ0797NE | statement | open | Wikipedia List of knot theory topics#J7LY |
| Fáry–Milnor theorem | NP3ABQ0YH1 | statement | open | Wikipedia List of theorems#4AXK |
| Fáry–Milnor theorem | ZPRVZKD8EF | statement | open | mathlib_1000 Q3527071, Wikidata Q3527071, thousand_plus Q3527071, Wikipedia Fáry–Milnor theorem |
| Fátima de Madrid | YHSBVVZFHH | topic | open | Wikipedia Fátima de Madrid, Wikidata Q4481452 |
| Félix Alcan | SV26VV759H | unknown | open | Wikipedia List of Jewish mathematicians#F3S6 |
| Félix Delastelle | 3C4YFN9DVZ | topic | open | Wikipedia Félix Delastelle, Wikidata Q718164 |
| Félix Pollaczek | W53WM46MEQ | topic | open | Wikipedia Félix Pollaczek, Wikidata Q113723 |
| Félix Savart | YA9595BSMK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q711509, ProofWiki Mathematician:Félix_Savart |
| Föppl–von Kármán equations | T2H7Z5A2NT | definition | open | Wikipedia Föppl–von Kármán equations, Wikidata Q5511705 |
| Følner sequence | 497YFGYV3Q | definition | deferred (the item has the flag informal (WP9.2)) | Wikipedia Følner sequence, Wikidata Q5511721 |
| 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ürer's algorithm | Z5VMSTWYDK | unknown | open | Wikipedia Multiplication algorithm#TLRJ |
| Fσ set | 34CM6ZZZQJ | definition | open | Wikipedia Glossary of general topology#FQ5P |
| Fσ set | 84PQVZPSM3 | definition | open | Wikipedia List of types of sets#Y8VL |
| Fσ set | BP1MXXR2GJ | definition | open | Wikidata Q4392123, MathWorld F-SigmaSet, ProofWiki Definition:F-Sigma_Set, Wikipedia Fσ set |