{"entities":{"Q3623013":{"pageid":5652919,"ns":120,"title":"Item:Q3623013","lastrevid":50643827,"modified":"2026-01-14T16:15:04Z","type":"item","id":"Q3623013","labels":{"en":{"language":"en","value":"The Complexity of Generalized Satisfiability for Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548990"}},"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":"Q3623013$61679608-0D47-4257-BC64-DFF97C16EFB6","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":"Q3623013$AF8A8976-3168-468E-84A9-1F98F36F99C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d65f8de9cdd8b644ff4b71f4ed03575212c9b32c","datavalue":{"value":"1183.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$2A38A6A5-24CD-492E-B3A3-05905F6C0D5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb59c2bc3eae1057f0a09b7cffa25525cfd80286","datavalue":{"value":"10.2168/LMCS-5(1:1)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$39E79975-D67B-4BEF-88E7-BBFCC94A2063","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":"Q3623013$9A4BD0B9-5FFB-4391-9E21-6188EA2E4F6E","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":"Q3623013$B5DC70C4-1EE9-4A15-B972-A44AF9B2F8DD","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":"Q3623013$B1A8857E-E1A8-4F4F-A76C-4F3482993FFD","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":"Q3623013$218C0908-EA02-45E6-A654-B2E0FDA57CD8","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":"Q3623013$5CA367E0-9402-4DB7-8613-6EEEB77B4D19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623013$D92B1E23-57E9-4353-B050-22679F52CFBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623013$BC0C9641-72B9-4B50-B586-B9D511F552DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$CEB90EA7-4486-4D45-9AE0-7845D2DC6716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$8C4FA2FB-7A9C-4BAE-AA2F-E1DB8150626C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$03A6454C-D8B9-401B-8E58-014ADA312E27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"941b2ff836fb76a5a5a17e40f00343f7dcaec44b","datavalue":{"value":"5548990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$0A2F101B-7E0D-4E5F-ABAB-A9AC68E12342","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623013$4D61C601-A268-4917-8CBA-A9B14D713961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623013$DE180A26-2BA9-49E0-B028-841F22291DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623013$07EA4110-F131-48EC-9F92-1D80E67ED25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623013$3949D444-CB71-4299-BE6D-E29D9A23272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q3623013$8B064726-0592-4AB5-B880-E95BEF646D48","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":"Q3623013$7997D239-6E0E-4E38-8FC9-3371ACBD204F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b0211a2d4bbd74a1f748890afe6585973e95c21","datavalue":{"value":"https://doi.org/10.2168/lmcs-5(1:1)2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623013$629A1BE7-8296-45FA-9315-97BAECFDC68C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6f0c44b31a45609287db9f49b1514493311296d","datavalue":{"value":"W2951449870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623013$8F66C40F-71DC-4529-A6EE-558164C0658E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553242049814c88eb3ab4950c2221e56555fc794","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"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":"Q3623013$FFD8B186-A323-478B-A833-0E72D0DE216F","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":"7457a3de44716ddd370da6bcb87f432b5616ea18","datavalue":{"value":{"amount":"+0.8951371312141418","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":"Q3623013$101BD4DA-5805-4B4A-BF4F-1C328A6CE121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86aa90385bd2bf7d2e1383b2f033c4479d0589b","datavalue":{"value":{"entity-type":"item","numeric-id":2870113,"id":"Q2870113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cd5733650dde4afe48c72e4632a34a9f28a7d6","datavalue":{"value":{"amount":"+0.8808145523071289","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":"Q3623013$7D282A5F-26DA-477C-BE58-1DEE96D84EA9","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":"c454ec7ea21ac6ffa08b93ea63505fae93770511","datavalue":{"value":{"amount":"+0.8592223525047302","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":"Q3623013$61DC1872-5871-459D-92C3-939CB10C9A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb763587f6a2c7d198b06eb8f0a07e34a25faad","datavalue":{"value":{"amount":"+0.8563273549079895","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":"Q3623013$D6EC340F-2EB8-481A-871E-7FF251B63309","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623013"}}}}}