{"entities":{"Q2300069":{"pageid":2310812,"ns":120,"title":"Item:Q2300069","lastrevid":71795013,"modified":"2026-04-14T00:35:30Z","type":"item","id":"Q2300069","labels":{"en":{"language":"en","value":"An efficient decision procedure for propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7172865"}},"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":"Q2300069$E6A7C3EA-24FA-4592-8E50-5FF08DAEA789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51008690f26269923035ed245780076d7706402c","datavalue":{"value":{"text":"An efficient decision procedure for propositional projection temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300069$F4B7CC3D-AB06-4347-A7BE-5455497C9532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5b31369094b4f8858ca35ca8835171f279a33ef","datavalue":{"value":"1478.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300069$AE4925C4-7F44-46B6-A29D-577C5E5AC36C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61050900e608be647f93d13ad3c9801f01cd4226","datavalue":{"value":"10.1007/978-3-030-26176-4_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300069$E0687C62-5A97-4C53-870A-68B9BD85C235","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17ef9109bc91fdb1bfa909e0330a5de3ec8d2061","datavalue":{"value":{"entity-type":"item","numeric-id":1986562,"id":"Q1986562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300069$EB26EEF2-24FB-478D-BC46-A6BEBD187113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e0c9ae8671e5f29856e35bbe5db8cbb2ecbb5c","datavalue":{"value":{"entity-type":"item","numeric-id":247888,"id":"Q247888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300069$742EDB2B-B9AD-4042-AB74-9D22A83CC92D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff603527318cba6b7a9cd3458e2a545d41485a6d","datavalue":{"value":{"time":"+2020-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2300069$3A831AA4-F5FC-437A-AACC-B14DA6067BE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300069$4F80BA43-B60C-4404-8F34-C21DF03990CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a05d91733cd59692ca33b049b4bc5b6a80c35eb","datavalue":{"value":"7172865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300069$50BB531F-9409-4B08-A280-B9BCEB5617FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f57aa81e5af3328b6677d2b978a2e3d19d725f0b","datavalue":{"value":"projection temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300069$EF721BA5-9B3F-4154-AEAF-10C17DC06BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300069$69C2CCDB-C5FD-4859-B6D6-E1C7959935D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ccb9d657906e0e849326b1cac7378f21baef49","datavalue":{"value":"labeled unified complete normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300069$827D39B0-9C44-43DB-B564-2ECF8889B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aada6820ea8ec565f398c12b8f78ecfab943c489","datavalue":{"value":"labeled normal form graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300069$21FD454A-E9E7-4145-B9FD-2A0FAB084DC0","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":"Q2300069$F04CF2E1-1B10-466F-858E-0ED27F098068","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f9b9a18adf5b76b1a01433fc4d44585b49ea4b6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-26176-4_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300069$F0C7C1E2-A1AC-4950-8C03-EA94FC98EE2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a24c73ca277cb14983004f377008cfc3f82d6f87","datavalue":{"value":"W2963247626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300069$502E0341-1AB5-4063-A89E-F8CF856E653D","rank":"normal"}],"P1643":[{"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":"bc397b05c755b43701dd864830724f5068afb1b6","datavalue":{"value":{"amount":"+0.989707052707672","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":"Q2300069$476DF584-7A5D-4C5E-8854-DCC0F794B1E5","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":"7f316431c2444090960cd20ff1309d31b67f8467","datavalue":{"value":{"amount":"+0.923635482788086","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":"Q2300069$45D93965-80F5-4E9A-BDCC-7BD62B82424A","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":"c3c8c640506e257f3ebb08107a3e8d540c69e821","datavalue":{"value":{"amount":"+0.881538450717926","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":"Q2300069$5A3FD2F1-EE42-42F1-AA2C-B95B2EA439A7","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":"18eae73290323a947e3687e2742a413152dd2e9b","datavalue":{"value":{"amount":"+0.8665977120399475","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":"Q2300069$5B18E654-26C5-4043-8B91-779B01CF6031","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":"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":"Q2300069$2EEE3F1D-2EFA-4E5D-A2F6-02FF85C56D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient decision procedure for propositional projection temporal logic","badges":[]}}}}}