{"entities":{"Q5191118":{"pageid":7220690,"ns":120,"title":"Item:Q5191118","lastrevid":50728748,"modified":"2026-01-14T23:14:08Z","type":"item","id":"Q5191118","labels":{"en":{"language":"en","value":"An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587955"}},"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":"Q5191118$A421C1BC-0340-4655-BFE0-67E564528996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3db2f7cbfff51b53161ed13e64c481376c701c8","datavalue":{"value":{"text":"An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191118$2B0DDB84-BC12-4E59-A884-6333B7127A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68f95b91ef9db0628611f20c343a0c0ee052a86b","datavalue":{"value":"1250.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$BDCED9DC-08C5-4FF1-B8BD-D41350C7891F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"257917ba3c2428ea2b57eec98ed9c92e76102451","datavalue":{"value":"10.1007/978-3-642-02959-2_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$F58D6978-56D2-46D7-98E9-8B2E8FCD7909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$51938273-52DD-4543-BB22-1EA4EC39A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e1ab7ab2f148c27f932480a95ee9e0752f7f39","datavalue":{"value":{"entity-type":"item","numeric-id":2254248,"id":"Q2254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$730CCC6D-5BC9-4A48-801A-B0874F9A5D2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$60D2C3B0-F3B8-4E1C-A988-25BCD18B5105","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191118$EF9DCD30-831D-43F4-9363-70F115382F5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"968bc768a2064b2dea280079b5b0cc7554ef58d2","datavalue":{"value":"http://hdl.handle.net/1885/54800","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191118$5C81CF3E-C25D-4DD1-9921-57C6F5B73377","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$EEB6E0EB-DDD0-4991-8764-2788B362DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$E3B77F65-1644-44A7-B07D-D05B09082845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$3AAEB7A0-6D7C-4C46-BC6D-401ABF54B2BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433e9abb58616e6814a88ba474238c13fe1375fa","datavalue":{"value":"5587955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$B59FBB8A-08F3-4982-9BAD-CE92E8928C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5191118$E1DAE474-A914-4166-A034-7D3FD40BE6F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$6123A514-78EE-4AFD-AB3C-684931688D6C","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":"Q5191118$2C510C7E-8E91-4FC0-9D62-680E051AEBDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1f14e88605784e5afbddf12f3e59ca652d5c6d2","datavalue":{"value":"W2145369884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191118$960EC37D-9DDB-4027-85BE-C09364A47E20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$8CA4B6EE-CA4D-4103-99F7-8202D275A090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$172012F6-85CB-4259-80D2-179830C8D43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093cb8288f4bd70c7a0e1a5334ff31c1e7f21b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4012241,"id":"Q4012241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$B8755B76-03A5-4EE9-823D-81EBA60F3499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dbf5771994548b20fda96ec562836af82729f2","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$CD0D7F90-78F3-430E-8FF4-10E8A2114714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$9B2502D4-88FD-4D03-89B1-0888BA14BB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab7350d19158809c2398852d4e1d099edc012c2","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$8CF5DFE3-CB6C-43C1-8D33-271CAE86C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa9bd4a85c4c49445e39f562d8e5bf96db06519","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$9F5308BE-21AA-4DD7-911A-14FF2ED08B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d71c210a6bdada3134ea1f7d266d1bc5fbfa6d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$AAA65384-C9CD-4936-A179-153A710F2A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$FC94EDFB-BA97-4946-AFC7-3DCCEF79DD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e53da32486790a095eef7f63d85c2068ec9b28","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191118$615B12D8-B7C0-4545-BBE3-2A2789B07AF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9b7acc2a4e33e51eaee2adb35124482e98b56f","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8a85b4f49862f9a26d39b3b2c9faf19741191a","datavalue":{"value":{"amount":"+0.9389315247535706","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":"Q5191118$8DB85E47-227C-4DB5-84EB-BBE9E6DC9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44df01e802fb1845d5b72bf37b619ae93ed6e201","datavalue":{"value":{"entity-type":"item","numeric-id":5747763,"id":"Q5747763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04ff4e9854da05b9f10028a40522dc45d684ea3","datavalue":{"value":{"amount":"+0.851513683795929","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":"Q5191118$DB8DBBF7-3CA7-4982-93A5-3260ECE86205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb3937da41f1bf8c9cb00b7c85ca58d6bd4f960","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044cc280d9fa680b31f3669aa5635036883ab2bf","datavalue":{"value":{"amount":"+0.841977059841156","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":"Q5191118$A1BDD744-2506-4482-B8B0-41E409B3FA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abf2e12f9c441b6981f19bacf7e6b31452c70d9","datavalue":{"value":{"entity-type":"item","numeric-id":1675810,"id":"Q1675810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa8c50241f69eb07c973d404039d2b0c177460a","datavalue":{"value":{"amount":"+0.7977259159088135","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":"Q5191118$0BB59FEF-D76B-45EB-A647-E62A7A5BDA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f780ab8c793f675d6f00ff364232f4f47d8e12","datavalue":{"value":{"entity-type":"item","numeric-id":4589204,"id":"Q4589204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906c8f292b1e1ebe7bd86d9b29b3d488371a2e89","datavalue":{"value":{"amount":"+0.7829059362411499","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":"Q5191118$FC64B87C-3D91-482E-985B-5EE67379CA15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191118"}}}}}