{"entities":{"Q4982121":{"pageid":7011699,"ns":120,"title":"Item:Q4982121","lastrevid":52231586,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982121","labels":{"en":{"language":"en","value":"An on-the-fly tableau-based decision procedure for PDL-satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418741"}},"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":"Q4982121$C1E061EF-E08A-4FF1-8D58-8962677C5B92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc9d8045b3ca4a338c4df45531301baf696ceae3","datavalue":{"value":{"text":"An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982121$A8EADAFD-4B74-4AF9-A2C6-A8EA00B4ECCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39fa2c2ccc98dcd3a0cf53fc8e780be736926a48","datavalue":{"value":"1347.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$14C9A7B3-6DC3-4FA3-837A-685E8CB6D2D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e2e2c588de7b328658aeae7b185fdf6ab2e3a3","datavalue":{"value":{"entity-type":"item","numeric-id":3498454,"id":"Q3498454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$6E879026-AFDA-4DFC-ADB9-8A7282464771","rank":"normal"},{"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":"Q4982121$4F14FFEC-0BB4-4F7C-89F7-5652698638F9","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":"Q4982121$7DA1B395-D30C-491C-A534-6485FE930EF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$FB86F64E-A71E-434B-89C2-2B734996360F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982121$A462C287-5F9A-427A-8F9C-57A6070D398B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$0BA4C1CE-A125-4CC2-A98A-893DFFA3AEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$2C3A689D-E768-4D55-B60B-EB549E18B86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$FB8C969E-4E28-4130-9E2E-7DD025471BB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38d5ca1d417364cd6e8fbdf1d3c2044962549851","datavalue":{"value":"6418741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$FF5FD169-E75E-41B3-87FD-F4FB750805DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982121$F4BA805F-E780-42C8-925F-9C8AEB620159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982121$32E54CE0-BE34-43BF-BC34-42DB17E40FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982121$107F9B1F-04BE-4A3B-9C77-FE021FB35B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982121$03AFAA3C-4686-461D-825D-F71C9837E89C","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":"Q4982121$A1FD7282-FDF6-4B0B-A5BB-55CBDB8005D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d370cd8b203e1a58049460396e13842a5bbd4721","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982121$C96DAA95-FB06-45D6-AF8E-2BD8BD505EA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"447ea982fa6d058ce00d76abc5104419d591be3b","datavalue":{"value":"W2130988355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$5D2CF6DF-3D8C-451F-BEC8-1CCA296DEA13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$0138AF96-7DA8-4B46-8491-6FB150A61988","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":"Q4982121$611E1E02-A84A-435B-8B24-8372D5DA6614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$E18DB581-E042-49FF-B6E2-210C887E3244","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":"Q4982121$DF4ABC3D-1D95-43B4-865E-CE0EF5C78F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$0342AF9E-8ACC-451F-8404-337A7F0054E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4261c45eb0bdc31b98abbe6dbdb3be8211dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$2A06B537-B54F-4602-AEDF-B846F9CC9C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$C9BE0F04-444D-488C-9CD4-6EBF02AB2748","rank":"normal"},{"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":"Q4982121$324E8C21-1019-40EE-977F-35070D091BE3","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":"Q4982121$242E7737-646E-4F5A-BED9-6E1528D015D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc207fadc6ba9564432e7709593a9b3cf923d465","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$DC6B2AF1-9FE4-4E4B-9869-79E2F97611F6","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":"Q4982121$B575092F-410F-41AF-A37A-F054C170618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$81EC9478-C7CE-4C7F-BA51-93D98D786801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982121$35C29CCE-BB09-4B1C-8B69-9F7394271E64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a65abce2d9f0e968808be2ba663cfcfc4bb4b87","datavalue":{"value":"10.1016/J.ENTCS.2009.02.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982121$D6E96F3D-3F22-4232-8E2B-77D2E77FCA54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badd3ca2fd1676c9c397fba42326eda923535b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"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":"Q4982121$BA8C9EAB-6E4F-4A48-ADD6-3D6252D6B7E5","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":"8a39d946b7423adfcb3df765a405f85259adf4b7","datavalue":{"value":{"amount":"+0.8351328372955322","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":"Q4982121$D0FF7181-9F47-4ECF-924F-65695A379AFF","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":"b756fe289f89e7aa0bd42e6568cc614014e4b63f","datavalue":{"value":{"amount":"+0.818929135799408","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":"Q4982121$32D6CD60-BCF0-40D5-8F6F-ACF9AB4C9483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be85f53949c192bde88ae6702b82e2214a7b797","datavalue":{"value":{"entity-type":"item","numeric-id":2825411,"id":"Q2825411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e13c54f8feb961b2cccb22be249e4bdcb6bbe0","datavalue":{"value":{"amount":"+0.7913869023323059","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":"Q4982121$D8FAA5D2-E489-43D9-A461-818E6111814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533c09b0f8d3187b1ccb1e312505637ab7622e37","datavalue":{"value":{"amount":"+0.7898958921432495","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":"Q4982121$09D88BAD-5104-4B5B-BE7B-96B6CEA6667E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982121"}}}}}