Inventory: N
The rows of the inventory whose names start with N. 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 201–300 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| N23EHRA5H8 | N23EHRA5H8 | statement | open | lebl_ra ch-several-vars-ders.tex#mv:prop:swapders |
| N23EYDB7YV | N23EYDB7YV | statement | record (an 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#KINP |
| N23NXMQH09 | N23NXMQH09 | 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.07957#J6J9 |
| N23SFX6BTD | N23SFX6BTD | statement | record (an 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.17269#5LRV |
| N240YMA08P | N240YMA08P | statement | record (an 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.22073#IZ0Z |
| N247XBB2Z7 | N247XBB2Z7 | statement | record (an 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.24795#L444 |
| N24SS8FP8K | N24SS8FP8K | statement | record (an 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#GK56 |
| N25EZ4WBFP | N25EZ4WBFP | statement | record (an 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.11965#LPQ4 |
| N25KYCHE5J | N25KYCHE5J | example | open | lebl_diffyqs ch-systems.tex#example-6 |
| N25SA6M623 | N25SA6M623 | statement | open | open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box2 |
| N265BK2N4R | N265BK2N4R | statement | record (an 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.22074#NV7R |
| N277QZDSA9 | N277QZDSA9 | 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.37197#GD70 |
| N27PGWF662 | N27PGWF662 | statement | record (an 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.37208#8YQY |
| N28N71AFS9 | N28N71AFS9 | 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.13864#P22P |
| N28PCFPN8M | N28PCFPN8M | statement | record (an 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.34458#VRG5 |
| N298BVDZAV | N298BVDZAV | statement | record (an 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.12012#WHP5 |
| N2A8SE6026 | N2A8SE6026 | statement | record (an 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/0003117#D17G |
| N2A93RF53F | N2A93RF53F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1907.01440#VEYI |
| N2AKE0E6EJ | N2AKE0E6EJ | statement | record (an 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.18016#7SMT |
| N2AM88ABWV | N2AM88ABWV | statement | record (an 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.24610#YCVZ |
| N2BH69TNGC | N2BH69TNGC | statement | record (an 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#EOJ1 |
| N2BJCPE71R | N2BJCPE71R | statement | record (an 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.26410#KZOU |
| N2BMB79RD8 | N2BMB79RD8 | statement | record (an 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.00339#RJZF |
| N2C069STC1 | N2C069STC1 | statement | record (an 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.11906#N9DI |
| N2CEV7C0CZ | N2CEV7C0CZ | statement | record (an 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.15416#Z76U |
| N2D6F3D7EN | N2D6F3D7EN | statement | open | open_logic content/set-theory/card-arithmetic/opps.tex#cantorcor |
| N2E0RM0TND | N2E0RM0TND | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.12309#82Y4 |
| N2E8JBBXDJ | N2E8JBBXDJ | statement | record (an 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.28824#S1MG |
| N2EEN6N061 | N2EEN6N061 | exercise | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-5 |
| N2ES9GHS6M | N2ES9GHS6M | statement | record (an 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.05333#I2ZU |
| N2F97XMSSC | N2F97XMSSC | statement | record (an 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#MGF8 |
| N2GAYJFTKT | N2GAYJFTKT | statement | record (an 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.35102#DISL |
| N2GCVBS4GC | N2GCVBS4GC | 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.34845#LNCA |
| N2GJT1GYEF | N2GJT1GYEF | statement | record (an 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.04870#J954 |
| N2H2Q2SPR3 | N2H2Q2SPR3 | statement | record (an 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#8M8B |
| N2HDAXQ003 | N2HDAXQ003 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.06366#31QX |
| N2HFRYYYV0 | N2HFRYYYV0 | 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 1612.08394#2JI4 |
| N2HKD35YZS | N2HKD35YZS | statement | record (an 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#NVXR |
| N2HRKYX6YN | N2HRKYX6YN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.10697#DMBH |
| N2HRPRS37F | N2HRPRS37F | statement | record (an 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.01946#CMDH |
| N2J5H24FST | N2J5H24FST | statement | record (an 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.06556#CJ1G |
| N2JCA5QB55 | N2JCA5QB55 | statement | record (an 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.15744#OX30 |
| N2JHG3QV2B | N2JHG3QV2B | statement | record (an 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.27872#HDLI |
| N2JQK1JBD5 | N2JQK1JBD5 | statement | record (an 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.23812#LOTB |
| N2KPX0JKY6 | N2KPX0JKY6 | statement | record (an 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.35950#VI2Y |
| N2M69M29WR | N2M69M29WR | statement | record (an 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#RZ9F |
| N2MJY2R5E7 | N2MJY2R5E7 | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#proof-2 |
| N2N1D96D19 | N2N1D96D19 | 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 2608.23797#2X8K |
| N2NA0JV2DS | N2NA0JV2DS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.09268#7SRM |
| N2NK8M41MZ | N2NK8M41MZ | statement | record (an 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.28046#POSS |
| N2NRAZV5Z2 | N2NRAZV5Z2 | statement | record (an 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.02275#ZNGO |
| N2PDKCG0RM | N2PDKCG0RM | statement | record (an 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.08900#KQEZ |
| N2PFCEPW24 | N2PFCEPW24 | statement | record (an 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.21037#YGJX |
| N2PWE02ET7 | N2PWE02ET7 | statement | record (an 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#CFZD |
| N2PYQ67JZM | N2PYQ67JZM | statement | record (an 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.08594#PAIG |
| N2Q2H5JBAP | N2Q2H5JBAP | statement | record (an 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.38838#SWOG |
| N2R95C1P43 | N2R95C1P43 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.14312#8H6Y |
| N2RBW8R19J | N2RBW8R19J | statement | record (an 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.13532#Q5XA |
| N2RDW0VE5D | N2RDW0VE5D | statement | record (an 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.09171#AZKX |
| N2RMNVX8TG | N2RMNVX8TG | statement | record (an 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#L2HT |
| N2RR0EQ1ZD | N2RR0EQ1ZD | statement | record (an 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.35467#C6BD |
| N2RV7SY5V7 | N2RV7SY5V7 | statement | record (an 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.30410#5VZR |
| N2SSFQ257V | N2SSFQ257V | unknown | open | arXiv 2610.10973#AHAY |
| N2TBVVR5BN | N2TBVVR5BN | 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.31276#Y3UQ |
| N2TVGMKGEV | N2TVGMKGEV | statement | record (an 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.15010#EWPX |
| N2V4CG6YF8 | N2V4CG6YF8 | statement | record (an 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.16245#AOMR |
| N2V4WMBWYW | N2V4WMBWYW | statement | record (an 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.19590#HVEM |
| N2V8ATCHE1 | N2V8ATCHE1 | statement | open | open_logic content/turing-machines/undecidability/representing-tms.tex#prop:mlessk |
| N2W7MQX0MF | N2W7MQX0MF | statement | record (an 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.21455#UOEG |
| N2WFJKK6CE | N2WFJKK6CE | statement | record (an 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.06544#QO4V |
| N2XD6WPZ6B | N2XD6WPZ6B | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-26 |
| N2XFHEZKF8 | N2XFHEZKF8 | 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.24638#N5QU |
| N2XQXGVB84 | N2XQXGVB84 | statement | record (an 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.11596#OZ2Z |
| N2Y3Z5AY2S | N2Y3Z5AY2S | statement | record (an 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.05327#NQ2F |
| N2Y6YXJN8C | N2Y6YXJN8C | 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.21475#LZOD |
| N2YQZ10KN1 | N2YQZ10KN1 | 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 2411.17227#F9I9 |
| N2YY9PVMQP | N2YY9PVMQP | statement | record (an 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.00103#W9KY |
| N2Z53672S0 | N2Z53672S0 | statement | record (an 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.23072#GUDB |
| N2ZM3Z5SR7 | N2ZM3Z5SR7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#HFAA |
| N2ZTP04NYK | N2ZTP04NYK | definition | open | napkin tex/calculus/p-adic.tex#definition-3 |
| N302ZF5GQS | N302ZF5GQS | statement | record (an 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.19464#KM0B |
| N30Z10X10N | N30Z10X10N | statement | open | applied_combinatorics source/s_background_prop-integers.ptx#lemma-1 |
| N31JEGY53A | N31JEGY53A | 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 1002.0879#LVCI |
| N31TC4ATFE | N31TC4ATFE | 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.26745#VQC6 |
| N31TDBRAR5 | N31TDBRAR5 | statement | record (an 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.35383#EDAH |
| N32DSD2PJ2 | N32DSD2PJ2 | statement | open | open_logic content/methods/proofs/example-1.tex#prop-1 |
| N32EBT0AAJ | N32EBT0AAJ | exercise | open | lebl_ra ch-metric.tex#exercise:subspacecompact |
| N32EDKVDVR | N32EDKVDVR | statement | record (an 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.14811#1NHH |
| N33P1S378Y | N33P1S378Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1711.00219#9EU2 |
| N34RGVG6XM | N34RGVG6XM | statement | record (an 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.13658#TDB8 |
| N3622CZ5WQ | N3622CZ5WQ | statement | record (an 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#Q6F5 |
| N36FQXWT1P | N36FQXWT1P | exercise | open | napkin tex/alg-NT/galois.tex#ques-2 |
| N36XA4V91F | N36XA4V91F | 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#JAQ3 |
| N37JT78SVP | N37JT78SVP | statement | record (an 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.29898#N16U |
| N37JVQ02AE | N37JVQ02AE | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#defn-1 |
| N37XCDEWYD | N37XCDEWYD | 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 2405.14678#AQJ3 |
| N37YTEGBV0 | N37YTEGBV0 | statement | record (an 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.04593#TF8B |
| N3840ETBBT | N3840ETBBT | 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 0906.4245#5KRU |
| N38G7MS70P | N38G7MS70P | statement | record (an 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.38803#0DXZ |
| N38VGQYA24 | N38VGQYA24 | statement | record (an 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.01392#H7P5 |