{"entities":{"Q3067541":{"pageid":3078257,"ns":120,"title":"Item:Q3067541","lastrevid":86130194,"modified":"2026-06-03T15:05:50Z","type":"item","id":"Q3067541","labels":{"en":{"language":"en","value":"Specifying imperative ML-like programs using dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839902"}},"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":"Q3067541$FF9AB043-5346-4BBC-AC53-C24AFB7E81BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f876b9bb105995cb691c16f400524e9722cc51c","datavalue":{"value":{"text":"Specifying Imperative ML-Like Programs Using Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067541$1505C09C-F231-452E-8DAB-3BE542A270BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd5533a742cab19845cef0e02dee23d6f5696bb0","datavalue":{"value":"1308.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$5F0CFE36-4970-4B3D-ACC0-F7EBDFC4DE86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62e6996b1af53f2976cf330fba449b79dd974ed1","datavalue":{"value":"10.1007/978-3-642-18070-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$05DD038D-05BC-4F56-8950-6865052975F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbd2052634ac31d46fa7330c88b415a98ce36c7","datavalue":{"value":{"entity-type":"item","numeric-id":3067540,"id":"Q3067540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$B48C4626-6FDC-442B-B48B-E419BC8A2464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0eb8358d12293577adc3d69d0c5720bdeb6f4c5","datavalue":{"value":{"entity-type":"item","numeric-id":2498897,"id":"Q2498897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$C7BD154B-6B51-4E7D-BCEA-01C014B29E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$EE08C35B-1CA8-4C0F-B319-487170F39870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$29A43D73-8F9B-4949-9168-DF63E6A4D567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$CD32C3E9-E5C7-4777-A616-72D27F4C6CA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc79f3ca1ff011706d97e4cc9dcb7a33f54133f7","datavalue":{"value":{"entity-type":"item","numeric-id":3067528,"id":"Q3067528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$846D5C2F-8782-45A9-A225-5F95B804B04A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067541$7F562B00-E66A-4E17-9A15-84277F77DAB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$1770C4E1-3A70-4B85-BD0D-03A5694AF80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$EFD0B4A0-473D-4BFE-89F0-F5DF0E9262A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$23B927A2-5664-4D94-890A-A7ED78D2D0B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"817a344eb6a4c477e016ef749ad1d06b7b2b7688","datavalue":{"value":"5839902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$4EA85893-92DF-4324-A45F-3073881C304E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$91E7CE66-B598-4134-9FB9-9E277A34403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$DDF9DB94-39C6-4097-8DCB-BE77AD7CAA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$F0D943CC-ACFD-48BD-A435-EFD986DD1605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$F8BEBDC8-7BD4-4585-BF10-60512519E55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705a0c0d09de33f73edbfd6e8882cde2e052192f","datavalue":{"value":"KeY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$C4FC78E1-8D7F-4C03-908C-E206E758137E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"290e9a49a52d1427d9ba81f656b500df78215101","datavalue":{"value":"AF2","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067541$1B3505F6-D780-48F5-B680-F884FEFDCF72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$0F544EC1-A1BC-4786-B91B-133F4D1E3A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"175af78a4c32193bca339f5f659ad9828ac75797","datavalue":{"value":{"entity-type":"item","numeric-id":21950,"id":"Q21950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$501D2E63-B1FE-4E97-8D3E-A94621527F23","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":"Q3067541$673E5853-2AF8-46A5-9735-683CDC9A23DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4661590dc0f898dcc5404d5b450701a33d6b4fda","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18070-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067541$69655878-D589-4C07-B663-F8A1FF13CE11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cea6a0da4dba7e66cb5faa00c7a63dee963beca","datavalue":{"value":"W2173116115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067541$F7F795C6-B4D6-4D6A-8F31-C451B47BBA81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcffafde4da91890e50870f4f932f23275502c73","datavalue":{"value":{"entity-type":"item","numeric-id":5712321,"id":"Q5712321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$06765047-6E8E-4A1B-9974-F8057BF55BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$10C8FBA2-573F-43A3-86C6-B4CE4DAC062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$72FF35B9-063E-4540-A6B9-248CAB4421F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$7CFFA004-97D8-40A2-B368-10935887E47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$7FA30AE2-BBE3-4C5D-B7FA-70F1F46A75C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0b19ed430efa00b5cabf1a1ac8207f3b19f572","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$2BD2D361-8012-4C98-87C4-BCFF5D3DD1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6bedea1cffabec2896430aabcdd08d9b551a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387908,"id":"Q5387908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067541$89A54BA7-862C-4872-8980-3EE771B992CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2baf620e781f9b0be6d9d116970c2cbda52713","datavalue":{"value":{"amount":"+0.7738113403320312","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":"Q3067541$469C0045-3BD5-4834-9E1E-8AEC2F1D0C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7decc8acb7f06e377286a731a0f607407721980f","datavalue":{"value":{"amount":"+0.7660326361656189","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":"Q3067541$9CAD982E-8627-4C74-A3D0-5F934C436EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62374f852230d01c88d00426e3c35d5cd2d60c1","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50dcb9f191cdd8564234164f3771df454bc3f16b","datavalue":{"value":{"amount":"+0.7532964944839478","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":"Q3067541$8A65DA96-1FC4-4BBC-B530-0E2E2D40EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50dcb9f191cdd8564234164f3771df454bc3f16b","datavalue":{"value":{"amount":"+0.7532964944839478","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":"Q3067541$A9933459-BA70-4944-9A2D-838B2931C20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a8ddad44f130e239145cecc78679d30c11836a","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eddccb4497b7da5db34cb52d7b38558bd7af135","datavalue":{"value":{"amount":"+0.7476977705955505","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":"Q3067541$082CC2BC-A377-405E-8C64-CB23F47162D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying imperative ML-like programs using dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specifying_imperative_ML-like_programs_using_dynamic_logic"}}}}}