{"id":"https://openalex.org/W1552051868","doi":"https://doi.org/10.1007/978-3-540-72734-7_34","title":"Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms","display_name":"Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms","publication_year":2007,"publication_date":"2007-06-28","ids":{"openalex":"https://openalex.org/W1552051868","doi":"https://doi.org/10.1007/978-3-540-72734-7_34","mag":"1552051868"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-72734-7_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_34","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5016943210","display_name":"Vladimir V. Rybakov","orcid":"https://orcid.org/0000-0002-6654-9712"},"institutions":[{"id":"https://openalex.org/I11983389","display_name":"Manchester Metropolitan University","ror":"https://ror.org/02hstj355","country_code":"GB","type":"education","lineage":["https://openalex.org/I11983389"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"V. Rybakov","raw_affiliation_strings":["Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K","Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K.#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K","institution_ids":[]},{"raw_affiliation_string":"Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K.#TAB#","institution_ids":["https://openalex.org/I11983389"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016943210"],"corresponding_institution_ids":["https://openalex.org/I11983389"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.4177,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.95522388,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"486","last_page":"497"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"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/decidability","display_name":"Decidability","score":0.8681148886680603},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7429145574569702},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5787985920906067},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5771288275718689},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.532066822052002},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5284599661827087},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5196129679679871},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.4859672784805298},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.47037047147750854},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46488308906555176},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34855377674102783},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34403353929519653},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17852553725242615},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06309211254119873}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8681148886680603},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7429145574569702},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5787985920906067},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5771288275718689},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.532066822052002},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5284599661827087},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5196129679679871},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.4859672784805298},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.47037047147750854},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46488308906555176},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34855377674102783},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34403353929519653},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17852553725242615},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06309211254119873},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-72734-7_34","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-72734-7_34","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:e-space.mmu.ac.uk:96174","is_oa":false,"landing_page_url":"https://e-space.mmu.ac.uk/96174/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W633803211","https://openalex.org/W1488267121","https://openalex.org/W1506588809","https://openalex.org/W1512310098","https://openalex.org/W1516806823","https://openalex.org/W1521991348","https://openalex.org/W1524655177","https://openalex.org/W1549122259","https://openalex.org/W1573056557","https://openalex.org/W1586668623","https://openalex.org/W1589421353","https://openalex.org/W1831425772","https://openalex.org/W1975190772","https://openalex.org/W1982302236","https://openalex.org/W2003227046","https://openalex.org/W2004532354","https://openalex.org/W2017542140","https://openalex.org/W2019740327","https://openalex.org/W2023712626","https://openalex.org/W2023808162","https://openalex.org/W2027924374","https://openalex.org/W2035351521","https://openalex.org/W2038216920","https://openalex.org/W2046526482","https://openalex.org/W2049821930","https://openalex.org/W2060399736","https://openalex.org/W2074899782","https://openalex.org/W2075320155","https://openalex.org/W2080542786","https://openalex.org/W2081160992","https://openalex.org/W2088994048","https://openalex.org/W2093916942","https://openalex.org/W2093974031","https://openalex.org/W2103146530","https://openalex.org/W2108756969","https://openalex.org/W2112687509","https://openalex.org/W2124876285","https://openalex.org/W2126852230","https://openalex.org/W2159753366","https://openalex.org/W2164389533","https://openalex.org/W2168410054","https://openalex.org/W2260769207","https://openalex.org/W4213219346","https://openalex.org/W4238979413","https://openalex.org/W4245450076","https://openalex.org/W4251206353"],"related_works":["https://openalex.org/W2294297515","https://openalex.org/W1543051890","https://openalex.org/W2585890227","https://openalex.org/W2072122432","https://openalex.org/W2789140669","https://openalex.org/W2166108892","https://openalex.org/W2583111156","https://openalex.org/W3176904788","https://openalex.org/W1775249002","https://openalex.org/W1494173831"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}