{"entities":{"Q791517":{"pageid":793365,"ns":120,"title":"Item:Q791517","lastrevid":64369260,"modified":"2026-04-11T19:23:59Z","type":"item","id":"Q791517","labels":{"en":{"language":"en","value":"The comparison of the expressive power of first-order dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851056"}},"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":"Q791517$DF93BA25-7E6E-4AAD-86F8-785AC451FD0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336fcd729d4bc7e70ea325a5499f29e7d03b5fdb","datavalue":{"value":{"text":"The comparison of the expressive power of first-order dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791517$62D5EE7E-28EE-4A04-B003-9D7428D0C50C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32dba5911fe762ba5086d255a6b71f1f37dd9d57","datavalue":{"value":"0536.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$6F1E75D0-3FBC-4B6B-8E40-8DF376BA6B1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87dd0ea59e3f1a8774a8dabe2c1706bf7d29612e","datavalue":{"value":"10.1016/0304-3975(83)90099-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$D69C1DCB-2427-4AC6-880B-862133F92B5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$BC3C1355-B846-46B8-811C-045D44F1F094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q791517$2A09BF88-EAA5-4B42-9F5E-876EFEB24FEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fa20d0ff4a3b3a601f10ba94d4bf24b85df2340","datavalue":{"value":"The paper presents basic results concerning the expressive power of dynamic logics. The main result is the proof that the deterministic regular logic is strictly weaker than regular logic. Some new open problems are stated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791517$0A827277-5609-4924-B0C4-7C34F4E696C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$10DCE81B-186F-4666-971C-4E333CCD9548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$51595694-53C1-4A04-B5BB-920039F9CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$E833DF45-5E3E-4B23-A6FC-68759C9D663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$D83AFF38-0210-45E1-92CB-05869B731C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"928235f416de75cafcd28de44b4de9e39a04eb20","datavalue":{"value":"3851056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$28D1F82E-A065-4736-B64A-285142211DC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q791517$5B16CDFD-5A7E-41D4-9DCC-29BE6B73DA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q791517$F521EB14-A276-45E3-BE45-41A2022772B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f8a05ebf76db300ebc92999e9db8c40cf97d35","datavalue":{"value":"deterministic regular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q791517$16CEE5FC-EEF7-4A66-A314-604991759100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd90a72a2ddd1121f42abb5e05b67a2f6f8cd23","datavalue":{"value":{"entity-type":"item","numeric-id":1302300,"id":"Q1302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$DB318B89-71BD-4E44-94A4-791B2C270A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed05578318661e72bee1a7a8c30f5289ba97ccab","datavalue":{"value":{"entity-type":"item","numeric-id":234734,"id":"Q234734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$593496BE-08A3-43E2-961D-CD3DC0C04F1A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$D6720BD0-F10D-416B-813C-B3882CF4B66E","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":"Q791517$5F665DEA-FA72-4EB2-8F98-95B6F564364F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8254e7e70b5106a8ac268db48ca20c4ece5bdeb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90099-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q791517$D21E6FAD-9DD1-4AC7-AEDB-9BB6A8359253","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3fbdd8c478cd2bc5e5806678b55a129d38c4e6f","datavalue":{"value":"W1985209653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791517$6E2E39F6-6AA4-4221-A22D-870B4C9FA8A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab87c9961313d1ba7255915aa67fb9d3b278330c","datavalue":{"value":{"entity-type":"item","numeric-id":280998,"id":"Q280998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$D15F454F-20D9-4625-A00B-E0F1536D6CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$1D690FDA-95EB-41BA-B774-92589308801E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fabddb56dcceac93985cd5fa0c5a2ef0eb60d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4200049,"id":"Q4200049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$3FCBB6E8-0C20-4A38-AE0F-8218F3AFF84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$620B8735-825B-4AC8-99A4-0E2BC91E7C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791517$922E9D7D-B1C2-4081-8260-3151730F77E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11bdaf6520cdab0d327bf52dcbf7bde5a91a5db6","datavalue":{"value":{"amount":"+0.93870354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$1DA44F6D-B3EA-463C-B1CD-A73AA532CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71582a22b92d72535a54ceecd4ed1638f451cd34","datavalue":{"value":{"entity-type":"item","numeric-id":3567766,"id":"Q3567766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfa9e512998f4b2d5b404285d17b7fc0f5b0f73","datavalue":{"value":{"amount":"+0.90689373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$CACA769E-07BC-438F-9C12-15ADD1BE8ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6032a0ddb5729e23e1c847307f320801e4ed269","datavalue":{"value":{"entity-type":"item","numeric-id":2767110,"id":"Q2767110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a211a2ad6e575440eda086834d1fb17dfbd19bdd","datavalue":{"value":{"amount":"+0.8999195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$33F147F3-D55C-4875-A1D2-58C11045FD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e02b3d6e6d674e45e58962bcd1951f499854b6","datavalue":{"value":{"entity-type":"item","numeric-id":3345772,"id":"Q3345772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5736e2f6e994b81b806a63ae695b41b5b86ad2cd","datavalue":{"value":{"amount":"+0.89886194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$5B47DC3E-7BCE-4138-9818-40697D7E87DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea655080c35a31d839d17c9bcb28d0fd4e95d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3203003,"id":"Q3203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954b6ce66a71de1f82098c5a10418276d25a9bf1","datavalue":{"value":{"amount":"+0.8936533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$62B0E3F4-5BFB-455C-B6DE-78460B4DED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619b1fd16d5535d80bc0ec570201cf40fcc38c64","datavalue":{"value":{"entity-type":"item","numeric-id":4415071,"id":"Q4415071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e584d1c070b7021b70198388c6fc6eebad855f","datavalue":{"value":{"amount":"+0.89028555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$1FEFF295-5302-4753-AD39-90B5C977183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ddbe805ffc8a376016efeae68ecabab86a4488","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc23c0e46aba1ca666be5c92b818b99da23d1fbd","datavalue":{"value":{"amount":"+0.8880705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$6FA8D99F-B37B-4917-AB19-B71BF9585C79","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":"991659a6682327bf6c2a03e3083d0203e3bba4b7","datavalue":{"value":{"amount":"+0.8865662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$B913249F-1E51-4B24-A98B-D2A2EF2B10B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2af2aa70fb19b1634dd1476063df80a0472b9bf","datavalue":{"value":{"entity-type":"item","numeric-id":1375331,"id":"Q1375331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e853e5b34169312bfa04643499cf418aae9b2ad","datavalue":{"value":{"amount":"+0.88178205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q791517$2582F27F-95DE-4E27-BC59-880582EFECBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The comparison of the expressive power of first-order dynamic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_comparison_of_the_expressive_power_of_first-order_dynamic_logics"}}}}}