{"id":"https://openalex.org/W4289800075","doi":"https://doi.org/10.1145/3531130.3533358","title":"Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics","display_name":"Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics","publication_year":2022,"publication_date":"2022-08-02","ids":{"openalex":"https://openalex.org/W4289800075","doi":"https://doi.org/10.1145/3531130.3533358"},"language":"en","primary_location":{"id":"doi:10.1145/3531130.3533358","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"article","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/A5010064604","display_name":"Erich Gr\u00e4del","orcid":"https://orcid.org/0000-0002-8950-9991"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Erich Gr\u00e4del","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016830938","display_name":"Hayyan Helal","orcid":"https://orcid.org/0000-0002-9838-3737"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hayyan Helal","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080601428","display_name":"Matthias Naaf","orcid":"https://orcid.org/0000-0002-1099-5713"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Naaf","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041487013","display_name":"Richard Wilke","orcid":"https://orcid.org/0000-0002-8110-0921"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Richard Wilke","raw_affiliation_strings":["RWTH Aachen University, Germany"],"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5010064604"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.6631,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7387657,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9933000206947327,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.9828081727027893},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7039017677307129},{"id":"https://openalex.org/keywords/kleene-algebra","display_name":"Kleene algebra","score":0.5786886215209961},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5527851581573486},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5127516984939575},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4873434007167816},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4586067795753479},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.4294389486312866},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.32844340801239014},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.13770848512649536},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07636770606040955}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.9828081727027893},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7039017677307129},{"id":"https://openalex.org/C206470798","wikidata":"https://www.wikidata.org/wiki/Q2634506","display_name":"Kleene algebra","level":2,"score":0.5786886215209961},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5527851581573486},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5127516984939575},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4873434007167816},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4586067795753479},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.4294389486312866},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.32844340801239014},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.13770848512649536},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07636770606040955},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3531130.3533358","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3531130.3533358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W76753297","https://openalex.org/W1975612259","https://openalex.org/W1990958546","https://openalex.org/W2034198367","https://openalex.org/W2063406522","https://openalex.org/W2085536555","https://openalex.org/W2107764145","https://openalex.org/W2116445981","https://openalex.org/W2170743240","https://openalex.org/W2402054513","https://openalex.org/W2613457660","https://openalex.org/W2795241473","https://openalex.org/W2964231296","https://openalex.org/W3094619289","https://openalex.org/W3173532392","https://openalex.org/W4230159918","https://openalex.org/W4289800075"],"related_works":["https://openalex.org/W2033560440","https://openalex.org/W2741025110","https://openalex.org/W2367685979","https://openalex.org/W2365090138","https://openalex.org/W2371578151","https://openalex.org/W1540341981","https://openalex.org/W187758485","https://openalex.org/W2862035520","https://openalex.org/W3040795817","https://openalex.org/W3039072955"],"abstract_inverted_index":{"Semiring":[0],"semantics":[1],"evaluates":[2],"logical":[3],"statements":[4],"by":[5,20,80,94],"values":[6,89],"in":[7],"some":[8],"commutative":[9],"semiring":[10,17,58,82],"(K,":[11],"+,":[12],"\u00b7,":[13],"0,":[14],"1).":[15],"Random":[16],"interpretations,":[18,83],"induced":[19],"a":[21,97],"probability":[22],"distribution":[23],"on":[24,39,42,102,107],"K,":[25],"generalise":[26,56],"random":[27,43,81],"structures,":[28,44],"and":[29,54,106],"we":[30,113],"investigate":[31],"here":[32],"the":[33,47,63],"question":[34],"of":[35,50,96,110],"how":[36],"classical":[37,64],"results":[38],"first-order":[40,70,111],"logic":[41],"most":[45],"importantly":[46],"0-1":[48,65],"laws":[49],"Glebskii":[51],"et":[52],"al.":[53],"Fagin,":[55],"to":[57,78],"semantics.":[59],"For":[60],"positive":[61],"semirings,":[62],"law":[66],"implies":[67],"that":[68],"every":[69],"sentence":[71],"is,":[72],"asymptotically,":[73],"either":[74],"almost":[75,85],"surely":[76,86],"evaluated":[77],"0":[79],"or":[84],"takes":[87],"only":[88],"different":[90],"from":[91],"0.":[92],"However,":[93],"means":[95],"more":[98],"sophisticated":[99],"analysis,":[100],"based":[101],"appropriate":[103],"extension":[104],"properties":[105],"algebraic":[108],"representations":[109],"formulae,":[112],"can":[114],"prove":[115],"much":[116],"stronger":[117],"results.":[118]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}