{"entities":{"Q2365759":{"pageid":2376502,"ns":120,"title":"Item:Q2365759","lastrevid":43964334,"modified":"2025-11-18T14:04:57Z","type":"item","id":"Q2365759","labels":{"en":{"language":"en","value":"Limitations of the program memory and the expressive power of dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 222732"}},"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":"Q2365759$17095DFE-CF07-4243-BC4E-5233FDB5163C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6171a1bc1d2befe2c276acfd8adacb4bb6fa403b","datavalue":{"value":{"text":"Limitations of the program memory and the expressive power of dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365759$2675DD09-99D5-4071-9889-4328126E2285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1dce914db70e29948b7b62adda7425a74934088","datavalue":{"value":"0780.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$5EEFFC76-C572-44EC-936F-E7A78BCE8E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5defdccaf764d408dde1bc9645ee2a23f7faf13c","datavalue":{"value":{"entity-type":"item","numeric-id":1091386,"id":"Q1091386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365759$D86923F3-7227-4294-90F8-883B217AAD69","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":"Q2365759$2B1B7756-4C5A-4FF5-A27F-4AC36453FF0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365759$D34F6741-7E7C-401C-A9C8-7BD1269270D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2365759$62F23479-64DB-473D-ABDD-76115A6391FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$E8C0ED25-6875-4864-9163-F35D083CC024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$06A609B2-DA19-41AD-BD5A-999FE5F332BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$6002AC7A-3484-44E2-8DF2-EB0D2F128B5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f376735a2a0d5807cf9a2fa9255c5930105247e","datavalue":{"value":"222732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$A01CB61C-3694-44D7-A75E-36AA97589DB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365759$111FEBCE-8A01-438A-876D-559400AE9720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06e0f714f1997c4da79be12300ed3c19850ee1c","datavalue":{"value":"free one-generated groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365759$500D5073-18EB-4E02-A4FF-D6D138607674","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":"Q2365759$E1B90340-5EE7-4ED4-B8DA-44156E88628D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e354f3238c2d195ed68e187c229567a0ed7481aa","datavalue":{"value":"https://doi.org/10.1006/inco.1993.1018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2365759$34C9EF7A-12B1-4750-9539-F01508F17B07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e6f30076822f24d6d032e097361fc665ec1da13","datavalue":{"value":"W2056367475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$0E7AC992-5BD1-4D2E-B4BC-30A16E143835","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da42b6009448d7908b3acf71e11b296ac3314fc9","datavalue":{"value":"10.1006/INCO.1993.1018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365759$A6B4EFA4-0FBE-4527-B1EB-3A66AE8F668B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493c788031d7c555c55547b4351b80b749d2d88c","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dc35d21e9a7421f51b321757ea2ffd1d1e5f6f","datavalue":{"value":{"amount":"+0.9042031","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":"Q2365759$5E1444F2-9A67-40DD-8372-D0C790CCA69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903940373308fc61ecc94d43713d2c3f3ff6442f","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a70d33d207627d36c51d6dcdfe33b754c35c59","datavalue":{"value":{"amount":"+0.8992444","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":"Q2365759$BE5C99FE-0241-4E75-B313-3939A5FC8034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0643717bc6c285d128c0b74cef755033b71d09","datavalue":{"value":{"entity-type":"item","numeric-id":3735076,"id":"Q3735076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdffdc6235a1d736090081371f1bbef2fd304b1","datavalue":{"value":{"amount":"+0.8801703","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":"Q2365759$4F08C7F0-8DCB-40F4-94D3-078404749060","rank":"normal"},{"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":"20e926051d51ace7ad577208fbb0562d261bd56b","datavalue":{"value":{"amount":"+0.8738843","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":"Q2365759$9A2720B2-71F7-415E-A165-59828EFB65DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3e4616d148f597a9eac2c2a38082dae5f57eec","datavalue":{"value":{"entity-type":"item","numeric-id":3769949,"id":"Q3769949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5132b1d85b27ef2e7fd8ad9b706992a5f04de6e3","datavalue":{"value":{"amount":"+0.87106943","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":"Q2365759$DB98AA39-5AE0-427E-80ED-49151D7564BC","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":"98402250dc635e0509a4bf9d0b861f5f07f6430d","datavalue":{"value":{"amount":"+0.8647807","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":"Q2365759$B9EC6D88-6ABD-462D-AC06-4DC98C9380E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fb6e268bca8bf82175a4d697c59a82a581404f","datavalue":{"value":{"entity-type":"item","numeric-id":5449647,"id":"Q5449647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9eab3a1a574937d478ca564a0836f4c4aa38c11","datavalue":{"value":{"amount":"+0.8607539","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":"Q2365759$D4ADE40E-D564-4596-9AF3-2753D86E4DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cff834c50c6c71786b8e1f56775f00238d038e7","datavalue":{"value":{"entity-type":"item","numeric-id":3339282,"id":"Q3339282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67148646ae2e52bdda09dc9fe4790fd8fe552657","datavalue":{"value":{"amount":"+0.86052215","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":"Q2365759$AE3EF7E7-E311-4569-B915-4E7BD06CAC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5aaf8df5e2a65b8133a3e2f39f585288d8c24d","datavalue":{"value":{"entity-type":"item","numeric-id":5067947,"id":"Q5067947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19866f7be292b7d28915e76d7719da8a107679eb","datavalue":{"value":{"amount":"+0.8603356","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":"Q2365759$2437E90B-B852-4B00-BF09-4FC82309DDE0","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":"c13747f816a7f491cad488435ea1c4737dfadf00","datavalue":{"value":{"amount":"+0.86031157","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":"Q2365759$E0DD6828-BB83-4D1D-8B82-DC45A9DE2261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365759"}}}}}