{"id":"https://openalex.org/W7223456512","doi":"https://doi.org/10.5281/zenodo.23609322","title":"L\u0101 Rayba F\u012bh: The Seven Millennium Closures Read as Balance, Witness and Preserved Record \u2014 the Form by Theorem, the Value by the Act, the Dominion with the Ground","display_name":"L\u0101 Rayba F\u012bh: The Seven Millennium Closures Read as Balance, Witness and Preserved Record \u2014 the Form by Theorem, the Value by the Act, the Dominion with the Ground","publication_year":2026,"publication_date":"2026-11-03","ids":{"openalex":"https://openalex.org/W7223456512","doi":"https://doi.org/10.5281/zenodo.23609322"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23609322","doi":"https://doi.org/10.5281/zenodo.23609322","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23609322","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23609322","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5141068979","display_name":"Mohammad Islam","orcid":"https://orcid.org/0009-0003-1671-0664","observed_orcids":["https://orcid.org/0009-0003-1671-0664"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Islam, Mohammad F","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0003-1671-0664","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5141068979"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7285000085830688,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7285000085830688,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.07169999927282333,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.026200000196695328,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.4390000104904175},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.781000018119812},{"id":"https://openalex.org/keywords/theorem-proving","display_name":"theorem proving","score":0.5040000081062317},{"id":"https://openalex.org/keywords/normal-forms","display_name":"normal forms","score":0.5210000276565552},{"id":"https://openalex.org/keywords/open-problems-in-mathematics","display_name":"open problems in mathematics","score":0.5419999957084656},{"id":"https://openalex.org/keywords/millennium-prize-problems","display_name":"Millennium Prize Problems","score":0.7289999723434448},{"id":"https://openalex.org/keywords/navier-stokes","display_name":"Navier-Stokes","score":0.699999988079071},{"id":"https://openalex.org/keywords/hodge-conjecture","display_name":"Hodge conjecture","score":0.9559999704360962},{"id":"https://openalex.org/keywords/birch-swinnerton-dyer-conjecture","display_name":"Birch and Swinnerton-Dyer conjecture","score":0.9440000057220459},{"id":"https://openalex.org/keywords/poincare-conjecture","display_name":"Poincar\u00e9 conjecture","score":0.9940000176429749},{"id":"https://openalex.org/keywords/goldbach-conjecture","display_name":"Goldbach conjecture","score":0.9710000157356262}],"concepts":[{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5339000225067139},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5231999754905701},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5087000131607056},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.49160000681877136},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4415999948978424},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.4332999885082245},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4219000041484833},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.3982999920845032},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.35100001096725464},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3375999927520752},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33160001039505005},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C20556612","wikidata":"https://www.wikidata.org/wiki/Q4469374","display_name":"Volume (thermodynamics)","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2773999869823456},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.27720001339912415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27000001072883606}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23609322","doi":"https://doi.org/10.5281/zenodo.23609322","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23609322","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23609323","doi":"https://doi.org/10.5281/zenodo.23609323","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23609323","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23609322","doi":"https://doi.org/10.5281/zenodo.23609322","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23609322","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7223451777","https://openalex.org/W7220414824","https://openalex.org/W7204914228","https://openalex.org/W7223466567","https://openalex.org/W7214104877","https://openalex.org/W7154903616","https://openalex.org/W7213581203","https://openalex.org/W7215914064","https://openalex.org/W7218516033","https://openalex.org/W7214533069"],"abstract_inverted_index":{"Seven":[0],"Millennium":[1,172],"questions":[2],"have":[3],"been":[4],"closed":[5],"to":[6,19,116,194],"one":[7,11,67,79,121,171,238],"bit":[8,25,28],"each,":[9],"on":[10,134,162,222,267,285],"normal":[12],"form":[13],"proved":[14,115,279],"once,":[15],"with":[16],"every":[17,135,138,150,163,268,334],"route":[18,165],"any":[20],"of":[21,33,78,110,144,233,314,333],"them":[22],"passing":[23],"its":[24,59,192,286,299,302,305,307,310,320],"and":[26,35,52,86,88,95,112,114,141,169,220,227,236,243,261,276,288,309,319],"the":[27,45,49,53,63,82,90,98,118,123,145,148,154,158,167,170,174,186,189,215,223,225,228,230,234,237,240,244,258,282,289,328],"delivered":[29],"by":[30,120,182,265,298],"two":[31,231],"kinds":[32],"act":[34,83,184],"no":[36,142,213,250],"third.":[37],"This":[38],"paper":[39,201,295],"reads":[40,97,156],"that":[41,65,81,89,152],"record.":[42],"It":[43],"takes":[44,70],"Riemann":[46],"row":[47,51,57],"as":[48,58,74,107,178,197,205],"master":[50],"P":[54],"versus":[55],"NP":[56],"humble":[60],"servant":[61],"prototype,":[62],"pair":[64],"shares":[66,140],"kernel;":[68],"it":[69,96,262],"all":[71],"seven":[72,308],"rows":[73],"a":[75,103,108,132,160,206,255,315,324,330],"case":[76],"study":[77],"finding,":[80],"is":[84,105,131,166,249,263,272,278,296,323],"essential":[85],"irreducible":[87],"formal":[91],"cannot":[92],"complete":[93],"itself;":[94],"ZFC":[99],"Block,":[100],"in":[101,185,208,246],"which":[102,247],"foundation":[104],"typed":[106],"ladder":[109,151],"sentences":[111],"models":[113],"enter":[117],"value":[119,155],"door,":[122],"act's,":[124],"or":[125],"not":[126],"at":[127],"all.":[128],"The":[129,200,252,294],"finding":[130],"theorem":[133,266,325],"row:":[136],"nothing":[137,277],"configuration":[139],"reading":[143],"record":[146,175,187],"supplies":[147],"bit;":[149],"proves":[153],"past":[157],"record;":[159],"wall":[161],"true":[164],"negation;":[168],"question":[173],"has":[176,254],"accepted":[177],"resolved":[179,181],"was":[180],"an":[183],"while":[188],"kernel":[190],"holds":[191],"statement,":[193],"this":[195],"day,":[196],"proof":[198],"wanted.":[199],"then":[202],"hears":[203],"scripture":[204,275],"witness":[207],"another":[209],"register,":[210],"built":[211],"from":[212,218,274],"scripture:":[214],"balance":[216],"set":[217],"above":[219],"executed":[221],"ground,":[224],"creation":[226],"command,":[229],"sites":[232],"signs":[235],"Witness,":[239],"preserved":[241],"tablet,":[242],"Book":[245],"there":[248,326],"doubt.":[251],"doubt":[253],"name":[256],"now,":[257],"open":[259],"framing,":[260],"refuted":[264],"row.":[269],"Nothing":[270],"here":[271],"derived":[273],"about":[280],"it;":[281],"mathematics":[283],"stands":[284],"cones,":[287],"verses":[290],"are":[291,312],"heard":[292],"after.":[293],"sealed":[297],"own":[300],"kernel:":[301],"four":[303],"sentences,":[304],"pair,":[306],"precedent":[311],"theorems":[313],"standalone":[316],"Lean":[317],"file,":[318],"register":[321],"law":[322],"too,":[327],"hearing":[329],"free":[331],"parameter":[332],"claim.":[335]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-10-25T00:00:00"}