{"entities":{"Q3374102":{"pageid":3384806,"ns":120,"title":"Item:Q3374102","lastrevid":49796089,"modified":"2026-01-10T19:54:42Z","type":"item","id":"Q3374102","labels":{"en":{"language":"en","value":"A Reduction from DLP to PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5010481"}},"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":"Q3374102$8E97C979-1824-4538-81C5-90B9689019A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea4672651e8421c9fb3a2a0894b4a4b6f9e5887","datavalue":{"value":{"text":"A Reduction from DLP to PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3374102$829AD777-8AAE-4B9E-BFB3-01214D0DC828","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d91a1719f3c3b080b451a25947ce1f3c57c47764","datavalue":{"value":"1092.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$F960436F-4F50-4ACD-8CB6-915AE32AE493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374102$9CDA71EA-E969-4B49-937B-C47FA38E5D52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e48254e7cca8b756082b12a9577d73a3c911d8a0","datavalue":{"value":{"time":"+2006-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3374102$C6EDBE24-7999-4D77-BE7C-0C4FD6BF9309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e96e2d9b680039391f23c955a1c653af904354","datavalue":{"value":"https://semanticscholar.org/paper/c58247fc327d4a31147c0a0e33bbd5e7e507ba91","type":"string"},"datatype":"url"},"type":"statement","id":"Q3374102$89D88C4D-FA0A-41E4-A2B1-11AEB974AC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$CB16273C-A3F9-4A5C-87BD-AEC41C51741C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$88810A05-7F2A-42A5-958F-FD0949AF36EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$ABDE1582-E250-472E-B9DE-313015D0DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$BAE586F6-8DE2-4730-94AC-CCBF6C61AF48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f5e2d6a70360d8a1321f734bc0e69da64b31e2","datavalue":{"value":"5010481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$84870DD5-C027-4B0A-98E8-3486DB1D746F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$9355565C-EB6E-49D6-8288-7E14FA6EF741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd2d92220a669fbdde7878432377ea29ecafd29","datavalue":{"value":"dynamic logic of permissions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$AB91DF75-2DB6-4C15-B45B-EBC4088A3783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$1C7B9ED7-CA01-4FF7-B9DC-01E499220BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb084cd981b9e35f351085e8a4bcfaa6db03e00b","datavalue":{"value":"deletion of states/transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$A9F3311A-7518-4120-BE10-2D69CB071BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$4570EC59-677C-40F5-A7F5-160E75AA8AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$4AB74D79-1691-4792-ACED-568E435A1B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b1809570d0bcc6b23b9c8058d236f71c1b51da","datavalue":{"value":"sabotage modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3374102$80D0E069-CD6D-4D47-8913-85662B26F50F","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":"Q3374102$66633B20-A287-4566-A5CD-ABF330308883","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08d9efd4b4d5b1daf1253ac6f84f274e8749528","datavalue":{"value":"W2149381381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$77AB8E2C-3743-4D31-BEAE-7944EA54685F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f8f1122957e4acefd13ffc942cdee3262c9c6b9","datavalue":{"value":"10.1093/LOGCOM/EXI043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3374102$37A66859-396F-4E60-BA3D-CE9863314EBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3374102$B8DCCD61-1EEF-4585-83E5-D67E3F02814F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1763059811a737d618518121e2af5469bb90b817","datavalue":{"value":{"entity-type":"item","numeric-id":3608424,"id":"Q3608424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e06576b38402cd939c2fd10c9dbb1be65a34a1d","datavalue":{"value":{"amount":"+0.8467448353767395","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":"Q3374102$0158E0D8-A17C-448E-82A5-56AE6A6180E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ccc1954d4cac9aee071d109a8de0625b49a0a6c","datavalue":{"value":{"amount":"+0.78170245885849","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":"Q3374102$58A76924-FDA0-4424-9842-04F9B17CC65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf11d814a57d0e33247911c9820ab2cc3dee2f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271051,"id":"Q5271051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fa3e8ef061aa51764315d016ac8c8251686dd1","datavalue":{"value":{"amount":"+0.7731804251670837","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":"Q3374102$12F0DF85-E474-4C3F-B129-FDCCD31E17EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857ef8f553bc3e25748e146ad8215d2adbcb6bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1092892,"id":"Q1092892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe34ce8e45a42589c69ee3725e5a54b053f3654","datavalue":{"value":{"amount":"+0.773143470287323","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":"Q3374102$62BFA7E8-69BD-4F32-B4ED-16BF1BB86934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7959c14699da8f81cf52b7d7338af24a305987","datavalue":{"value":{"entity-type":"item","numeric-id":3647227,"id":"Q3647227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a6944ad4d3930996e422e1949ecebe31769938","datavalue":{"value":{"amount":"+0.746181070804596","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":"Q3374102$B45FB9BE-D545-41FD-A174-BFE24E4140D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3374102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3374102"}}}}}