{"entities":{"Q418122":{"pageid":419889,"ns":120,"title":"Item:Q418122","lastrevid":61693383,"modified":"2026-04-11T01:01:08Z","type":"item","id":"Q418122","labels":{"en":{"language":"en","value":"Temporal logics over linear time domains are in PSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038286"}},"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":"Q418122$10749A2A-E27C-46E7-B4CC-B36CC835CF81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69e0f0959e29d86b81eab81b9536a25f6c0bd423","datavalue":{"value":{"text":"Temporal logics over linear time domains are in PSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418122$E9E67D8D-6241-4232-AF82-FDF4BE504CE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99e2e30db38bed12b3c343782c7f5cee121bad17","datavalue":{"value":"1280.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$42A7A214-72DE-44F3-9EFE-94C0DBD7032B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$15DA237E-D07B-4B38-80D4-0CC1603A8BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$374E3E6F-DEAF-467A-AE73-576F18296462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418122$4D1D0FF5-58F4-448E-AC4E-151A439A8AC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$8400C8B5-4657-4D3B-9540-002AF6EDC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$7BEC2F88-805C-443D-B7A0-FC6ABA234354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$BDA31D0B-3C1B-4460-92BA-CC575C76F8FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12ad8dbc544a6bf71df7f58319de06ac2ac5b808","datavalue":{"value":"6038286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$A6423F4F-8B15-4FAA-A1FC-BD77F99E6154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q418122$4E220E6B-815D-49B8-9B2E-F1207E84E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q418122$E5718ABB-B2EC-4C73-876A-615F8739203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q418122$AC53EDF5-20FC-4ECC-99E3-E5877618C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q418122$DDFAFCBE-B6E2-467A-80D1-F182B29232C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q418122$56AA6D99-5577-4A35-BA82-13C01B8440E3","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":"Q418122$A1F67E71-25CF-4022-BF27-534E80F73FC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e700e1f172ff768ed5e76aa52a17d9ed7c9f562","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q418122$79142F17-70B3-4180-A969-67ACD1F7DA69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e71382c65f21233e9c600055708d9dbe9dee1bb2","datavalue":{"value":"W2046306944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$C91E96E9-4048-4F41-B273-3563C8C0EE8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1d5ca1fa09e622e07fcb422d3891078a513efc","datavalue":{"value":{"entity-type":"item","numeric-id":3503626,"id":"Q3503626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$9902C0BF-AB52-4AAF-B694-0C641CE387ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cae6d9b56fd4e68340ebe09b87e411d749d21be","datavalue":{"value":{"entity-type":"item","numeric-id":4779147,"id":"Q4779147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$1C46D72C-CF2F-4179-B236-29D0F7CACABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$B8C83922-7AB9-4167-8568-579083DE60DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$9C7FEFEB-1261-4F28-9420-DD04AEC63412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156138aef606bd7a7128a417f2c9b76b54fcbdfd","datavalue":{"value":{"entity-type":"item","numeric-id":1062669,"id":"Q1062669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$3F49F5E6-325B-4ADB-8A17-7D2618CD78A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9a5933e8762462281d7990349e4ceaa268530c","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$95F5B514-69F2-4295-B866-54D6149251D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2068d7415a70d5ff09d0a137009040a3d4a083f","datavalue":{"value":{"entity-type":"item","numeric-id":3498491,"id":"Q3498491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$31ABFCE1-180E-4D9E-A031-61181FC62FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$CC9F0CAB-5C55-4278-B33E-B7858749D379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$3F419C20-9962-4A12-AE15-1EA9D4270494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54f7383e1361db9b7d8d635e3974eec1f15734d","datavalue":{"value":{"entity-type":"item","numeric-id":5536269,"id":"Q5536269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$8529178A-79EC-4673-AE50-A90525A87C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$97B97943-A886-447F-95F8-C464152C8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9064d5a986f2862b400c15c7397a245cda88e720","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$738FEFC8-097C-4380-863E-5E8F62AC02AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef277b9a2ec47c57670800a1036d9bbd4781c4e","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$60BCBC8F-3339-4D7B-B46B-17EAAB7360C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114b5352846e734e7429f1ae0523e22dbe07fbae","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$EC45FAA1-E952-4EDD-AE0C-488A0963171F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"474916c99dca3dce5d3ed44bab7bc8d09687e0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5462675,"id":"Q5462675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$A3251B82-AD1F-44D8-9247-236220AE606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4773c285e5bc508231c7e79b59e726e8ae5dbc2d","datavalue":{"value":{"entity-type":"item","numeric-id":5569435,"id":"Q5569435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$D52B852C-F0F0-44ED-B946-2FC19B3B06CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$11F11D60-35C4-4E45-B31E-38EBA23E5C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$73517B1F-F572-4DA7-8AB4-307DEA7F1497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418122$67802C7B-8E19-4352-8118-F8F517F15680","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a593b46aab6b8e1934489840f4ed32fd5e824593","datavalue":{"value":"10.1016/J.IC.2011.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418122$077CC0BA-F70F-411E-A583-ECD23A30EA63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05779f72cc7f94b624374807cd511e7ecb7e22b6","datavalue":{"value":{"entity-type":"item","numeric-id":3584960,"id":"Q3584960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c3281ec861d0e1a94efb0fd570105bcde8b40","datavalue":{"value":{"amount":"+0.999999463558197","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":"Q418122$0F5EAB5D-0664-4767-AA04-BB08BDCAF225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0167adcb59e8e28688d18cefad2e008597aa30d2","datavalue":{"value":{"amount":"+0.8912417888641357","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":"Q418122$E93B9C36-2687-4C88-84F8-E575112CB7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce662f8a3ce429384d85259e2cf32d9dc1a559df","datavalue":{"value":{"amount":"+0.8838937878608704","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":"Q418122$A5FA3776-C355-4A85-8774-3C2D8B225C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd169c146c93114a40372ce7a38c2a44824381","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be42ffb7e26ffb1c76ea0d42a0ddd01ab51ce3","datavalue":{"value":{"amount":"+0.8787036538124084","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":"Q418122$7B1EB083-05FD-4627-87D4-A09CA095FDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a507349af4796203aa0a5e42e521a13c5148e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da4ac357e916a6609b58400df5f1c4315c7f250","datavalue":{"value":{"amount":"+0.8536288142204285","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":"Q418122$CB79AEDD-1052-40CA-9C60-1C00AE773A24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logics over linear time domains are in PSPACE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logics_over_linear_time_domains_are_in_PSPACE"}}}}}