{"entities":{"Q4487258":{"pageid":6516857,"ns":120,"title":"Item:Q4487258","lastrevid":47479510,"modified":"2026-01-01T20:47:14Z","type":"item","id":"Q4487258","labels":{"en":{"language":"en","value":"The product of converse PDL and polymodal K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463106"}},"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":"Q4487258$66206300-89FD-436A-AF84-218983B2105B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c920f3c2b543294a6a1f0431498217befe9696a7","datavalue":{"value":{"text":"The product of converse PDL and polymodal K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487258$B67F9ED3-21F2-4091-A775-91ED0A26330B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e89dd0a284589f47d64563a4f3981a38542f2ae","datavalue":{"value":"0959.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$C8C593CB-EDB7-4207-91A8-0608D1B78692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487258$CB94C563-0835-4F1F-9DD7-0E3D337CEACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965510c2bc86d2c445b669bbe56a3047f175e67d","datavalue":{"value":{"time":"+2001-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487258$E3616AB4-6A31-4447-83CA-2834EEF1A9A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a76ee351dd0a60159863f0fa4d7a433179ff2f21","datavalue":{"value":"https://semanticscholar.org/paper/5b70db408d05b4b5574914d8c41af258335de5c5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487258$77A8C09C-FBC2-461E-9618-91DDD50F4C5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$AB55F571-6825-4D91-A218-92DD20FB06E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$9BC47F1D-6BA3-42C9-8F63-9AF8424ECEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$F383BEAE-C7EE-4F6E-B7D9-10C1EFA5FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$9A48CA7A-3580-4729-BBE9-467D91EB36E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$3A5F2E07-27BE-4337-B7FA-FF84CAF9C31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a50579f23e7a373502f4f6389618cb1990388502","datavalue":{"value":"1463106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$FC7A292D-6B2F-4967-A057-32D972991923","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$D8A8612F-86EB-4A24-B7CD-06CE6B8C0891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$18AAE850-656E-453D-A3EA-6F6FAB2AABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$96FEA337-F22B-4F05-A9B1-8DA37714F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$2E325D21-EFA7-45F0-9275-A9F14623ACA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$4DC842A7-F5B3-4B55-B095-05CE4610743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$040C308F-1006-4FC6-8FFB-BA1CA14A6BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487258$50C52FCD-AC91-46C5-9B46-377F26583F1C","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":"Q4487258$FA2D36E3-98E9-455B-B6F5-DAF175764FE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b71c8885445715bf59895c2d3aa09c640eee491e","datavalue":{"value":"W1988434703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$24078B0F-FC92-4614-BDB2-60DA76205E27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"071466392af5979f5a439fb269af7359ddd3aa80","datavalue":{"value":"10.1093/LOGCOM/10.2.223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487258$36207848-B5D8-4817-B7C7-4B144AD43662","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":"Q4487258$D1812A8B-60A9-449C-9452-76238DFA6B84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa1dd16ff7f86f972534f6826771c368637a61c","datavalue":{"value":{"amount":"+0.8272948265075684","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":"Q4487258$0E2F2775-36EA-464C-AE01-5AF6D169579A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c7c83b34366392a51b09654355b395578371e3","datavalue":{"value":{"entity-type":"item","numeric-id":2736218,"id":"Q2736218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9454dad9d19d66a88c8ad27ec15e0b4762a9a5","datavalue":{"value":{"amount":"+0.827294647693634","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":"Q4487258$8FD1EE9D-2340-4FA1-9D41-E166136C02D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2854a58deb22ba4b75fe7ae27363eb222c425a","datavalue":{"value":{"amount":"+0.8266873955726624","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":"Q4487258$189D2085-AF4A-437E-94D8-A2F2768A1836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c41a9d42c5a68d348f643666968eba0f08cb49a","datavalue":{"value":{"entity-type":"item","numeric-id":5718700,"id":"Q5718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e541c5eed99720b99e7c49cd575e9967324dca82","datavalue":{"value":{"amount":"+0.8097620010375977","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":"Q4487258$E9B53D2E-783B-4410-BAD0-96D2B3528580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a184427fa93a25c4f36745084c18abaec526131c","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f9bad00dc0e2a857136c2b86f54b692d0c5f9d","datavalue":{"value":{"amount":"+0.8033510446548462","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":"Q4487258$58905A18-9B8D-47BA-BE97-824AD097CF7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487258"}}}}}