{"id":"https://openalex.org/W1898679987","doi":"https://doi.org/10.1109/cmpcon.1995.512422","title":"Verification of the UltraSPARC microprocessor","display_name":"Verification of the UltraSPARC microprocessor","publication_year":2002,"publication_date":"2002-11-19","ids":{"openalex":"https://openalex.org/W1898679987","doi":"https://doi.org/10.1109/cmpcon.1995.512422","mag":"1898679987"},"language":"en","primary_location":{"id":"doi:10.1109/cmpcon.1995.512422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpcon.1995.512422","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Digest of Papers. COMPCON'95. Technologies for the Information Superhighway","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"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/A5111870938","display_name":"S. Mehta","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Mehta","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111502520","display_name":"Sameer Ahmed","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Ahmed","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002559343","display_name":"S. Al-Ashari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Al-Ashari","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018652388","display_name":"D. Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Chen","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080818407","display_name":"C. Dev","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C. Dev","raw_affiliation_strings":["SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072101175","display_name":"S. Cokmez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Cokmez","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063533321","display_name":"Piyush C. Desai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. Desai","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019967627","display_name":"R. Eltejaein","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"R. Eltejaein","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101563100","display_name":"Ping Fu","orcid":"https://orcid.org/0000-0002-2692-3829"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P. Fu","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029215468","display_name":"J.D. Gee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. Gee","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027176319","display_name":"T. Granvold","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T. Granvold","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111976348","display_name":"A. Iyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Iyer","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102880855","display_name":"Kai Lin","orcid":"https://orcid.org/0000-0002-7021-8422"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"K. Lin","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074222508","display_name":"G. Maturana","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G. Maturana","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044926446","display_name":"D. McConn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. McConn","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114235089","display_name":"H. Mohammed","orcid":"https://orcid.org/0000-0001-5910-2931"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H. Mohammed","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038497525","display_name":"J. Mostoufi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. Mostoufi","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084141721","display_name":"A. Moudgal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Moudgal","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007260664","display_name":"S. Nori","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Nori","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069465707","display_name":"Nusrat Parveen","orcid":"https://orcid.org/0000-0002-4935-4956"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"N. Parveen","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110282069","display_name":"G. Peterson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G. Peterson","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017538835","display_name":"M. Splain","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Splain","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085295716","display_name":"T. Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T. Yu","raw_affiliation_strings":["SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPARC Technology Business Sun MicroSystems, Inc., Mountain View, CA, USA","institution_ids":[]},{"raw_affiliation_string":"SPARC Technol Bus., Sun Microsyst. Inc., Mountain View, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1454,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.77085844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"452","last_page":"461"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.7266050577163696},{"id":"https://openalex.org/keywords/microprocessor","display_name":"Microprocessor","score":0.6929900646209717},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.461650013923645},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43928030133247375},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4344106912612915},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39356300234794617},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19367939233779907}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7266050577163696},{"id":"https://openalex.org/C2780728072","wikidata":"https://www.wikidata.org/wiki/Q5297","display_name":"Microprocessor","level":2,"score":0.6929900646209717},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.461650013923645},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43928030133247375},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4344106912612915},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39356300234794617},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19367939233779907}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cmpcon.1995.512422","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cmpcon.1995.512422","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Digest of Papers. COMPCON'95. Technologies for the Information Superhighway","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1937259677","https://openalex.org/W2106928356","https://openalex.org/W2141683244","https://openalex.org/W2150359573","https://openalex.org/W2158881836","https://openalex.org/W2164616564","https://openalex.org/W2538627236","https://openalex.org/W4254750893","https://openalex.org/W6683348177"],"related_works":["https://openalex.org/W2387235933","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2125238773","https://openalex.org/W2153955347","https://openalex.org/W1928822090"],"abstract_inverted_index":{"The":[0,35,49,61],"overall":[1],"verification":[2,44],"approach":[3,23],"used":[4],"in":[5,26],"the":[6,11,43],"design":[7,29],"and":[8,39,70],"development":[9],"of":[10,33,58],"full":[12],"custom":[13],"64":[14],"bit":[15],"UltraSPARC":[16],"microprocessor":[17],"is":[18,24,51],"described.":[19,48],"A":[20],"balanced":[21],"hierarchical":[22],"critical":[25],"validating":[27],"a":[28],"with":[30],"this":[31],"level":[32],"complexity.":[34],"tools,":[36],"developed":[37,63],"internally":[38],"externally,":[40],"which":[41],"aided":[42],"effort":[45],"are":[46],"also":[47],"environment":[50],"flexible":[52],"enough":[53],"to":[54,68],"support":[55],"various":[56],"revisions":[57],"major":[59],"tools.":[60],"method":[62],"could":[64],"easily":[65],"be":[66],"applied":[67],"derivative":[69],"next":[71],"generation":[72],"microprocessors.":[73]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}
