{"entities":{"Q744099":{"pageid":745948,"ns":120,"title":"Item:Q744099","lastrevid":52101335,"modified":"2026-01-20T22:51:14Z","type":"item","id":"Q744099","labels":{"en":{"language":"en","value":"A practical decision procedure for propositional projection temporal logic with infinite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6351433"}},"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":"Q744099$A369536D-7E59-4B45-AAA6-82738B07E533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d568e3101e264db4204ff84853942e55c6f533e","datavalue":{"value":{"text":"A practical decision procedure for propositional projection temporal logic with infinite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744099$B0308022-CC57-4C24-A0D9-30C0251F9943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"815e637a217424ad2bb8b8509afed60bb70a4e53","datavalue":{"value":"1358.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$984110CD-504D-4878-9232-A75758D1D1E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$F4B57330-E626-4432-B6CB-DFB00BA683E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$A103DEEA-151A-4275-AEE9-B053C170D95B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$0E18A59F-F9DF-4CE1-AE8A-E7358191025E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b61fc3e1fd77a44c6756723ec563e89b4b6f26","datavalue":{"value":{"time":"+2014-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744099$39B4AB18-F779-49D8-980D-E6EDF943DCDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$F285EE54-487C-4C0E-B69F-C363D9F2D26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$099E75B0-140E-42E5-896A-B951E8AAE8C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008c5892dc1cf8fe57980a3c651fa48fa61a91eb","datavalue":{"value":"6351433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$B84CB395-27A7-4891-889A-83FC01990C22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q744099$73E15381-CF23-48D2-A0FF-8A909694A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f6c80b0dfc69f07b6732579007eac69eb2f8c4","datavalue":{"value":"propositional projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q744099$6504F01E-41D7-4D5F-8F87-A6D7374BBF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c02e22e4491bcb735539f8c3e118a1e5b788c58","datavalue":{"value":"B\u00fcchi accepting condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q744099$E4AF177F-47EF-4CEC-A4D4-E60B93B3A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q744099$2C112932-DE4B-41BD-A7DC-1B715A1A0287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q744099$9488FABA-7659-4755-9DC3-A72604CE0495","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":"Q744099$35B429C3-ED4E-4E9C-9C85-1402CD534AFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6a537fafdb8fbe3c1ecbc6b377e793f55078a96","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.02.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q744099$779598F1-89A1-4F65-969B-2A32EE7DAF0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98cccf64f5bd180357629a676dfa9e65b642c1b1","datavalue":{"value":"W2020639449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$3B7A09C5-79B0-4C11-963B-538C487122BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$AD822826-21C5-4FF8-B965-5AC2EEA011BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27d29d6c8a6d90cf683150add9e5ddb2d9f1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$B8FCAAE6-F964-4D9D-92E9-05308E459CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39b59045408bdef02af3f5d84bef8023536de082","datavalue":{"value":{"entity-type":"item","numeric-id":3590920,"id":"Q3590920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$6068C7F1-0BD4-45CF-96E9-D58B2F50803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744099$FB4DADC6-56C4-4FA5-B31F-6C08E0F20C29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e77a91714d68c4a7ebe43eb4bdb7ffe2f2ba4fda","datavalue":{"value":"10.1016/J.TCS.2014.02.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744099$98CD355D-2183-4C97-9DA4-658E396345EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc26236cbfa2370002fe0b6d07768774eaa4eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fab0166f14feb0baa1ccbeaa1068982ed6416c","datavalue":{"value":{"amount":"+0.9275071620941162","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":"Q744099$4960AC75-B7A2-4429-A775-DCDDAF2E3428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6707317a7905d8cb3156721bb2c8a3052d18572","datavalue":{"value":{"entity-type":"item","numeric-id":5425464,"id":"Q5425464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d18afae828a779903734b917c60941d5e95db6e","datavalue":{"value":{"amount":"+0.9025433659553528","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":"Q744099$C0D1AE2E-7EB7-47E2-8396-95E769D4AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec950a4cb4d04d957ef57d3078ac85883ded1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2197530,"id":"Q2197530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d90ee14488c43e2332e4e58294b22b52ff2ea64","datavalue":{"value":{"amount":"+0.8556905388832092","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":"Q744099$65021320-1C8C-4B4D-B356-45C91E231689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86d0541e0fa03c640aace3d612ac080587bd37","datavalue":{"value":{"entity-type":"item","numeric-id":2300069,"id":"Q2300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724db8bb14acc514f72b4543abaddf9a1120e519","datavalue":{"value":{"amount":"+0.8513182401657104","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":"Q744099$9221372D-3C54-4225-911C-065536B88104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8999dce5e8d499c8ab91a1b3130d60cdeb433796","datavalue":{"value":{"amount":"+0.8499798774719238","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":"Q744099$14A29F7C-8E34-4C5F-B666-5F2C6CC410CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:744099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:744099"}}}}}