{"entities":{"Q3617722":{"pageid":5647628,"ns":120,"title":"Item:Q3617722","lastrevid":50618840,"modified":"2026-01-14T14:24:07Z","type":"item","id":"Q3617722","labels":{"en":{"language":"en","value":"On the Completeness of Dynamic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535587"}},"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":"Q3617722$E5201208-B046-4642-ACCA-78B1C9A13662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e1e753276e9fa4b8c5f275202056f6a6129bf91","datavalue":{"value":{"text":"On the Completeness of Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617722$09B393EB-ABA1-4428-92DE-BA7087920C5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c20433dae6bf2321219b4eb4e2c97ed4f0a1bf8","datavalue":{"value":"1234.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$C8E923B3-4527-4EF7-A4D2-6A7381B36592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"953a86b0217a13050609393b570b12b93b80bc38","datavalue":{"value":"10.1007/978-3-642-00596-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$DA2D6617-C87B-4AB9-9B35-97586AA32933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$7190191A-9BD3-4D3B-9E44-DB633DD93009","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$E7B8FCD9-DCED-4E80-AF4A-1576ECE399B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617722$3337666B-E5D0-4FEE-9704-074B96520222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$F860E335-EF91-484C-9B83-7D82EAA3DC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$B68036A1-F449-442F-9C19-87146E29A745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e94fff3d720dbdea69ba142a241736a1f87ce80b","datavalue":{"value":"5535587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$39E51F50-5582-49D9-97F7-8984FD3CCBE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617722$64FDBBA7-81E8-4D32-B5FF-3DA775762007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd0b3510521c5e6560fe69da7c6ed54d7ee3350","datavalue":{"value":"inductive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617722$B2A81924-C07F-4A2B-A3B7-1098D73F685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617722$3E10C47F-DDA5-4338-A11E-7513CFC35AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617722$BAB36E02-ED28-4B86-9C2B-276E88615610","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":"Q3617722$EE0F57DF-E072-44E0-9012-454F891E3D92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ebe58b927025fa64b7adea8d1d308d77ed6a967","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617722$5EF5CD05-4738-4B60-BDAB-E941DE60649A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6df2ef1b5bf7ad42af033a20434a46e6e6fe42d","datavalue":{"value":"W1519930863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617722$47E983AE-0256-480F-962D-A909C636E943","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1270f4d60a05bd67d01053664f9cb16ad0f1e99f","datavalue":{"value":{"entity-type":"item","numeric-id":1159460,"id":"Q1159460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$76D28084-5955-4FB0-A21E-8415268A9050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cdc7283fe176cc7266c2ab2cb14158c061aab4a","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$9AE11737-A655-4501-BC51-3C11EB1B6884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96e0513c85da7c96ca3b09df4d8e825e73cf13d","datavalue":{"value":{"entity-type":"item","numeric-id":4790404,"id":"Q4790404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$FA680EF1-CB6B-4C85-B09E-812826BF92EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$0C427DF0-2FC1-4DBB-A384-8A1FD4362C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$1BE050F2-DF17-495A-A337-7DB8BACE736E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$1F848C9B-6DFE-4039-B58E-5F4A07F64CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$6EDACE02-FC22-4750-93DE-10271603F0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$F0D67D2F-F5CF-4251-AD4A-97D9AB9021F2","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":"Q3617722$CC8AC7BC-CDFC-424A-9D04-5571ABCA4A79","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":"Q3617722$724643CD-A010-4DB0-882E-07423CE64C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$AD542226-E1F2-4E85-96FB-491EED13EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6daf90dbf6ace345f2f9bfc1a08301e3228c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5308458,"id":"Q5308458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$B3C76B05-82EC-464A-A5FE-E11BE3D19921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b373a7be794a4b7414a7e5e32531b66028df44bb","datavalue":{"value":{"entity-type":"item","numeric-id":2804944,"id":"Q2804944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$9279FBAD-7821-4D28-A273-4673D4E5179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$8D9A36F3-C504-4B48-A8B8-DED445B7372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bde352de7529b3727f2dfe868ebf2842f0d7ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5626601,"id":"Q5626601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$79DAC4A2-EC30-4A58-87FE-056A1BDA60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97cb90e7403baad17edd244465d8cb79b4bdde9","datavalue":{"value":{"entity-type":"item","numeric-id":1155351,"id":"Q1155351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$D7A52EAB-870E-4799-B9D6-500CD8822F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e388df98ffb3c87da06916b2ebf7f79e5efbed6","datavalue":{"value":{"entity-type":"item","numeric-id":910396,"id":"Q910396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$FD2A6BC0-0E8E-413A-879F-6AE965EB54C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56df80133083786ee509144938e792e3b1881443","datavalue":{"value":{"entity-type":"item","numeric-id":2277248,"id":"Q2277248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617722$453A655E-D34C-448E-AFE6-4C29E9D137E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc47c372e144e204a77d448c94d638976f450ff","datavalue":{"value":{"amount":"+0.8379455804824829","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":"Q3617722$F089BDE0-B37E-4F13-B411-E8A99FC52A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d02a2270de11bc7dbfd93c53c276c88160b7ce","datavalue":{"value":{"amount":"+0.8376801013946533","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":"Q3617722$7E48D6ED-7C24-4902-950E-0B89C2A9E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce24cae45f9916695abe9d4c3328bd592a88431e","datavalue":{"value":{"entity-type":"item","numeric-id":2804944,"id":"Q2804944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa65361bec5c41395d6c5d8898bed25a776a9ce6","datavalue":{"value":{"amount":"+0.8139631152153015","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":"Q3617722$E7D1D633-5BAE-45A3-B34B-03BD17D235B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0207c23d9ba2557b256351dcaeb4415d14b88f78","datavalue":{"value":{"entity-type":"item","numeric-id":3735692,"id":"Q3735692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6f8548f366481956d0516cc69fb031e1e8a4ef","datavalue":{"value":{"amount":"+0.793476402759552","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":"Q3617722$9BC582A9-1B61-47B3-984A-1CFF684E6AA3","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":"1753179306edf32723e14636d4bd52c0b500cc52","datavalue":{"value":{"amount":"+0.7917478084564209","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":"Q3617722$075130D5-3626-4C18-B148-D3E3FF89C37D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617722"}}}}}