{"id":"https://openalex.org/W7204276330","doi":"https://doi.org/10.5281/zenodo.22118913","title":"BIT-LMIND-BMS-001-F6-R1-TC \u2014 Independent-Research Terminal Closure and Public Handoff","display_name":"BIT-LMIND-BMS-001-F6-R1-TC \u2014 Independent-Research Terminal Closure and Public Handoff","publication_year":2026,"publication_date":"2026-08-27","ids":{"openalex":"https://openalex.org/W7204276330","doi":"https://doi.org/10.5281/zenodo.22118913"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22118913","doi":"https://doi.org/10.5281/zenodo.22118913","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22118913","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":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22118913","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146468081","display_name":"B\u00f9i Quang Tr\u1ecbnh","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"B\u00f9i Quang Tr\u1ecbnh","raw_affiliation_strings":["Independent Researcher \u2014 Boundary Information Theory (BIT), H\u00e0 N\u1ed9i, Vi\u1ec7t Nam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher \u2014 Boundary Information Theory (BIT), H\u00e0 N\u1ed9i, Vi\u1ec7t Nam","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5146468081"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.65059224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.5615000128746033,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.5615000128746033,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.06260000169277191,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.04089999943971634,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-architecture","display_name":"formal architecture","score":0.8539999723434448},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.5889999866485596},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5809999704360962}],"concepts":[{"id":"https://openalex.org/C111852164","wikidata":"https://www.wikidata.org/wiki/Q1414679","display_name":"Handover","level":2,"score":0.6962000131607056},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6766999959945679},{"id":"https://openalex.org/C2779664074","wikidata":"https://www.wikidata.org/wiki/Q3518405","display_name":"Terminal (telecommunication)","level":2,"score":0.6398000121116638},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6381000280380249},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5871999859809875},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5432000160217285},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.3619000017642975},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.30250000953674316},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2996000051498413},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C117011727","wikidata":"https://www.wikidata.org/wiki/Q1278488","display_name":"Bit (key)","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22118913","doi":"https://doi.org/10.5281/zenodo.22118913","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22118913","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":"article-journal"},{"id":"doi:10.5281/zenodo.22118914","doi":"https://doi.org/10.5281/zenodo.22118914","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22118914","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":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22118913","doi":"https://doi.org/10.5281/zenodo.22118913","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22118913","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":"article-journal"},"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/W7208777167","https://openalex.org/W7210262133","https://openalex.org/W7215113770","https://openalex.org/W7204022327","https://openalex.org/W7214941867","https://openalex.org/W7216343716","https://openalex.org/W7204495198","https://openalex.org/W7204940630","https://openalex.org/W7220706055","https://openalex.org/W7204215861"],"abstract_inverted_index":{"Terminal":[0],"independent-research":[1],"checkpoint":[2],"for":[3],"the":[4,14],"BIT":[5],"Living":[6],"Mind":[7],"Body-Mind-Soul":[8],"formal":[9],"architecture.":[10],"The":[11],"deposit":[12],"freezes":[13],"exact":[15],"F3.3-to-F6-R1":[16],"lineage,":[17],"scoped":[18],"analytic":[19],"and":[20,33],"finite":[21],"executable":[22],"evidence,":[23],"six":[24],"unresolved":[25],"external/Lean":[26],"gates,":[27],"a":[28],"complete":[29],"Host-2/Lean":[30],"handoff":[31],"capsule,":[32],"an":[34],"OPEN_APPEND_ONLY":[35],"continuation.":[36],"No":[37],"genuine":[38],"external":[39],"Host-2":[40],"reproduction,":[41],"Lean":[42],"4.30.0":[43],"elaboration,":[44],"kernel":[45],"proof,":[46],"empirical":[47],"validation,":[48],"causal":[49],"identification,":[50],"metaphysical":[51],"adjudication,":[52],"authority,":[53],"or":[54],"world":[55],"effect":[56],"is":[57],"claimed.":[58]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-27T00:00:00"}