{"id":"https://openalex.org/W7225734688","doi":"https://doi.org/10.5281/zenodo.24082675","title":"Generative Structural Theory v1.107 \u2014 An Eighteen-Node Example with Least Detecting Depth Six","display_name":"Generative Structural Theory v1.107 \u2014 An Eighteen-Node Example with Least Detecting Depth Six","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225734688","doi":"https://doi.org/10.5281/zenodo.24082675"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24082675","doi":"https://doi.org/10.5281/zenodo.24082675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082675","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","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24082675","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135252223","display_name":"Koji Okino","orcid":"https://orcid.org/0009-0003-9273-9813","observed_orcids":["https://orcid.org/0009-0003-9273-9813"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Okino, Koji","raw_affiliation_strings":["SD Lab LLC"],"raw_orcid":"https://orcid.org/0009-0003-9273-9813","affiliations":[{"raw_affiliation_string":"SD Lab LLC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5135252223"],"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9179999828338623,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9179999828338623,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.018300000578165054,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.008899999782443047,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6625999808311462},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5835000276565552},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.5360999703407288},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46560001373291016},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4481000006198883},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.42419999837875366},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4097999930381775},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.40849998593330383},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3562999963760376},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.34450000524520874},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.3199999928474426},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2985999882221222},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.2822999954223633},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2721000015735626},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.25200000405311584},{"id":"https://openalex.org/C104317236","wikidata":"https://www.wikidata.org/wiki/Q4330126","display_name":"Classification rule","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24082675","doi":"https://doi.org/10.5281/zenodo.24082675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082675","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.24082676","doi":"https://doi.org/10.5281/zenodo.24082676","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082676","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.24082675","doi":"https://doi.org/10.5281/zenodo.24082675","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24082675","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":[],"abstract_inverted_index":{"The":[0,165,388],"input":[1,234],"M":[2,235,348,381],"1":[3,236,382],"on":[4,70,249,305,415],"eighteen":[5,136,452],"nodes,":[6,137],"with":[7,92,183,194,202,363,368],"D":[8,93,195],"empty,":[9,196],"has":[10,264],"an":[11],"undecided":[12,90,200,260],"stop":[13,31,91,157,258,346,458],"of":[14,29,37,48,61,74,83,101,111,140,144,172,188,230,271,282,292,319,325,335,341,347,352,355,380,393,395,400,422,437,440,480],"the":[15,25,35,46,71,81,106,109,116,119,141,173,189,192,217,228,231,233,280,298,306,322,326,332,336,345,371,374,376,390,398,404,416,423,433,476,481,487],"forcing":[16],"procedure":[17],"at":[18,88,105,162,209,223,344,420,429,460],"which":[19,310],"no":[20,96,179,203,265,464],"feasible":[21,97,204,266],"set":[22,98,267,318,323,340],"exists,":[23,63],"and":[24,45,95,115,121,151,153,191,197,219,278,328,370,403,445],"least":[26,377,455],"detecting":[27,378],"depth":[28,38,49,56,84,123,163,211,224,283,353,379,396,401,430,438,461,466],"that":[30,69,122,256,262,279,308,331,412,451,463,468],"is":[32,158,240,259,383,454,470],"exactly":[33,384],"six:":[34],"rule":[36,47,82,281],"five":[39,85,215,225,284,431,439],"does":[40,125,285],"not":[41,126,159,221,286],"decide":[42,287],"\"impossible\"":[43,87,208,288,428],"there,":[44],"six":[50,354,385,402,469],"does.":[51],"So,":[52],"if":[53],"a":[54,112,250,269,301,315,329,350,409,435,457,471],"common":[55,465,472],"d":[57,64],"as":[58],"in":[59,118,373,408],"(Q33)":[60],"v1.99":[62],"\u2265":[65],"6.":[66],"v1.106":[67,145,356,441],"showed":[68],"family":[72],"G":[73],"v1.105":[75],"(one-node":[76],"extensions":[77],"to":[78,135,214],"seventeen":[79],"nodes)":[80,359],"decides":[86],"every":[89,169,275,339],"empty":[94],"(at":[99],"201":[100,142],"them":[102],"by":[103,108,181,216,242,247,303,432,447,486],"certificates,":[104],"others":[107],"counts":[110],"finite":[113],"check":[114,254],"monotonicity":[117,372],"depth),":[120],"four":[124],"suffice":[127],"(J17a).":[128],"This":[129],"text":[130],"goes":[131],"one":[132,213],"node":[133],"further,":[134],"from":[138,212],"three":[139,174,243],"stops":[143,201,425,479],"(candidates":[146],"50":[147],"=":[148],"J17a,":[149],"13":[150],"14),":[152],"asks":[154],"whether":[155],"some":[156,210],"detected":[160],"even":[161],"five.":[164],"main":[166],"search":[167],"made":[168],"one-node":[170],"extension":[171],"inputs":[175],"(25,047":[176],"labelled":[177],"pairs,":[178],"reduction":[180],"isomorphism)":[182],"all":[184],"their":[185,484],"152,525":[186],"choices":[187],"leaf":[190],"side":[193],"found":[198],"15,305":[199],"set:":[205],"15,293":[206],"decided":[207,222,427],"search,":[218,434],"12":[220],"(MISS5_CANDIDATE).":[226],"For":[227],"first":[229,426],"12,":[232],"(TID":[237],"564),":[238],"it":[239,263],"proved,":[241],"conditions":[244],"each":[245,421],"checked":[246,446],"machine":[248],"file":[251],"anyone":[252],"can":[253],"again,":[255],"its":[257,312,361,364],"(P1),":[261],"(P2,":[268],"tree":[270,337],"24,871":[272],"nodes":[273,453],"covering":[274],"candidate":[276],"set),":[277],"there":[289],"(P3,":[290],"evidence":[291,309,394],"203":[293],"nodes).":[294],"Two":[295],"lemmas":[296],"make":[297],"checks":[299,313,413],"sufficient:":[300],"lemma,":[302],"induction":[304],"depth,":[307,375],"passes":[311],"keeps":[314],"strongly":[316],"connected":[317],"pairs":[320],"outside":[321],"I_d":[324],"rule,":[327],"lemma":[330],"two":[333,391],"prunings":[334],"cover":[338],"pairs.":[342],"Then,":[343],"1,":[349],"certificate":[351,399,436],"form":[357,442],"(54":[358],"passed":[360],"checker":[362],"controls":[365],"(Proposition":[366],"9);":[367],"(P3)":[369],"(Corollary":[386],"10).":[387],"input,":[389],"pieces":[392],"five,":[397],"checkers":[405],"are":[406],"given":[407],"verification":[410],"appendix":[411],"both":[414],"same":[417],"input.":[418],"Apart,":[419],"2,870":[424],"was":[443],"built":[444],"machine.":[448],"Not":[449],"claimed:":[450],"for":[456],"missed":[459],"five;":[462],"exists;":[467],"depth;":[473],"anything":[474],"about":[475],"other":[477],"11":[478],"list":[482],"beyond":[483],"finding":[485],"search.":[488]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}