{"entities":{"Q5216338":{"pageid":7245908,"ns":120,"title":"Item:Q5216338","lastrevid":94478036,"modified":"2026-06-05T06:55:16Z","type":"item","id":"Q5216338","labels":{"en":{"language":"en","value":"The influence of the test operator on the expressive power of PDL-like logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168182"}},"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":"Q5216338$5501A70C-B6B9-4AEB-9DD6-A8FEF21161D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31fcc8ea5b72a0cbe5e48cde9de6b4ed1eebf7d1","datavalue":{"value":{"text":"The Influence of the Test Operator on the Expressive Power of PDL-like Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5216338$0587819E-DF84-4E24-8848-8B62DA454701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d4dece39945864f01996281cb3b0c5d30156315","datavalue":{"value":"1446.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$3141F3C8-F8D2-437D-AD81-4677A77FA064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216338$BCE289C4-048A-4B20-8EF4-E74F2E767190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216338$9A45CFCE-D3EE-4BF6-A28B-5851A868941C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$FA9687D6-9070-43EB-A9B9-898E40D65B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$8FF92F54-C3C9-4846-90C1-9BB31C385E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9c151f6093e2413bdd608fb9d35449598b028b","datavalue":{"value":"7168182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$760EF483-BF9E-4002-91E4-11B0D9D62592","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216338$8D3ADCD1-8820-4352-9F20-3B99BB2C48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216338$3C6189B7-14CC-4901-9854-56724BA5F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216338$0369EA22-59CB-41B0-82C8-9F89D6047218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216338$CA63790D-2A1B-405A-B3E1-042E252305B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21683c0a66bba3dd79ab8362a78a862f4bf79a9","datavalue":{"value":"test operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5216338$ECE4F0A3-5F05-4050-AE22-F8EF1EC8CCC6","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":"Q5216338$4DAFD4C6-37E5-427B-827C-001EE1A78211","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"836413a41b97951e00242d170903257dd846e551","datavalue":{"value":"https://doi.org/10.1093/logcom/exz020","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216338$A0A502D4-25C9-4C4A-A1A4-3AD5739325EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8626c6cbaee61acbb5b953cb45969eb7161d7534","datavalue":{"value":"W3002500667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$57985B09-0C5F-4B91-9DF6-5D4F56D87322","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32aeb54d86219ad3c8796c04557d3807a52155e4","datavalue":{"value":"Q127491603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$036F238D-FB78-43A7-A6F1-07F24DBFDCFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19da9c619425c62f2abe2368864ab7168f6a13a3","datavalue":{"value":"10.1093/LOGCOM/EXZ020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216338$A50E74CD-3916-437F-8DA3-09060733A48A","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":"Q5216338$2543A868-FBD1-423B-B972-5458A9E39F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fd430ef4c027ec617df7d79e7a88a5abbce362","datavalue":{"value":{"entity-type":"item","numeric-id":4964729,"id":"Q4964729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8e917290bc4e00566a6b256a36475d77179d33","datavalue":{"value":{"amount":"+0.734550416469574","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":"Q5216338$311A55AF-7508-4355-BE21-63E2497D2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c16f28dc3fbff40601c642aeeaf42e7e815893d","datavalue":{"value":{"entity-type":"item","numeric-id":1923830,"id":"Q1923830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d882f433c5a4ff6c61f0a1636b4ee00c3ca8c6ab","datavalue":{"value":{"amount":"+0.7166987657546997","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":"Q5216338$92A6756D-0B02-4E96-A5EB-3C344F029D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3453b38f771974d6c2f669a8a515fa2b53e5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3328520,"id":"Q3328520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64887d6609ed1a8ead185c581b9406add52f5e7b","datavalue":{"value":{"amount":"+0.6943926811218262","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":"Q5216338$9C71A3D9-ABBA-4502-BEF3-758D4818891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df73827667c5eeb7f469d7f9d65e5cc58ace126e","datavalue":{"value":{"entity-type":"item","numeric-id":3689163,"id":"Q3689163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ead90b168a40777fb0dd3fec185748ef62a7f8d","datavalue":{"value":{"amount":"+0.694269061088562","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":"Q5216338$A6AD3E58-1CA3-424C-877F-CA63B4229385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0059bcadef95a312d8e55a6a7be031c21a8095a8","datavalue":{"value":{"entity-type":"item","numeric-id":4636286,"id":"Q4636286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f02fe700d1a7f726908e723af159680a2fae04","datavalue":{"value":{"amount":"+0.6922342777252197","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":"Q5216338$7A4C43C6-A30A-4239-B431-09A32DF305DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The influence of the test operator on the expressive power of PDL-like logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_influence_of_the_test_operator_on_the_expressive_power_of_PDL-like_logics"}}}}}