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 3001–3100 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FMPFK8ZNQ0 | FMPFK8ZNQ0 | statement | record (an 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.21899#JVS8 |
| FMPSDN9QWQ | FMPSDN9QWQ | statement | record (an 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.36016#6F5L |
| FMQG8XVJT4 | FMQG8XVJT4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.03730#CKMQ |
| FMQSXH98JV | FMQSXH98JV | statement | record (an 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.30664#FQMR |
| FMR01RS0P3 | FMR01RS0P3 | 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 2610.11395#4U1X |
| FMRPQBDR5H | FMRPQBDR5H | statement | record (an 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.31883#DQWH |
| FMSJ4QDNKM | FMSJ4QDNKM | 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.21732#2XZ1 |
| FMSP2FDGWF | FMSP2FDGWF | statement | record (an 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.28669#K24F |
| FMTCKKKX71 | FMTCKKKX71 | statement | record (an 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.31352#Z07E |
| FMV6ANVTV0 | FMV6ANVTV0 | statement | open | hott_book hits.tex#thm:flattening-rectnd-beta-ppt |
| FMVCN4MST5 | FMVCN4MST5 | 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.03612#VE4X |
| FMWQP8SVW2 | FMWQP8SVW2 | statement | record (an 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.13518#BADF |
| FMXXGZ2J8G | FMXXGZ2J8G | statement | record (an 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.26813#NPCG |
| FMXZE3K3H8 | FMXZE3K3H8 | statement | record (an 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.12427#ROGK |
| FMXZZ5VAWP | FMXZZ5VAWP | statement | record (an 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.24363#J8O9 |
| FMY151M5V0 | FMY151M5V0 | statement | record (an 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.19309#8UVM |
| FMY489V7DW | FMY489V7DW | 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.19285#MLJ6 |
| FMYA24SBY4 | FMYA24SBY4 | statement | open | open_logic content/computability/recursive-functions/examples.tex#prop-5 |
| FMYVZ6195W | FMYVZ6195W | 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 2610.08935#96QE |
| FMZ8BPRQMA | FMZ8BPRQMA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.2047#OBU7 |
| FMZCCA7HE6 | FMZCCA7HE6 | unknown | open | arXiv 2609.28893#4GSQ |
| FN0ETDETSM | FN0ETDETSM | statement | record (an 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.08488#IPK1 |
| FN0RJVWZV6 | FN0RJVWZV6 | proof | open | open_logic content/model-theory/basics/reducts-and-expansions.tex#proof-1 |
| FN126SQT0V | FN126SQT0V | exercise | open | applied_combinatorics source/s_posets_exercises.ptx#exercise-1 |
| FN1D5E72R5 | FN1D5E72R5 | 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.29877#PBVS |
| FN204TY1PW | FN204TY1PW | statement | record (an 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.24307#8RVY |
| FN28PV7YGC | FN28PV7YGC | 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.33124#2M8X |
| FN2BEMXS4J | FN2BEMXS4J | exercise | open | lebl_ra ch-seq-ser.tex#exercise-35 |
| FN2GVFVR7P | FN2GVFVR7P | statement | record (an 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.25897#TN40 |
| FN2YSHDEV8 | FN2YSHDEV8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.05392#8NQK |
| FN3QNWEQ1M | FN3QNWEQ1M | statement | record (an 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.29469#PFRI |
| FN3V17074M | FN3V17074M | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-6 |
| FN4FCQV94Z | FN4FCQV94Z | exercise | open | lebl_ra ch-seq-ser.tex#exercise-62 |
| FN4QJAJBM6 | FN4QJAJBM6 | 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.15217#SG91 |
| FN4TPR60XZ | FN4TPR60XZ | 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.31242#KVCV |
| FN57KB7HXG | FN57KB7HXG | 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.22268#48RB |
| FN5J0A2QEG | FN5J0A2QEG | 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 2502.08738#L5HF |
| FN684DWHT5 | FN684DWHT5 | statement | record (an 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.14509#3GCP |
| FN6TFYVBYC | FN6TFYVBYC | 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/0406514#EIN1 |
| FN733A4Q0D | FN733A4Q0D | example | open | lebl_ra ch-seq-ser.tex#example-10 |
| FN76T12VPQ | FN76T12VPQ | 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 2610.00909#LIB2 |
| FN7NTDQYA7 | FN7NTDQYA7 | 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 2610.07546#QTDZ |
| FN7QVA7SGZ | FN7QVA7SGZ | statement | record (an 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#T8JB |
| FN7V8VV40Y | FN7V8VV40Y | statement | record (an 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.24451#9F1C |
| FN852ABYKF | FN852ABYKF | statement | record (an 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#CEE3 |
| FN8HZBCVBS | FN8HZBCVBS | statement | record (an 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#ZMVZ |
| FN8QQMHG72 | FN8QQMHG72 | 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.13877#OQP0 |
| FN9K7GD9VG | FN9K7GD9VG | statement | record (an 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.07718#UZ98 |
| FNAEF6JRK3 | FNAEF6JRK3 | statement | record (an 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.34570#G6IU |
| FNAPVPNF6G | FNAPVPNF6G | statement | record (an 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.36877#0E2H |
| FNAPWE3RHV | FNAPWE3RHV | statement | record (an 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.10925#7RTU |
| FNATZWGTM0 | FNATZWGTM0 | statement | record (an 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#KTLC |
| FNAVHWB9D6 | FNAVHWB9D6 | exercise | open | lebl_ra ch-contfunc.tex#exercise-17 |
| FNB806PW5P | FNB806PW5P | statement | record (an 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.14097#YFCC |
| FNCAXNFXRF | FNCAXNFXRF | proof | open | hott_book reals.tex#proof-16 |
| FND30B4Z3R | FND30B4Z3R | definition | open | open_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn:pValue |
| FND5DX4R2K | FND5DX4R2K | statement | record (an 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.09207#KU6Z |
| FNDT4XR15R | FNDT4XR15R | statement | record (an 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.20391#OHH5 |
| FNEDDSHZQ0 | FNEDDSHZQ0 | definition | open | napkin tex/set-theory/zfc.tex#definition-3 |
| FNEDS7HR71 | FNEDS7HR71 | 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#YCV2 |
| FNF0REYQ1T | FNF0REYQ1T | 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.38556#BK75 |
| FNF6BJQKD5 | FNF6BJQKD5 | statement | record (an 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.36158#EYRR |
| FNF6ZNWWGZ | FNF6ZNWWGZ | statement | record (an 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.35442#HJHT |
| FNFEW70N28 | FNFEW70N28 | 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.06152#1XC7 |
| FNG1BKY8B7 | FNG1BKY8B7 | statement | record (an 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.22076#TF0O |
| FNGS2V8J90 | FNGS2V8J90 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.16041#OK0I |
| FNGYH56PAG | FNGYH56PAG | statement | record (an 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.37893#6FN8 |
| FNH9F3RMD1 | FNH9F3RMD1 | statement | record (an 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.35398#UJOS |
| FNHBJTREQJ | FNHBJTREQJ | statement | record (an 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.17139#9KUI |
| FNHYHRFQ0W | FNHYHRFQ0W | statement | record (an 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.33469#Z4VA |
| FNJ7T5XK0S | FNJ7T5XK0S | statement | record (an 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#6IF6 |
| FNJVC8GJ4J | FNJVC8GJ4J | 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 2601.22681#1KE5 |
| FNKBZQBWKC | FNKBZQBWKC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.26376#9VD7 |
| FNKD46M7GT | FNKD46M7GT | statement | record (an 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#38HR |
| FNKKC1DB85 | FNKKC1DB85 | statement | record (an 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.08873#VV1E |
| FNKN55HT21 | FNKN55HT21 | statement | record (an 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.25880#LXZ2 |
| FNKRQRWFF1 | FNKRQRWFF1 | statement | record (an 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#AYJN |
| FNKX1HBTBG | FNKX1HBTBG | 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 2009.11127#EQ84 |
| FNM10EZ05C | FNM10EZ05C | statement | record (an 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.09129#W9VJ |
| FNMW069T1M | FNMW069T1M | statement | record (an 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.15169#LJSB |
| FNND96TE1R | FNND96TE1R | statement | record (an 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#IQSC |
| FNNEVA4XSV | FNNEVA4XSV | statement | open | lebl_scv scv.tex#prop:onevarclassifysing |
| FNNJVXESTJ | FNNJVXESTJ | 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.09949#EXU7 |
| FNP399R4AS | FNP399R4AS | exercise | open | austin_ula src/exercises/exercises6-2.xml#exercise-5 |
| FNP7Q11TK6 | FNP7Q11TK6 | statement | record (an 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.00882#SZCR |
| FNPB9FG2R0 | FNPB9FG2R0 | statement | open | lebl_ra ch-multivar-int.tex#prop:jordanintbasic |
| FNPCYHQAGC | FNPCYHQAGC | 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 2609.30323#U154 |
| FNPDNQS02T | FNPDNQS02T | statement | record (an 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.14783#HF4W |
| FNPH9ZZ7JK | FNPH9ZZ7JK | 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.25524#UZKS |
| FNPHRFPB3H | FNPHRFPB3H | statement | record (an 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.08837#RVRK |
| FNPM8MWE9F | FNPM8MWE9F | statement | record (an 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.21929#AB6E |
| FNPPHQN6V8 | FNPPHQN6V8 | 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.03628#VZB0 |
| FNPRFNEV6J | FNPRFNEV6J | statement | record (an 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.17626#DL5T |
| FNPSYKJ8G9 | FNPSYKJ8G9 | exercise | open | applied_combinatorics source/s_polya_exercises.ptx#exercise-1 |
| FNPYPE19QD | FNPYPE19QD | 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 2610.10930#B7QL |
| FNQ2RD43TY | FNQ2RD43TY | statement | open | napkin tex/alg-geom/mor-scheme.tex#proposition-2 |
| FNQ9E8K77N | FNQ9E8K77N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.05628#JI3B |
| FNQZDW04RM | FNQZDW04RM | statement | record (an 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.12120#ZZB5 |
| FNR1ZJP12R | FNR1ZJP12R | statement | record (an 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.16941#LZ88 |
| FNRADCD9YC | FNRADCD9YC | statement | record (an 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.00386#U1FA |