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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 4801–4868 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 |