{"id":"https://openalex.org/W7154755630","doi":"https://doi.org/10.1177/2167647x261430300","title":"KSG: A Symbolic Semantics Graph Generation Method of Smart Contract Based on the K Framework","display_name":"KSG: A Symbolic Semantics Graph Generation Method of Smart Contract Based on the K Framework","publication_year":2026,"publication_date":"2026-04-17","ids":{"openalex":"https://openalex.org/W7154755630","doi":"https://doi.org/10.1177/2167647x261430300","pmid":"https://pubmed.ncbi.nlm.nih.gov/41995099"},"language":"en","primary_location":{"id":"doi:10.1177/2167647x261430300","is_oa":false,"landing_page_url":"https://doi.org/10.1177/2167647x261430300","pdf_url":null,"source":{"id":"https://openalex.org/S4210226731","display_name":"Big Data","issn_l":"2167-6461","issn":["2167-6461","2167-647X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320443","host_organization_name":"Mary Ann Liebert, Inc.","host_organization_lineage":["https://openalex.org/P4310320443"],"host_organization_lineage_names":["Mary Ann Liebert, Inc."],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Big Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133861041","display_name":"Jie Li","orcid":null},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Li","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","School of Computer Science and Engineering, Beihang University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062618737","display_name":"Yucheng Zhao","orcid":"https://orcid.org/0000-0002-8962-5212"},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yucheng Zhao","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050375803","display_name":"Xiaoyu Yang","orcid":"https://orcid.org/0000-0003-0273-9573"},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyu Yang","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133899462","display_name":"Yi Ding","orcid":null},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Ding","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092674663","display_name":"Yidan Zou","orcid":null},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yidan Zou","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5133874917","display_name":"Jun Jin","orcid":null},"institutions":[{"id":"https://openalex.org/I176432857","display_name":"Beijing Wuzi University","ror":"https://ror.org/00bd1d647","country_code":"CN","type":"education","lineage":["https://openalex.org/I176432857"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jun Jin","raw_affiliation_strings":["School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Artificial Intelligence, Beijing Wuzi University, Beijing, China","institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5133874917"],"corresponding_institution_ids":["https://openalex.org/I176432857","https://openalex.org/I4210100255"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.50502703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"3","first_page":"179","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9239000082015991,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9239000082015991,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T14347","display_name":"Big Data and Digital Economy","score":0.009100000374019146,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.0026000000070780516,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/symbolic-execution","display_name":"Symbolic execution","score":0.6100000143051147},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4593999981880188},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4487000107765198},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.44110000133514404},{"id":"https://openalex.org/keywords/semantic-data-model","display_name":"Semantic data model","score":0.4318000078201294},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.40709999203681946},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3801000118255615},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.36039999127388},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.35920000076293945},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.358599990606308}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8105000257492065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6761999726295471},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6100000143051147},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4487000107765198},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.44110000133514404},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4381999969482422},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.40709999203681946},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3801000118255615},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.36039999127388},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.35920000076293945},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.35190001130104065},{"id":"https://openalex.org/C97042676","wikidata":"https://www.wikidata.org/wiki/Q5597097","display_name":"Graph reduction","level":3,"score":0.35030001401901245},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.34049999713897705},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.31709998846054077},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.3165999948978424},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.2987000048160553},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.2890999913215637},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.2842999994754791},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27480000257492065},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C2777946921","wikidata":"https://www.wikidata.org/wiki/Q7449044","display_name":"Semantic analysis (machine learning)","level":2,"score":0.2660999894142151},{"id":"https://openalex.org/C6881194","wikidata":"https://www.wikidata.org/wiki/Q7449091","display_name":"Semantic technology","level":4,"score":0.2605000138282776},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.2549999952316284}],"mesh":[{"descriptor_ui":"D000081186","descriptor_name":"Blockchain","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000081186","descriptor_name":"Blockchain","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000081186","descriptor_name":"Blockchain","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000081186","descriptor_name":"Blockchain","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D000465","descriptor_name":"Algorithms","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D012660","descriptor_name":"Semantics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012660","descriptor_name":"Semantics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012660","descriptor_name":"Semantics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D012660","descriptor_name":"Semantics","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D032982","descriptor_name":"Contracts","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D032982","descriptor_name":"Contracts","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D032982","descriptor_name":"Contracts","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D032982","descriptor_name":"Contracts","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true}],"locations_count":2,"locations":[{"id":"doi:10.1177/2167647x261430300","is_oa":false,"landing_page_url":"https://doi.org/10.1177/2167647x261430300","pdf_url":null,"source":{"id":"https://openalex.org/S4210226731","display_name":"Big Data","issn_l":"2167-6461","issn":["2167-6461","2167-647X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320443","host_organization_name":"Mary Ann Liebert, Inc.","host_organization_lineage":["https://openalex.org/P4310320443"],"host_organization_lineage_names":["Mary Ann Liebert, Inc."],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Big Data","raw_type":"journal-article"},{"id":"pmid:41995099","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/41995099","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Big data","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W127812855","https://openalex.org/W2048417351","https://openalex.org/W2101512909","https://openalex.org/W2107147876","https://openalex.org/W2124657291","https://openalex.org/W2138788987","https://openalex.org/W2162436812","https://openalex.org/W2259551671","https://openalex.org/W2476015419","https://openalex.org/W2539190473","https://openalex.org/W2769609281","https://openalex.org/W2778144710","https://openalex.org/W2805052744","https://openalex.org/W2885034081","https://openalex.org/W2898652659","https://openalex.org/W3015405072","https://openalex.org/W3034136313","https://openalex.org/W3095431539","https://openalex.org/W3128745440","https://openalex.org/W3174560274","https://openalex.org/W3186717497","https://openalex.org/W4239564128","https://openalex.org/W4285490458","https://openalex.org/W4322765894","https://openalex.org/W4380631424","https://openalex.org/W4384154487","https://openalex.org/W4384302865","https://openalex.org/W4400973239","https://openalex.org/W4403864992","https://openalex.org/W4408934902","https://openalex.org/W4413863234"],"related_works":[],"abstract_inverted_index":{"The":[0],"formal":[1,11,19],"semantics":[2],"of":[3,10,25,35,78,147,158],"blockchain":[4,71],"smart":[5,72,96],"contracts":[6,26],"are":[7,82,91],"the":[8,23,31,38,75,79,121,140,144,156,159,163],"foundation":[9],"verification.":[12],"They":[13],"can":[14,125],"be":[15,53,126],"used":[16],"to":[17,21,49,93],"establish":[18],"models":[20],"verify":[22],"security":[24],"and":[27,51,85,89,117,131,134,151,162],"help":[28],"developers":[29],"understand":[30],"specific":[32],"execution":[33,115,133],"rules":[34,77],"contracts.":[36,73],"However,":[37],"mathematical":[39],"logic":[40],"involved":[41],"in":[42],"such":[43],"modeling":[44],"poses":[45],"a":[46,64,86,100],"high":[47],"barrier":[48],"entry":[50],"cannot":[52],"directly":[54],"integrated":[55],"with":[56],"other":[57],"program":[58],"analysis":[59,141,152],"methods.":[60],"This":[61,104],"article":[62],"proposes":[63],"semantic":[65,76,87,102,107,111,123,148],"graph":[66,105,124,149],"generation":[67,150],"approach,":[68],"KSG,":[69],"for":[70,128],"First,":[74],"contract":[80,97,161],"language":[81],"formally":[83],"defined,":[84],"interpreter":[88],"prover":[90],"constructed":[92],"automatically":[94],"transform":[95],"code":[98],"into":[99],"scalable":[101],"graph.":[103],"incorporates":[106],"control":[108],"flow":[109,113],"information,":[110,114],"data":[112],"rules,":[116],"verification":[118,157],"constraints.":[119],"Next,":[120],"generated":[122],"utilized":[127],"vulnerability":[129],"detection":[130],"symbolic":[132],"supports":[135],"iterative":[136],"optimization":[137],"based":[138],"on":[139],"results.":[142],"Finally,":[143],"detailed":[145],"process":[146],"is":[153],"demonstrated":[154],"through":[155],"reentrancy":[160],"honeypot":[164],"contract.":[165]},"counts_by_year":[],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2026-04-18T00:00:00"}