{"entities":{"Q3769957":{"pageid":5799863,"ns":120,"title":"Item:Q3769957","lastrevid":52021142,"modified":"2026-01-20T18:46:46Z","type":"item","id":"Q3769957","labels":{"en":{"language":"en","value":"The complexity of propositional linear temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028890"}},"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":"Q3769957$690CB082-BAE4-48BF-ACB4-6246DD1D1A06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a5dc2ff479578c41f49af87b1338dac6e7b752","datavalue":{"value":{"text":"The complexity of propositional linear temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769957$D17B1A54-6480-4ECD-828D-1F4FA133FB07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba806cf85d485ec471ec190d46e6f17ea3f9a5cb","datavalue":{"value":"0632.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$E361D66A-0E16-40DA-B4E9-7627F8C429E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022ad6309557220106f42da06d6897ea975d3e5c","datavalue":{"value":"10.1145/3828.3837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$60908B7B-6275-4899-BD6E-02B816E469C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769957$F8720FCF-21F2-4618-80EB-9657826446DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769957$7F514242-6ED9-49A4-85C0-B4493648E70C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769957$00EC5549-6186-4784-A230-0E0D601FBB6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3769957$E71936D8-1D35-40D0-9BE0-3FF75C452BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$B2D8793F-0D05-4094-BF07-0EE78EE6FDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$EAF18CBF-6450-4397-845E-D5B924B1DAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$55AF7925-599C-49D7-B0E8-E77F3C1C0EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feebf62afbe4c148b63346a9b99956e57af11870","datavalue":{"value":"4028890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$8DE89455-C2BB-428E-A344-C1AC58145FFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fe14a8cfeb9ac56de2bccfef8cf6b2b7e8b2ce","datavalue":{"value":"branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$018140C6-16DD-481D-B011-A5D2C70A3E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$B113B187-7DC0-4863-8112-173CC83A3332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$F992C578-BE42-4C35-80B7-D46F3FF64E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$8EAF473D-2CC8-49A3-ACA1-5EFE008902A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab511d63645df6b45257ccbb118ba9c15853013d","datavalue":{"value":"determination of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$32512837-93E4-4CC6-8B5A-8237A7F8777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9120bfbbf914f4ee58dd58395d72a7c7e8e9a37","datavalue":{"value":"propositional linear temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$7CC7757B-3DC2-4DFE-86E8-A2250922176F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$800BE744-3617-4984-823E-5D114DC7E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769957$1C8E4DED-E36D-4D23-9954-0859EA7864CD","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":"Q3769957$69B6449D-FA65-4F11-B600-E3705E738935","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97012dcc219345cd552720593fd07bdd1266a5b","datavalue":{"value":"https://doi.org/10.1145/3828.3837","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769957$AF663A42-4605-4D50-85FC-633C46139658","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92c2b830f86e3efa986843b72d9a0eec8a1b521f","datavalue":{"value":"W2003227046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$5D953A03-F40C-47A4-BE77-77DD3BA57599","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"612d03bfdee31db0e3eb5daa2a3dab278f89a798","datavalue":{"value":"Q56619906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$B1F5C03C-B345-4D02-8A87-6C7FAFA6E054","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b08c1785d9c4f3b65947bf52410d5b3fff298102","datavalue":{"value":"journals/jacm/SistlaC85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769957$654BAF1C-5AB1-42C4-98F2-C945918C7AF0","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":"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":"Q3769957$B76B83B4-5D90-440C-B4A4-23673356D746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20502be7dae51c272f2616fd28866b335793fb95","datavalue":{"value":{"entity-type":"item","numeric-id":418122,"id":"Q418122"},"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":"Q3769957$D9AE7DC9-4B41-4A01-B9D9-AE6BE42711BD","rank":"normal"},{"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":"7312defd1dff089440335ef2ad8c77971d506142","datavalue":{"value":{"amount":"+0.8912416696548462","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":"Q3769957$6CA5505A-9E9D-43D3-AFC2-90BFF518FD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e080210901be2a3cd23d58d8de35aa960da018fa","datavalue":{"value":{"entity-type":"item","numeric-id":4381382,"id":"Q4381382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f1ce80c648ebc4f4017d59f6b34e106a7c8b6e","datavalue":{"value":{"amount":"+0.882232666015625","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":"Q3769957$A2FD5E58-68FE-4F04-9442-9E9B9616D6F5","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":"8beaf624131d54d7a72776938cdf364fa2d4e5c2","datavalue":{"value":{"amount":"+0.8809491395950317","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":"Q3769957$0F7D41A9-88AF-414A-BDB7-D5ECA1E32A43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769957"}}}}}