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 2701–2800 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FJDPKV3T0Y | FJDPKV3T0Y | 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.08288#J656 |
| FJE3QBPHJM | FJE3QBPHJM | proof | open | lebl_ra ch-multivar-int.tex#proof-25 |
| FJEYJMBX26 | FJEYJMBX26 | 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.13100#A7QR |
| FJF3WSFNG9 | FJF3WSFNG9 | 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.07890#2JOA |
| FJFD4XDRAT | FJFD4XDRAT | 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 2512.11346#L4KR |
| FJFERAC4RW | FJFERAC4RW | 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.03864#3DCN |
| FJFF27DB3D | FJFF27DB3D | 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.04117#CFZF |
| FJFJGVD72Z | FJFJGVD72Z | exercise | open | napkin tex/alg-NT/dedekind.tex#problem-2 |
| FJFRPSPZAM | FJFRPSPZAM | 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.38068#10K4 |
| FJFY705S4V | FJFY705S4V | 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.06381#ZLTA |
| FJFZSSH9PE | FJFZSSH9PE | 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 math/0512416#YR0B |
| FJG1AJ3WG5 | FJG1AJ3WG5 | 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.22218#BQ38 |
| FJGC330ZQC | FJGC330ZQC | statement | open | ernst_ibl MAAPressVersion/Topology.tex#theorem-1 |
| FJGKTGCR6V | FJGKTGCR6V | 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.13850#0RQ6 |
| FJGTR59DQH | FJGTR59DQH | 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.28540#N8MV |
| FJGZEJ8MRD | FJGZEJ8MRD | 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 2212.14457#GOVV |
| FJHWCXYHEJ | FJHWCXYHEJ | statement | open | open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-lor |
| FJJ3Q96GER | FJJ3Q96GER | 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.31104#WP91 |
| FJJB77HYBM | FJJB77HYBM | proof | open | open_logic content/computability/recursive-functions/examples.tex#proof-3 |
| FJJC7RQW2A | FJJC7RQW2A | 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 2606.02312#UUJO |
| FJJW9ATKDH | FJJW9ATKDH | 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 2211.14214#2OZP |
| FJJWBZ1385 | FJJWBZ1385 | 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 1904.08413#9RSF |
| FJJWYW5RZN | FJJWYW5RZN | 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.37698#7KIJ |
| FJK2VEK8TY | FJK2VEK8TY | 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.19535#50C5 |
| FJM9SN5YGD | FJM9SN5YGD | 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.37920#IBVB |
| FJMATENXXQ | FJMATENXXQ | example | open | austin_ula src/section4-5.xml#question-1 |
| FJMDZ6Y6JD | FJMDZ6Y6JD | 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.14600#LG7E |
| FJMKV4RHV0 | FJMKV4RHV0 | 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.37112#M8K3 |
| FJPE7584RX | FJPE7584RX | 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.36389#C6XS |
| FJQCY4F97Z | FJQCY4F97Z | 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.36922#4ZVL |
| FJR4Q71GYP | FJR4Q71GYP | 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.34339#19EH |
| FJRN8PD55V | FJRN8PD55V | 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.14839#0T9O |
| FJSJ96MKV0 | FJSJ96MKV0 | 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 2011.07352#GV1O |
| FJSWPZD8S0 | FJSWPZD8S0 | statement | open | lebl_ra ch-seq-ser.tex#prop-8 |
| FJW58A4QB3 | FJW58A4QB3 | 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.15013#V88E |
| FJX4T94CTA | FJX4T94CTA | 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.17258#PPOV |
| FJXGKDXP5P | FJXGKDXP5P | 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 2110.06338#SZGX |
| FJXZTH6AZV | FJXZTH6AZV | 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 2102.12931#8WJM |
| FJYJTPE767 | FJYJTPE767 | 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.09201#QKN0 |
| FJYSXEZA7T | FJYSXEZA7T | 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 2306.00590#VRRS |
| FJYZB01W9E | FJYZB01W9E | 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 2607.28337#XTWV |
| FJZ2AXV0BH | FJZ2AXV0BH | 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 2508.21045#4SPX |
| FJZ7ZMMJE0 | FJZ7ZMMJE0 | exercise | open | levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-6 |
| FJZH5FGCGS | FJZH5FGCGS | 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.19729#AK2Q |
| FK08EAKPG3 | FK08EAKPG3 | 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#0VV4 |
| FK0AT7ZDY0 | FK0AT7ZDY0 | 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.00625#OBKX |
| FK0GE8TZ9N | FK0GE8TZ9N | 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 2304.03611#KFVB |
| FK0Q9ECY4T | FK0Q9ECY4T | 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.30648#K0JW |
| FK0WTPPXMN | FK0WTPPXMN | 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.18270#W0M8 |
| FK10EZMQP5 | FK10EZMQP5 | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-4 |
| FK131BP6RS | FK131BP6RS | 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.35340#GNNV |
| FK1EM8GWHE | FK1EM8GWHE | 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.11478#TK7H |
| FK1Q2SJ6CP | FK1Q2SJ6CP | 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.22040#G3A3 |
| FK32028BJ5 | FK32028BJ5 | 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.37124#FLWL |
| FK3QYS3QV8 | FK3QYS3QV8 | 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.30637#88EA |
| FK444G439E | FK444G439E | statement | open | lebl_ra ch-approximate.tex#cor-1 |
| FK45S3BD17 | FK45S3BD17 | 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#CNWF |
| FK4APFG40W | FK4APFG40W | 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.31523#4M4A |
| FK4GNWA28A | FK4GNWA28A | 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.10580#EWG9 |
| FK4HGWXZ8F | FK4HGWXZ8F | proof | open | open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#proof-1 |
| FK5SFFEFGK | FK5SFFEFGK | 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 2508.21045#GQ6K |
| FK64M4S41S | FK64M4S41S | 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 1204.5958#6G28 |
| FK6EDJGCMK | FK6EDJGCMK | 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 2508.21045#NB5D |
| FK6MP0EVSR | FK6MP0EVSR | 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.17875#93LK |
| FK6NWF7VKP | FK6NWF7VKP | statement | open | open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#lem:one-par |
| FK6WZXPETV | FK6WZXPETV | 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.06206#ZOSO |
| FK797H3W0Q | FK797H3W0Q | proof | open | levin_dmoi ptx/exercises/intro-functions.ptx#proof-1 |
| FK81CVRGFC | FK81CVRGFC | exercise | open | lebl_scv scv.tex#exercise-6 |
| FK8TKPJ8B5 | FK8TKPJ8B5 | 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.11481#VAMH |
| FK9GZBQQW4 | FK9GZBQQW4 | 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 2308.02672#YM51 |
| FK9Q4V95VN | FK9Q4V95VN | 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.07240#ZS8Y |
| FK9TBRR25R | FK9TBRR25R | 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.18205#P58W |
| FKAFBKTQV0 | FKAFBKTQV0 | 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.38243#L9L9 |
| FKB9TSW09Q | FKB9TSW09Q | 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#G7TB |
| FKBMVS77F2 | FKBMVS77F2 | 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 2605.30285#JLA4 |
| FKD0AMBZND | FKD0AMBZND | statement | open | lebl_scv scv.tex#prop-25 |
| FKDB51E6FZ | FKDB51E6FZ | 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.05193#5DK2 |
| FKE1T8R9RA | FKE1T8R9RA | 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.36811#X7EB |
| FKE89T48K8 | FKE89T48K8 | 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.16505#WWN7 |
| FKEHJFKEB3 | FKEHJFKEB3 | 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 2508.19709#DYM6 |
| FKEQC11D1J | FKEQC11D1J | 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.17479#OQSW |
| FKESQV55RG | FKESQV55RG | 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.25157#40FX |
| FKF0CE9MVE | FKF0CE9MVE | 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.24463#5LOJ |
| FKF27R4FDR | FKF27R4FDR | 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.28664#6Z32 |
| FKF8AR48P0 | FKF8AR48P0 | 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 2512.22986#3KY8 |
| FKFJA8ST94 | FKFJA8ST94 | 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.12810#8DZ6 |
| FKFVD5FR2X | FKFVD5FR2X | 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.16580#97FU |
| FKG239CAD1 | FKG239CAD1 | 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.36423#PIXL |
| FKG27R63XW | FKG27R63XW | 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.06321#0SRQ |
| FKGADARY0H | FKGADARY0H | 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.27689#KAT3 |
| FKGHWZP82C | FKGHWZP82C | 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.18219#UAB1 |
| FKGJHKJYX8 | FKGJHKJYX8 | 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 2607.25960#DLA1 |
| FKH0Q9K8VE | FKH0Q9K8VE | 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.25100#5ZRK |
| FKH2GFSCMJ | FKH2GFSCMJ | 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.01612#VUMC |
| FKH3YSQSRT | FKH3YSQSRT | 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 2304.07398#3A2L |
| FKH60H1570 | FKH60H1570 | 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.28742#FPR3 |
| FKH7XJC14Q | FKH7XJC14Q | 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.25457#AOY1 |
| FKHCHG4F4E | FKHCHG4F4E | 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.28501#VDPB |
| FKHH9DQ5BJ | FKHH9DQ5BJ | 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.20801#UE0F |
| FKHR9ZCYTR | FKHR9ZCYTR | 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.22345#F1OC |