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 501–600 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| F5GDQ6T3E6 | F5GDQ6T3E6 | statement | record (an 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.31276#6PYO |
| F5H4ZMYBMJ | F5H4ZMYBMJ | statement | record (an 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.12496#GM5E |
| F5HCT6NSTT | F5HCT6NSTT | statement | record (an 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.11301#HTHA |
| F5HPST8WZC | F5HPST8WZC | statement | record (an 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.36823#15N5 |
| F5HTW6E9E0 | F5HTW6E9E0 | statement | record (an 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.32393#7LL1 |
| F5HVMV24HG | F5HVMV24HG | statement | record (an 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.14045#WN5B |
| F5HYB4C59K | F5HYB4C59K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.05539#IB40 |
| F5J2H3PT41 | F5J2H3PT41 | statement | record (an 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.18618#WSWE |
| F5J3GG3FK8 | F5J3GG3FK8 | statement | record (an 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.16886#LCLI |
| F5J3SW8YT3 | F5J3SW8YT3 | 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.17883#YIX8 |
| F5JCT3JAH2 | F5JCT3JAH2 | statement | record (an 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#GC6S |
| F5JJEKFR1Z | F5JJEKFR1Z | proof | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#proof-3 |
| F5K7KNCHYD | F5K7KNCHYD | statement | record (an 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#D355 |
| F5K94N374V | F5K94N374V | statement | record (an 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.29925#BX5H |
| F5KP4Y539V | F5KP4Y539V | statement | record (an 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.19872#M0RM |
| F5KYCPBFKY | F5KYCPBFKY | statement | record (an 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#YXEO |
| F5PVZEATD0 | F5PVZEATD0 | statement | record (an 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.16059#UR03 |
| F5PY3ASEE5 | F5PY3ASEE5 | statement | record (an 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.34845#NYB9 |
| F5PZD50ARQ | F5PZD50ARQ | statement | record (an 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.21954#3S78 |
| F5Q00193A4 | F5Q00193A4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1407.0548#HNR5 |
| F5Q9RRP30C | F5Q9RRP30C | statement | record (an 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.07064#VU0N |
| F5QGPX6JHK | F5QGPX6JHK | 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.31919#RBKO |
| F5RWC5Z1R2 | F5RWC5Z1R2 | statement | record (an 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#D6OJ |
| F5S3YTA55D | F5S3YTA55D | statement | record (an 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.14267#EE35 |
| F5SVXYFMY7 | F5SVXYFMY7 | statement | record (an 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.16554#UXYU |
| F5SX7PSG30 | F5SX7PSG30 | statement | record (an 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.13846#2UO4 |
| F5T6V5PMKY | F5T6V5PMKY | example | open | applied_combinatorics source/s_probability_central-tendency.ptx#example-4 |
| F5TCKNWPHE | F5TCKNWPHE | statement | record (an 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#P15U |
| F5TGCPBHTE | F5TGCPBHTE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#D5ZA |
| F5TKPCCAZV | F5TKPCCAZV | statement | record (an 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.05398#75QD |
| F5TXCKFRBM | F5TXCKFRBM | statement | record (an 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#26MO |
| F5TZA0J3ZE | F5TZA0J3ZE | statement | record (an 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.11271#NUJG |
| F5V0172XQD | F5V0172XQD | 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 2308.05715#4W7S |
| F5V6MGFA8F | F5V6MGFA8F | statement | record (an 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#0Q3S |
| F5WC0BKJR3 | F5WC0BKJR3 | statement | record (an 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#FGNK |
| F5WQ6ASC6C | F5WQ6ASC6C | statement | open | open_logic content/first-order-logic/natural-deduction/provability-consistency.tex#prop:provability-contr |
| F5WZWACHDZ | F5WZWACHDZ | 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 2410.02139#TCCJ |
| F5XKGW1S4F | F5XKGW1S4F | statement | record (an 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.20758#LVZA |
| F5XQE7HHFP | F5XQE7HHFP | statement | record (an 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.40207#XQGC |
| F5XZ4Q0MK9 | F5XZ4Q0MK9 | statement | record (an 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#X3LJ |
| F5Y9DN5VH0 | F5Y9DN5VH0 | statement | record (an 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.29148#VB5Z |
| F5YG89VWE8 | F5YG89VWE8 | statement | record (an 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.19954#ZEMU |
| F5YS12T7XC | F5YS12T7XC | statement | record (an 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.04809#L1DV |
| F5Z656E1AQ | F5Z656E1AQ | proof | open | open_logic content/turing-machines/undecidability/halting-problem.tex#proof-1 |
| F5Z7WS11X7 | F5Z7WS11X7 | statement | record (an 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.16003#ICS4 |
| F5ZF0NKMV8 | F5ZF0NKMV8 | statement | record (an 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/9602216#M1RO |
| F60GC0QXK1 | F60GC0QXK1 | statement | record (an 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.03704#TAL9 |
| F60NBPZEBR | F60NBPZEBR | conjecture | record (an 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#R9LG |
| F60YRKSGR6 | F60YRKSGR6 | statement | record (an 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.30323#1ON5 |
| F6135AVZEH | F6135AVZEH | statement | record (an 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.15643#KP1K |
| F6180TWDQ3 | F6180TWDQ3 | statement | record (an 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.03628#J3V6 |
| F61MS9YN6C | F61MS9YN6C | statement | record (an 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.17060#5KQY |
| F61P6VWJYN | F61P6VWJYN | statement | record (an 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.10365#4D8G |
| F6202F2SMZ | F6202F2SMZ | 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.28677#T717 |
| F620MHGTY6 | F620MHGTY6 | statement | record (an 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.15593#J1EM |
| F624HN4HBD | F624HN4HBD | 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 2303.14022#4MJ7 |
| F632RGPXBK | F632RGPXBK | statement | record (an 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.01642#JYBQ |
| F63P5DYNME | F63P5DYNME | statement | record (an 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.09882#H301 |
| F64BBZ50RS | F64BBZ50RS | statement | record (an 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.03579#0N4F |
| F64TM1BTV9 | F64TM1BTV9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.08875#0F59 |
| F64Y8VXHC7 | F64Y8VXHC7 | statement | record (an 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.28357#MPUW |
| F6591JC1D2 | F6591JC1D2 | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#ex_genfunction_ineq-clean |
| F661RXQFSG | F661RXQFSG | statement | open | levin_dmoi ptx/sec_gt-planar.ptx#theorem-1 |
| F66835PE5R | F66835PE5R | statement | record (an 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.15255#9YXK |
| F66FZHJ6XB | F66FZHJ6XB | statement | open | austin_ula src/section1-2.xml#thm-rref-is-unique |
| F66W1HRPT5 | F66W1HRPT5 | 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.07040#GGWT |
| F66XBX1MSQ | F66XBX1MSQ | 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.26386#IICG |
| F6732DX5D0 | F6732DX5D0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2401.14638#DM12 |
| F67B4W8KZX | F67B4W8KZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.06555#IUFL |
| F67GXHFDMY | F67GXHFDMY | statement | open | open_logic content/set-theory/ordinals/iso.tex#wellordnotinitial |
| F67KPCEYZ9 | F67KPCEYZ9 | statement | record (an 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.08776#7S32 |
| F67WSXYH3E | F67WSXYH3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#S8W7 |
| F67XH6A1AZ | F67XH6A1AZ | example | open | napkin tex/H113/grp-intro.tex#example-13 |
| F68E7R86PN | F68E7R86PN | statement | record (an 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.34311#D0T8 |
| F68PA5K268 | F68PA5K268 | statement | record (an 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.06458#AAHN |
| F690MZCDY0 | F690MZCDY0 | statement | record (an 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.25912#CSPJ |
| F69605DQJ9 | F69605DQJ9 | statement | record (an 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.22288#A0GE |
| F69HVAHC09 | F69HVAHC09 | statement | record (an 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.09324#XNAH |
| F69V4Z1R8Y | F69V4Z1R8Y | statement | record (an 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.37815#JROL |
| F69VSDN6B8 | F69VSDN6B8 | statement | record (an 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.09176#S7T1 |
| F6A4F9T35V | F6A4F9T35V | statement | record (an 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.26340#H5UQ |
| F6AAK20VQB | F6AAK20VQB | statement | record (an 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.19360#QI8C |
| F6AB0FF824 | F6AB0FF824 | statement | record (an 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.00144#EFYT |
| F6BEMDEC6E | F6BEMDEC6E | 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.09333#V5C8 |
| F6BHXP2CYQ | F6BHXP2CYQ | statement | record (an 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.37865#Z08Y |
| F6CMTV1BZM | F6CMTV1BZM | 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 2212.01916#4IR8 |
| F6CN7G12N2 | F6CN7G12N2 | 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.03477#A7T1 |
| F6DGTSQXGQ | F6DGTSQXGQ | statement | record (an 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.15257#A9DX |
| F6DZ5KZQSX | F6DZ5KZQSX | statement | record (an 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/0301148#IU4A |
| F6EEM105KW | F6EEM105KW | 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#P1HN |
| F6F6E1NZQ2 | F6F6E1NZQ2 | statement | record (an 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.14267#R6SK |
| F6FDSRX9G1 | F6FDSRX9G1 | statement | record (an 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.07021#NIKM |
| F6FEDD4DKD | F6FEDD4DKD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.08099#KQ83 |
| F6FVB194P9 | F6FVB194P9 | statement | record (an 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#3LXV |
| F6G065MXTF | F6G065MXTF | statement | record (an 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.20480#H001 |
| F6G8FNNKNQ | F6G8FNNKNQ | statement | record (an 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.18358#I8YE |
| F6GPS1REFM | F6GPS1REFM | proof | open | open_logic content/set-theory/replacement/refproofs.tex#proof-4 |
| F6H1JK3M5W | F6H1JK3M5W | 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.13505#S0OT |
| F6HFHRRF39 | F6HFHRRF39 | statement | record (an 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.37410#02AE |
| F6HPN9ZBBF | F6HPN9ZBBF | 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 2504.07573#WOVN |