{"entities":{"Q4291023":{"pageid":6320624,"ns":120,"title":"Item:Q4291023","lastrevid":81646409,"modified":"2026-05-06T19:00:56Z","type":"item","id":"Q4291023","labels":{"en":{"language":"en","value":"Dynamic logic with program specifications and its relational proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563252"}},"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":"Q4291023$A467DA88-2F93-4C26-BB03-338A62DE3EDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9205a4a66b1b8c8da95843df3a32d8fdde25e45","datavalue":{"value":{"text":"Dynamic logic with program specifications and its relational proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291023$344079C9-EC55-405D-AC34-00EE888F03E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7172dd69218790d705e1d17911eb9f44ab1a5ba9","datavalue":{"value":"0802.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$6C40E950-B91E-4496-BC1F-6BBE7E56BCD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00a45fad0fae33967d550036a0f3dd2a87ba0c35","datavalue":{"value":"10.1080/11663081.1993.10510805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$8BED5E4F-3FFA-4CCA-A5CB-E02ADF61A43F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$2AFA72DF-BC18-4304-BF8B-F3102AB7431F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$8A6F2815-272E-41DB-95FF-699C7155C1AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291023$1E30B523-4154-41DB-A008-E5896949E313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$6D68009A-700D-48C1-A19E-C671D2AEB7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$5154E4B7-716F-4D14-B492-2FD0C084175F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddf0be54bf4a79177b079b27bbd8aef87fda5d41","datavalue":{"value":"563252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$DBB7EF72-2A63-4D6D-8E2D-9FE5B7D35BC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$D79E27FD-7848-4012-8AFE-0CDF21522076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6636b76e8206f3b177f103df0ec5ed957b948e04","datavalue":{"value":"one-sorted relational formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$CD3B1D88-7A74-479F-875D-076A1D9EBD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82f57c8ce9a07b318813abff97997eca139fab3","datavalue":{"value":"operators for program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$D8711A4A-0F3C-45F5-B110-F88F65967CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5f0e3c912376ca5bbb0d37626518e8c0519906","datavalue":{"value":"relational deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$C302758A-9746-4956-A54E-6374D3A1F6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$50C94125-603B-4701-9B39-0BB9AB79E1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707f106ad54032fcc299b9171e95c6d3a279318a","datavalue":{"value":"algebras of relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$4D8D5702-DAE8-4911-A96C-B9C6FD580035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291023$B9603343-F559-41A3-8252-D9D7F1EAC23D","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":"Q4291023$507A5A86-07CE-4845-81C4-E24924EE1CF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef74ed4395313d4698fd24738a7a623ef9720cb9","datavalue":{"value":"https://doi.org/10.1080/11663081.1993.10510805","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291023$C325B096-A825-418A-A0C0-782EECAECC3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99eebb6deb38c6447c7ab3f023066bf99181cd39","datavalue":{"value":"W1983418638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291023$C6E344A0-FE54-4202-AB05-DC8682F99C97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06102ebbcdffeed6a2b7570dfd770a3c5aafaa88","datavalue":{"value":{"entity-type":"item","numeric-id":1154462,"id":"Q1154462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$7A4A601A-7012-4CB5-BBA4-72BF08D82B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d40fcd97b82eea310af4a1e35b65981e0ab956","datavalue":{"value":{"entity-type":"item","numeric-id":3740278,"id":"Q3740278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$0F95EAA2-6464-4BFD-ABA2-5879A1BF126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$EE8FC113-6D05-478E-ADD0-7A9B93EB5397","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":"Q4291023$048FE54F-E3F9-4E2A-93B2-1A44B8A30716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$085FB16D-072C-4F80-8D86-D1BBD0273666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b80e189dd15351252d00c12216dd11395585259","datavalue":{"value":{"entity-type":"item","numeric-id":1138391,"id":"Q1138391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$5AA255C4-2012-4646-A365-9B8A812EDFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$58BBEFF1-E5B2-4CF9-9327-5182BDA4E7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dbc9d6a1236be17e29241f6802ecb226a6602a2","datavalue":{"value":{"entity-type":"item","numeric-id":797616,"id":"Q797616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$8A0BA460-D135-4A3B-A1DD-3E8A97D2C117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$E63BC4AC-F7EC-4F25-B738-E0837C48F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db4775565adf80964d422a92037fe6d6a70156","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$D4ADF68F-402F-4049-BDA8-3E67824BCCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e457aefff7227ec2d9e92fa001f8d2d7dd1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1189893,"id":"Q1189893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$F520C386-5E62-4B17-B203-D1774142C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c652db68084b6ea3fda81b6d90f630969447e3eb","datavalue":{"value":{"entity-type":"item","numeric-id":4164784,"id":"Q4164784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$72FD9ED5-6715-43E5-B1C8-D641CB7DA3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$82B080B7-7667-46E8-B111-75402F7A193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$F6074F20-8F29-48AE-AEB6-B9B24C849C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2f6b9a20454d0ae8a40fd8c177b064f8c0c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1104780,"id":"Q1104780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$55638BD5-E212-47B2-8BBF-9211574B86B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$E2EE9F01-A6DA-479E-9B6A-A7872EB78471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed029e9dbe6c83a30547288877deac54e215cd68","datavalue":{"value":{"entity-type":"item","numeric-id":4694253,"id":"Q4694253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$8AFFF62F-C423-484C-8BBD-9D75F8B14E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7033ab925f604387aff22d6845900043f746c90","datavalue":{"value":{"entity-type":"item","numeric-id":4193433,"id":"Q4193433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$C5542701-C7D8-4718-8AEA-025279D311D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$6F6FD0A1-661D-44D8-9B64-E505FD200B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f7f7f850abac4881f53558318816f2b2d923f","datavalue":{"value":{"entity-type":"item","numeric-id":3740224,"id":"Q3740224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$BF514DED-8F04-4DBB-8B57-D7095B68FDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291023$C8519FC9-AE03-46CD-83FF-2533CE88131A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5a1a05e44d2669a3cb7e385173786ebc797ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4207888,"id":"Q4207888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb6e85c8749db737f4ffdca575bd52b1ab8a300","datavalue":{"value":{"amount":"+0.8598362803459167","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":"Q4291023$3F7DB2DA-F5C8-4820-AFF2-CE630840E8CE","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":"404c29e7814bc638bb4ba55a00fff61276d78147","datavalue":{"value":{"amount":"+0.8241222500801086","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":"Q4291023$4393175D-CFD2-4782-812C-C593530012FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63788981b7c866a3f5b42652f1cd9ec7cab3bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3204444,"id":"Q3204444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34353616163aa36259c385eb03e2097a9694aa40","datavalue":{"value":{"amount":"+0.8159587383270264","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":"Q4291023$4D9A02C8-4A49-401E-9DC9-B1CE4A8CBE03","rank":"normal"},{"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":"941d2247ead663c845bbb8ae084f1cbc7d680efb","datavalue":{"value":{"amount":"+0.8134326934814453","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":"Q4291023$45760FFF-6B61-4043-9C03-098C0104BF99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic logic with program specifications and its relational proof system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_logic_with_program_specifications_and_its_relational_proof_system"}}}}}