{"entities":{"Q2197530":{"pageid":2208273,"ns":120,"title":"Item:Q2197530","lastrevid":71523690,"modified":"2026-04-13T22:49:38Z","type":"item","id":"Q2197530","labels":{"en":{"language":"en","value":"Efficient decision procedure for propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7242322"}},"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":"Q2197530$D8A6E2D1-D45F-4E05-A189-814308CF20D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"010440ae87df20dd77caccefabad37a5d9fcbceb","datavalue":{"value":{"text":"Efficient decision procedure for propositional projection temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2197530$A64F8BD0-72C7-4487-A8EF-D78FF83B1995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"962f679291cecfb885aa28c5927f72fe6b266cba","datavalue":{"value":"1476.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197530$4A157AE7-5CD6-4359-821E-2665751077CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$8CA6FE96-3A5B-45C7-8B18-5B9BBE8F03CE","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":"Q2197530$3471A82B-6C9C-4B8F-80B6-B514BA01FDD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e1cb463f6f00f069b5885dafb634153655800c1","datavalue":{"value":{"time":"+2020-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2197530$4AC0FE38-0827-49A7-9ED2-8EB91D83E023","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1585006c3abed9b908dfc2793fac0215c68b8c7","datavalue":{"value":"The propositional projection temporal logic (PPTL) is an extension of Moszkowski's interval temporal logic (ITL) by introducing a new projection operator. The authors develop a decision procedure for PPTL based on a labeled normal form introduced in the paper. They show that the decision procedure has time complexity linear in the length of the formula and in the size of the power set of the atomic propositions occurring in the formula.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197530$F68DE2B9-2C5B-418B-AA1C-8DE810346028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197530$C83E27AD-89F1-4103-8131-CA756EF5539A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5f5590f3cf526ff639b8d121b00964ed3b1eeea","datavalue":{"value":"7242322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197530$02FF87DF-8090-4CE9-AB5E-7B10D54CBB9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197530$69908986-E417-421F-9EA8-F38F83CC7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197530$0C707D9D-235F-4680-AB13-BCB04357A066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65318ac6d87155cad83cb22c73f96ee4fb7e1d5","datavalue":{"value":"labeled normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197530$97226154-FB6E-4F6F-97A9-1DECA16DC77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aada6820ea8ec565f398c12b8f78ecfab943c489","datavalue":{"value":"labeled normal form graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2197530$6A958569-9077-4B2E-9313-E0928C707D62","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$46B85AE1-2BF7-4970-B193-E5030C11017E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$B80EEF88-1878-4545-A03C-722479CD631F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6ed03cd1c862eaebed26e040255f950f67a07d5","datavalue":{"value":{"entity-type":"item","numeric-id":43421,"id":"Q43421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$8FC66F86-C81E-4B95-B2E0-4C73D127952B","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":"Q2197530$C6397EC7-B749-448E-93B2-9EFB36EBD324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6684633e2266d91103d9393a140724735bd4d2b6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.05.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2197530$79AA328C-DA58-43E9-A8B8-219CE279A718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5686d71a11c4806dea3bf4cf974f84f22e843f72","datavalue":{"value":"W4205412112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197530$AA7D66FD-71DF-43D8-8CEC-0A79B950D810","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$0DDF65A0-4214-49C3-B418-1229C20309CB","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":"Q2197530$5BC2BF90-8A15-4355-BCAF-177B05A17C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ead4a26071815083d5b20eb3ad0d371ab795245","datavalue":{"value":{"entity-type":"item","numeric-id":1630985,"id":"Q1630985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$FA7B6E04-A9A3-403F-82B4-D3F6A7CE4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7236c0b2c24c5d1eba820a2db14f62e5fcbda6","datavalue":{"value":{"entity-type":"item","numeric-id":344760,"id":"Q344760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$A3F05B96-7228-49D7-8B98-0EBF8AC7C518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065d77508bde2102de076f9aed11735779ba78fd","datavalue":{"value":{"entity-type":"item","numeric-id":2817902,"id":"Q2817902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$7D20AE86-D98B-4A8A-953E-4B48FF32AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$A91D5C11-D1A4-4651-97C7-73DD3BEE3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367615c89c5e53362735b1e2712e2074018e117f","datavalue":{"value":{"entity-type":"item","numeric-id":3616217,"id":"Q3616217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$56C154F3-4098-47A0-BF4A-AD7AAA7644DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b911625efa0ace12355e843f02ffb7bb45816c","datavalue":{"value":{"entity-type":"item","numeric-id":744103,"id":"Q744103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$6F5F5662-B8CC-4E07-8AC8-333034247E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7970a3349ce494965ca2872c123451bac23725","datavalue":{"value":{"entity-type":"item","numeric-id":903507,"id":"Q903507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$EE794C44-EBC2-47DD-81EF-B83027DD7EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$1B5A4A0D-C19B-4E0B-B1EA-989BFA9F0628","rank":"normal"},{"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":"Q2197530$525DEF4C-0F41-45C6-8010-C8F0ED963FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$430FB959-D93A-4019-BCCE-F46BF115FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45671c6193ec441bc9e4dcc774fb57094354e7c0","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$6B10F5C1-08FD-432C-AE00-8DFCAB643020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d1d0df127d1cc2a6b0a78b86410aa612d9d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$E24FD1C4-1853-45CF-9233-08C0F8664647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2197530$376BC118-A809-49FE-9537-720BB2A08898","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55ed38a0d9287aab387521b92117e090dee80bba","datavalue":{"value":"10.1016/J.TCS.2020.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2197530$BDDEC704-8D90-492E-ACD5-5680B57781E6","rank":"normal"}],"P1643":[{"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":"7394e365c86c34119ca7cf2e38c25e7d536de9c6","datavalue":{"value":{"amount":"+0.9951011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$523D1FD6-C1E5-4EF0-86B3-D0A13B0879BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b6bf5aedd1a71142dff89c843fd9a476e1a5fb","datavalue":{"value":{"amount":"+0.9374964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$9B7B11E8-BC4F-412D-804B-BF88DB1FC2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd0d9513b433a7fbdc8a0636431dce3839b32a9","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871dc23ab14568063fd540ba8b19361ec34ab622","datavalue":{"value":{"amount":"+0.91485894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$97734628-22A2-491E-9167-3C4EA3887449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe8d77d34e185950a3997a85a1c45d8062bfe69","datavalue":{"value":{"amount":"+0.91057026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$252CFCBA-B119-4EC7-806D-9E95E0D3AAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4025f976582952f0c7a69dd31f0b9e88d9909521","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1c14d0898293411dd370e56bed9650b89f8bb2","datavalue":{"value":{"amount":"+0.9087601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$B8EA2C21-7B5B-4458-B6E1-6F84B8A4A040","rank":"normal"},{"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":"67a5a13f12d3badced3ee27d6e3ce228775c94a7","datavalue":{"value":{"amount":"+0.9057635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$853BBE4D-2F32-4085-ACEA-40E34C27FBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b98642aae2bb757bdaa190da61adad18ff6b5bd","datavalue":{"value":{"amount":"+0.89992654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$37577EDE-FADD-440C-967A-776D75CC57CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead145520a3035d1c255e985b2776ba0e96d0084","datavalue":{"value":{"entity-type":"item","numeric-id":1097264,"id":"Q1097264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e774d6527ea15f194a65fbb5fe9636f3bb5597","datavalue":{"value":{"amount":"+0.89982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$3E0A5FCB-5E1B-44F4-B8D0-8F02541E302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ddec00cff2a34b2596ffc0f8f38c60adad626","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f8e758eff0102d3d1da1e60e0c26464ff12e60","datavalue":{"value":{"amount":"+0.89907384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2197530$557570AD-5286-4DA4-86E8-D469F0201F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient decision procedure for propositional projection temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_decision_procedure_for_propositional_projection_temporal_logic"}}}}}