frozen referencepublicsource:erdos-ai-contributions-wiki

Erdős Problems wiki contributors

Native namespace erdosproblems-wiki

441 source-native objects · 0 Repository bindings

Source-native objects

Stable native key order · 20 shown

Object	Kind	Availability	Source link
AI contribution record for Erdős 1000 erdos-ai-wiki:1000:d3911da235eb619c Formalization	attributed activity	reference only
AI contribution record for Erdős 1004 erdos-ai-wiki:1004:733634bc556a0e2b Partial result (implicit in literature)	attributed activity	reference only
AI contribution record for Erdős 1007 erdos-ai-wiki:1007:769410f7916c7ef6 Formalization	attributed activity	reference only
AI contribution record for Erdős 1007 erdos-ai-wiki:1007:94b3cad8473267b1 New proof found (Lean)	attributed activity	reference only
AI contribution record for Erdős 1008 erdos-ai-wiki:1008:bc3c4fab4af1d7c6 Formalization	attributed activity	reference only
AI contribution record for Erdős 1014 erdos-ai-wiki:1014:c8a5cb1c538cc9d3 Full solution	attributed activity	reference only
AI contribution record for Erdős 1022 erdos-ai-wiki:1022:3905acc655095ac3 Formalization	attributed activity	reference only
AI contribution record for Erdős 1023 erdos-ai-wiki:1023:76619b43a13a1dd3 Formalization	attributed activity	reference only
AI contribution record for Erdős 1026 erdos-ai-wiki:1026:71b7ccc6a5d20b88 Full solution (Lean)	attributed activity	reference only
AI contribution record for Erdős 1026 erdos-ai-wiki:1026:a38fe74c810f617a Full solution (Lean)	attributed activity	reference only
AI contribution record for Erdős 1028 erdos-ai-wiki:1028:ba94114ff5b5b179 Formalization	attributed activity	reference only
AI contribution record for Erdős 1032 erdos-ai-wiki:1032:a64e4c83f1c91f07 Improved partial result (Lean)	attributed activity	reference only
AI contribution record for Erdős 1033 erdos-ai-wiki:1033:84db8cbfe225e947 Candidate partial result	attributed activity	reference only
AI contribution record for Erdős 1034 erdos-ai-wiki:1034:7bae4724869b2022 Formalization	attributed activity	reference only
AI contribution record for Erdős 1036 erdos-ai-wiki:1036:b75c8091a0a32261 Formalization	attributed activity	reference only
AI contribution record for Erdős 1037 erdos-ai-wiki:1037:22351d0d6f45a4a7 Formalization	attributed activity	reference only
AI contribution record for Erdős 1038 erdos-ai-wiki:1038:8bf8c3e1d5abf2c3 Partial result	attributed activity	reference only
AI contribution record for Erdős 1039 erdos-ai-wiki:1039:33d7ff93f19414cb Partial result	attributed activity	reference only
AI contribution record for Erdős 1039 erdos-ai-wiki:1039:5ad037b73969d0b5 Formalization	attributed activity	reference only
AI contribution record for Erdős 1039 erdos-ai-wiki:1039:c4d901a7bb0ada82 Partial result (Lean)	attributed activity	reference only

AI contribution record for Erdős 1000

attributed activity · reference only

erdos-ai-wiki:1000:d3911da235eb619c

AI contribution record for Erdős 1004

attributed activity · reference only

erdos-ai-wiki:1004:733634bc556a0e2b

AI contribution record for Erdős 1007

attributed activity · reference only

erdos-ai-wiki:1007:769410f7916c7ef6

AI contribution record for Erdős 1007

attributed activity · reference only

erdos-ai-wiki:1007:94b3cad8473267b1

AI contribution record for Erdős 1008

attributed activity · reference only

erdos-ai-wiki:1008:bc3c4fab4af1d7c6

AI contribution record for Erdős 1014

attributed activity · reference only

erdos-ai-wiki:1014:c8a5cb1c538cc9d3

AI contribution record for Erdős 1022

attributed activity · reference only

erdos-ai-wiki:1022:3905acc655095ac3

AI contribution record for Erdős 1023

attributed activity · reference only

erdos-ai-wiki:1023:76619b43a13a1dd3

AI contribution record for Erdős 1026

attributed activity · reference only

erdos-ai-wiki:1026:71b7ccc6a5d20b88

AI contribution record for Erdős 1026

attributed activity · reference only

erdos-ai-wiki:1026:a38fe74c810f617a

AI contribution record for Erdős 1028

attributed activity · reference only

erdos-ai-wiki:1028:ba94114ff5b5b179

AI contribution record for Erdős 1032

attributed activity · reference only

erdos-ai-wiki:1032:a64e4c83f1c91f07

AI contribution record for Erdős 1033

attributed activity · reference only

erdos-ai-wiki:1033:84db8cbfe225e947

AI contribution record for Erdős 1034

attributed activity · reference only

erdos-ai-wiki:1034:7bae4724869b2022

AI contribution record for Erdős 1036

attributed activity · reference only

erdos-ai-wiki:1036:b75c8091a0a32261

AI contribution record for Erdős 1037

attributed activity · reference only

erdos-ai-wiki:1037:22351d0d6f45a4a7

AI contribution record for Erdős 1038

attributed activity · reference only

erdos-ai-wiki:1038:8bf8c3e1d5abf2c3

AI contribution record for Erdős 1039

attributed activity · reference only

erdos-ai-wiki:1039:33d7ff93f19414cb

AI contribution record for Erdős 1039

attributed activity · reference only

erdos-ai-wiki:1039:5ad037b73969d0b5

AI contribution record for Erdős 1039

attributed activity · reference only

erdos-ai-wiki:1039:c4d901a7bb0ada82

Repository bindings

Exact local relationships · 0 shown

No Repository bindings on this page

A source observation does not create a local scientific record.

Source declarations, observations, source-native object rows, and Repository bindings record provenance. None creates scientific Standing; only an admitted local Claim can enter the attributed Decision path.