{"id":"https://openalex.org/W6911145108","doi":"https://doi.org/10.5281/zenodo.10491488","title":"From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact","display_name":"From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting - AProVE Artifact","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W6911145108","doi":"https://doi.org/10.5281/zenodo.10491488"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10491488","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10491488","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10491488","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kassing, Jan-Christoph","orcid":"https://orcid.org/0009-0001-9972-2470"},"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":"Kassing, Jan-Christoph","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":"https://orcid.org/0009-0001-9972-2470","affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Frohn, Florian","orcid":"https://orcid.org/0000-0003-0902-1994"},"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":"Frohn, Florian","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":"https://orcid.org/0000-0003-0902-1994","affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":null,"display_name":"Giesl, J\u00fcrgen","orcid":"https://orcid.org/0000-0003-0283-8520"},"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":"Giesl, J\u00fcrgen","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":"https://orcid.org/0000-0003-0283-8520","affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.7775999903678894},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7620999813079834},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7299000024795532},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7150999903678894},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5230000019073486},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4788999855518341},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.427700012922287},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.3968999981880188}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8087000250816345},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.7775999903678894},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7742000222206116},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7620999813079834},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7299000024795532},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7150999903678894},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5230000019073486},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4788999855518341},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.427700012922287},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3968999981880188},{"id":"https://openalex.org/C2780560020","wikidata":"https://www.wikidata.org/wiki/Q79719","display_name":"License","level":2,"score":0.36149999499320984},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.358599990606308},{"id":"https://openalex.org/C174183944","wikidata":"https://www.wikidata.org/wiki/Q334661","display_name":"MIT License","level":3,"score":0.3531000018119812},{"id":"https://openalex.org/C2779664074","wikidata":"https://www.wikidata.org/wiki/Q3518405","display_name":"Terminal (telecommunication)","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.30160000920295715},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28110000491142273},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.2556999921798706},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10491488","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10491488","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10491488","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10491488","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4272007644176483,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"is":[1,30,126],"the":[2,14,36,58,64,69,75,83,123,137],"artifact":[3],"for":[4,8,22,68,140],"AProVE's":[5],"newest":[6],"version":[7],"FoSSaCS24!":[9],"In":[10,77],"order":[11,90],"to":[12,32,91,113],"run":[13],"artifact,":[15,79],"you":[16,61,130],"can":[17,53,62,81],"find":[18,63,132],"an":[19],"OVA":[20],"file":[21],"a":[23,44,104],"VM":[24,37],"that":[25],"has":[26],"everything":[27],"installed":[28,146],"and":[29,72,129],"ready":[31],"go!":[33],"Just":[34],"open":[35,47],"with":[38,48],"your":[39],"favourite":[40],"tool.":[41],"On":[42],"startup":[43],"terminal":[45],"should":[46],"further":[49],"instructions.":[50],"These":[51],"instructions":[52],"also":[54],"be":[55],"found":[56],"in":[57,89],"Readme.txt.":[59],"Additionally,":[60],"necessary":[65],"text":[66],"files":[67],"installation,":[70],"requirements,":[71],"license":[73],"of":[74,96],"artifact.":[76],"this":[78],"one":[80],"use":[82,112],"Automated":[84],"Program":[85],"Verification":[86],"Environment":[87],"(AProVE)":[88],"prove":[92],"(innermost)":[93],"almost-sure":[94],"termination":[95],"probabilistic":[97,115],"term":[98],"rewrite":[99],"systems":[100],"(TRSs).":[101],"TRSs":[102],"are":[103,145],"very":[105],"basic":[106],"functional":[107],"programming":[108],"language":[109],"which":[110],"we":[111],"analyze":[114],"algorithms":[116],"mainly":[117],"concerning":[118],"(user-defined)":[119],"data":[120],"structures.":[121],"Inside":[122],"VM,":[124],"AProVE":[125,141],"already":[127],"installed,":[128],"will":[131],"our":[133],"benchmark":[134],"set.":[135],"Furthermore,":[136],"required":[138],"SAT/SMT-Solvers":[139],"(MiniSat,":[142],"Yices,":[143],"Z3)":[144],"as":[147],"well.":[148]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}