{"entities":{"Q5758057":{"pageid":7787608,"ns":120,"title":"Item:Q5758057","lastrevid":50161235,"modified":"2026-01-13T07:45:30Z","type":"item","id":"Q5758057","labels":{"en":{"language":"en","value":"The Complexity of Generalized Satisfiability for Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188990"}},"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":"Q5758057$5E1AFE2B-B170-4623-A9F8-13F52DCE393B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5651da776004e3259fc1da21e21830ccd2d9293","datavalue":{"value":{"text":"The Complexity of Generalized Satisfiability for Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758057$22B22AE1-15AA-4A4E-BB45-BAE19FECEB25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a8bfd7d0582c7c0cee0ec4413a21fa292f9fc44","datavalue":{"value":"1183.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$98537D0F-9D8E-4279-AED4-E01DF84A0023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e595d318fed98db6342f86ba6ddd869afb19db0f","datavalue":{"value":"10.1007/978-3-540-71389-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$4276F633-170F-49AA-9711-B738F377F42A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72095f2f713ef1c79b38c0714aa4d79ebbc903f3","datavalue":{"value":{"entity-type":"item","numeric-id":1015811,"id":"Q1015811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$BD860405-3688-4BAE-BDD0-2413850E82AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d20f48cb9540482c9af2a4f4b1e9f17e57749ba","datavalue":{"value":{"entity-type":"item","numeric-id":393136,"id":"Q393136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$95EC7EE7-F14B-45D9-B259-E4AD14BCB9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb5495cc401b544959cef7c53d33603f5c56b01","datavalue":{"value":{"entity-type":"item","numeric-id":319802,"id":"Q319802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$3AB70259-7B46-4DC3-BAD3-5BB84883B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bade7cb85ff6df2ccfbe3ca7582dab10e409afe3","datavalue":{"value":{"entity-type":"item","numeric-id":428851,"id":"Q428851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$C38FE914-CBB0-4C75-A393-753F9047CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$4EDB3DEE-329B-45CE-AF9B-7FB1BFF1E08A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758057$730906E9-7115-45C1-B32D-1B8E5ED4DB40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758057$3BB42CBC-03BE-425F-B087-439C9B71BE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$1B4BBC64-A144-4A47-BCF6-EAF239DBE449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$6530AC32-7018-494B-BE9B-1E877F3E1ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$C578C28A-5BBB-46A8-9E98-4FEC63B1985D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f61ed497c4ca6946f740a1910f1c017af69a038","datavalue":{"value":"5188990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$9131F5AB-5FC1-41AB-9AB6-8AC2D2B8B72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758057$6BCF4A2F-6951-4045-9B57-876C113C053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758057$2BF0E8E8-1446-4260-8E26-BC32934DFC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758057$B653D5D5-B8B4-42D7-A6AF-1392EA48E50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758057$8D1A0FF5-D9BA-4208-BC78-EEF0D40A6A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758057$0F92A72C-CF93-4AB0-AC9C-077EEC163563","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":"Q5758057$84C9CA5C-2C0B-4755-B3D7-37D430B28CC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f096ccfe5a337533d641987b6fb0ca91ccf6a1e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758057$03725A02-BE28-47EC-B537-41414E2553FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d600bfc5f517bcf63e37ad745da7b1382e925c73","datavalue":{"value":"W2154374418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758057$819DB8C5-0DAD-4D99-B984-96E8BF0E5C8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af38022c918148a25a1f7ab2e415dc3d875c4147","datavalue":{"value":{"amount":"+1.0000001192092896","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":"Q5758057$33BA58B1-02B1-481F-A9C2-5ED3BCCAB7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0438981bf125f7470a4340a17361579087a65391","datavalue":{"value":{"entity-type":"item","numeric-id":4013255,"id":"Q4013255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596ca0900ff4ed2dc63859691bca871101a77372","datavalue":{"value":{"amount":"+0.9192028641700744","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":"Q5758057$9E0A9405-A76D-49FE-9FF5-F8039009ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f6204b2340f595a57420f4d2f0d6e141efbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e694823db7fef4787909ba3ee06698f4af02ad","datavalue":{"value":{"amount":"+0.8687580227851868","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":"Q5758057$EFDED685-81B4-4EF4-B9EB-9FC9611A9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279ff5f433e5f970e158737d21a7fcafeb6cc285","datavalue":{"value":{"amount":"+0.859889805316925","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":"Q5758057$219FFF46-CCE3-46CE-832C-A28A7EAD6595","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":"11bd38a453d350b28d3f3385106afd8e8e4e7728","datavalue":{"value":{"amount":"+0.8574551939964294","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":"Q5758057$5269E155-CCD0-4D28-BFFA-272F17521019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758057","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758057"}}}}}