{"entities":{"Q1707599":{"pageid":1718340,"ns":120,"title":"Item:Q1707599","lastrevid":57489492,"modified":"2026-03-31T03:42:02Z","type":"item","id":"Q1707599","labels":{"en":{"language":"en","value":"A complete uniform substitution calculus for differential dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855341"}},"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":"Q1707599$AC569640-14FD-4EF7-8CBA-335008C18EDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03958c7421d1bee8ace32f7068b4b619c1f002a4","datavalue":{"value":{"text":"A complete uniform substitution calculus for differential dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707599$53B2F525-CE61-420A-B452-6DFEE85939F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61d574060675f0bdb5383606935c09cbb745a1ae","datavalue":{"value":"1437.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$67FA0FE8-5D5C-4ACD-AC38-7183FBD2FD47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$EF5E3E81-BA6D-4554-A03F-4803F12B9B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$22BCCF9D-8EB1-4147-BCE1-7B3F6C0FFEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"044c3d30173927c1cd7cd50cc0a2fbfba9e11681","datavalue":{"value":{"time":"+2018-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707599$CA9414D7-273B-4196-822A-102CF208FECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ff0ed062b057ed9a116fce6f5165e0f8ede371","datavalue":{"value":"https://arxiv.org/abs/1601.06183","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707599$8A21B8E7-74E0-4BF5-BB70-061B32F7D351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$2745D1A7-1DD9-465B-8E8D-A1D876562FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$A99D9376-9575-44D0-9B2E-5A922E9EBAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$CEF1B7BB-D4BF-43A3-8F5E-F2854C97AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$8B3F5A4B-6879-4E2D-B5B3-A7B79A51321D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$0A5D287D-7762-44C5-BAC7-98BAB5B8AC3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44355c7c5f8c9ec230f3c3c905b240b6afc1223f","datavalue":{"value":"6855341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$B9BED56D-FE1F-4A2D-B4F6-E1C9404CE769","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$29377F9A-DA42-41D0-9204-0EB5D33E58A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e8aac97481b2fd76e010c37bfa023b957d1b69f","datavalue":{"value":"uniform substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$CCB4E4AB-522D-4C6C-A51C-45A314D6E7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b1e23fdd462c5b13a4f6adc3682604d0ec6bd6","datavalue":{"value":"axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$6B3F6784-CCEA-4CB7-9F2F-63533D518761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42bfcd92faeab833ca0ac1e0e2fe7e2a9996f588","datavalue":{"value":"differentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$390588D1-7AD6-4669-B08B-0C52378D3E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f45b20c83bfaa3c3db70f2c7d1549a37a040d6c","datavalue":{"value":"static semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$FEE1D510-BD5E-4D06-A792-FE1E84770062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707599$E31E38A0-5912-4C62-A948-19EAA7B396BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$49EA15F7-C0CD-4319-BE16-2F3C731685B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03bc0969d66f63218041357e0da6af3aa771d8bd","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$CCB36DA6-B8E6-406E-89F2-BF3FD9F45B57","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":"Q1707599$ADF6D0CA-9365-4F62-BB6D-A2E47CD8FC5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce9088d39c57aa391c5d89bf4dbfd0612374a590","datavalue":{"value":"W3101115050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$B8B1C9C9-FD68-4450-91D8-F3B12CAA92D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d7a1c8850b8756f39345ca13eec69e7ce7ba1ac2","datavalue":{"value":"Q59611679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$B8177170-ABAE-4774-A81C-DAC0B5051FF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$955C8CCD-5B0B-468E-9717-E9F49CFA36C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a670a194b3df2c0f5b41838157e526f52de18fe","datavalue":{"value":{"entity-type":"item","numeric-id":897648,"id":"Q897648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$F7A0F5B6-0139-4327-9444-13DBAC3A5445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$F77D7DF4-E14F-45D9-BE03-167C6E745BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$3B1CA21B-50C8-42FD-9704-9819D89FB22C","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":"Q1707599$8BA024F8-B0CF-4C27-96E7-B0D6B45F71AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a15bfe95a60b53b4fa4d80a8444dfc5ccbed95","datavalue":{"value":{"entity-type":"item","numeric-id":5822062,"id":"Q5822062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$2F979D52-7483-452E-8AEE-EECF5D82D41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$969330C4-84C9-47F8-8503-17D82D824C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$7CC8C643-D399-41D8-9787-073D85C65864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$32A78755-D46A-4D54-A54A-E527CA520A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$F41430F3-F60E-4E48-A916-AAEA4CBB842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$3C654249-762E-4F70-A8DE-9A137C3F780C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149a1c519527de5b27ddd1bd16db514da62def91","datavalue":{"value":{"entity-type":"item","numeric-id":4899116,"id":"Q4899116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$AF3A0263-804A-4240-989D-1E99B95C52E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369a00a912276bbb6f1d71c301f7df62056f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5277902,"id":"Q5277902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$54E5DF27-F314-45D7-B1F1-8DFA68A3C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8e2071575e5b13c5291e8d82391cbe6f1393b7","datavalue":{"value":{"entity-type":"item","numeric-id":5369242,"id":"Q5369242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$C5491457-24C7-4C30-B5C4-2D9D3050B4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f293ebffa7635fb3106a8df0dadaea92d38203f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454116,"id":"Q3454116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$D425C01E-3C7C-43A9-8E52-2D286CAA28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$03E5B200-FFF1-4AE8-B3D4-9C42286D7722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$22C13F50-E5DD-4C4D-8355-F48B8E44CF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$B813F8D9-64FF-4765-8CBA-058D6F9AF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa025bf72da19be8bb55b41bc45df8c613cfca9b","datavalue":{"value":{"entity-type":"item","numeric-id":3801803,"id":"Q3801803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$881BEF8B-275F-4D52-9D9F-AB781EE0ADD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e09e0965a007fcb2d4ffcdb0b592ac5ad99b17","datavalue":{"value":{"entity-type":"item","numeric-id":3838091,"id":"Q3838091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$122098C2-A009-4C95-90E1-5FC0408436BA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"23be9b05f699ce61b70cca550a073e5d01c1b235","datavalue":{"value":"journals/jar/Platzer17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$B91760F4-143C-4CE5-B17C-F21773B01D32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5ad2e54411b002f667b149efdb84cc274596c56","datavalue":{"value":"10.1007/S10817-016-9385-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707599$CFBC95B4-2C7A-48A1-9A05-C0E1EC85D261","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bea24ce51fb7df697f6c39388b58025d46e3ed","datavalue":{"value":{"entity-type":"item","numeric-id":3454116,"id":"Q3454116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53133c45e74e50f0ddac8abd6466525ca15b8937","datavalue":{"value":{"amount":"+0.9685152769088744","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":"Q1707599$DD949759-1570-4D11-84F3-09D81B7447C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82636d38aa80c18dc23f6016343332d931da574","datavalue":{"value":{"entity-type":"item","numeric-id":1799081,"id":"Q1799081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104b975c9be5d74d01ab416380eef229aa7c42eb","datavalue":{"value":{"amount":"+0.8551424741744995","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":"Q1707599$16F5B4DE-DCEF-476A-ADBF-A7F6ED06C03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"384fe611b748e368b21f396d33e39c6f70019af8","datavalue":{"value":{"entity-type":"item","numeric-id":6488557,"id":"Q6488557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0580d0f4be0fe7064f1a36ac8804a3c0f8cf98d7","datavalue":{"value":{"amount":"+0.7093207240104675","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":"Q1707599$3F79349C-D0EA-45B6-91E9-130CEF51E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa1f4841de960501ed36ce114855cf0bd00d78f","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18045b6890a6fb7d01043e32bbb920adb7036a38","datavalue":{"value":{"amount":"+0.7071789503097534","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":"Q1707599$F5E672DD-9719-4327-A014-EC5A4A051711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa303ed6a575b0f573d1e04e77f3cca05291ceb9","datavalue":{"value":{"entity-type":"item","numeric-id":5951894,"id":"Q5951894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a838561d17dee5ee230b662ceac4e1dcd8d972","datavalue":{"value":{"amount":"+0.69803786277771","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":"Q1707599$323FA8C6-0632-46F6-813F-221A0E6DD9A7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707599$2EFC226B-E05D-43DE-83AE-FC6A75C971F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1707599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1707599"}}}}}