{"entities":{"Q3460579":{"pageid":5239979,"ns":120,"title":"Item:Q3460579","lastrevid":80740439,"modified":"2026-05-06T16:53:37Z","type":"item","id":"Q3460579","labels":{"en":{"language":"en","value":"On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527563"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460579$C8EC75E2-420E-4066-AD3C-00F5CC31BC37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef80a0a2184ab6f0a0fdb502551ff059f13a75c2","datavalue":{"value":{"text":"On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460579$3164D9BB-1978-4CEB-B34D-CF7B6EE209B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bff3595067e8a51a75162a8e07856942d41c86e9","datavalue":{"value":"1471.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$286062F5-EA52-4791-AEFE-E8E5F5D48251","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec3af20cd1a824ee38a6964ba73bc4e436eabe6a","datavalue":{"value":"10.1007/978-3-319-24953-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$40520B0E-2CB0-496E-BF67-3AAAE36E95F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5855e6ae1b25b2b15c97661e3de0cff467dfe34","datavalue":{"value":{"entity-type":"item","numeric-id":528189,"id":"Q528189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460579$E234134A-958F-4D38-8CCC-67F0446762AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460579$DADD54E1-8B64-43C4-AC6D-CB4BEC60B01C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460579$BD80DFF0-4FF8-4D65-9230-7966B21C17C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03bd998d2409a9bda984ad295d7133337003c686","datavalue":{"value":"https://orbit.dtu.dk/en/publications/84e1d941-3637-47e1-ba9b-affff738cd81","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460579$A091220D-D731-473B-974B-1B6AF443F85B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$95FC9AED-9407-4563-B3ED-2FB378CA63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$D2702109-99AC-470E-90DD-2523ABC0062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$D149C529-76C9-46AE-9FFE-3F081AEF4313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$D8D2A29B-B672-4C45-A4C8-5D0959C16DBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cb24345bdd245bbf61d17fe85abd7882003dba5","datavalue":{"value":"6527563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$968139F3-A422-4B65-A832-6B35BBBBFF44","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460579$0629B671-C20B-4C9A-8C2B-D85B88176E1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddf15a2e86ac1e49d8a96863835d5d1efe0dc62b","datavalue":{"value":"W2295019212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460579$DF2A022B-E856-442E-901C-0587032322D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbcb33e42f6f1d123e344f39790356f6881a45","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6833e2bde4180e3e3fbf271daf0475ee69821e","datavalue":{"value":{"amount":"+0.8390896916389465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460579$6609DD32-65B8-46F9-BF96-6CFD06B93A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f4659435aa66f9a3a7953e9d325d025944994c","datavalue":{"value":{"entity-type":"item","numeric-id":3113767,"id":"Q3113767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53c83c1c6eda5a330ef6e64ff2e9b68f99b7322","datavalue":{"value":{"amount":"+0.8341761827468872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460579$97EE9FB6-84A2-4F10-B06E-362152639F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e503705b53dbc35a18cea514f8d8e88203c2239d","datavalue":{"value":{"amount":"+0.809742271900177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460579$E45BC5D3-40F1-4042-992F-1C1386DB17D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76499ed85d4c3712c3faf72074a59ce32c5f1ca","datavalue":{"value":{"amount":"+0.8015082478523254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460579$7D0416B2-B689-46AD-9AC7-EC6FB04FD35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddc20864883de484db857e5dedb53b20e6fc2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3644768,"id":"Q3644768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb9981080d68a9273dd4992df2e4d383906e7ab","datavalue":{"value":{"amount":"+0.7985760569572449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460579$D971CE87-F4CE-4205-AAAE-E59DE1605080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_model-checking_branching_and_alternating-time_temporal_logics_in_one-counter_systems"}}}}}