{"entities":{"Q3454116":{"pageid":5233516,"ns":120,"title":"Item:Q3454116","lastrevid":58188741,"modified":"2026-04-04T04:10:57Z","type":"item","id":"Q3454116","labels":{"en":{"language":"en","value":"A uniform substitution calculus for differential dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515526"}},"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":"Q3454116$88A75EF6-50C9-4648-808B-4A8AC20D0C9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa19db49d37630c85f59dec66d48e84b28b0198","datavalue":{"value":{"text":"A Uniform Substitution Calculus for Differential Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454116$8E3B2B39-153D-430A-8BDD-53A656334F8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50f4b01a1719680905f8f89bbc1ef435cde95342","datavalue":{"value":"1465.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$EEC37D47-91B8-42FB-8293-BC5CC5547147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77b06bc58ead281c9ec088ded2967526abac4ded","datavalue":{"value":"10.1007/978-3-319-21401-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$DDF4384C-C3B9-4612-94A4-D373B353CADF","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":"Q3454116$6247E99D-2909-43FD-A19E-A364A54439AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454116$08A5278F-DB0E-4463-A6C2-6B6DA24CDCC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454116$5687E6CF-F941-4CEF-A904-7F988CDFED8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8739b438e933d1b7ba6ee9d206993b56753350d7","datavalue":{"value":"https://arxiv.org/abs/1503.01981","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454116$199BFE06-21E8-4D00-9CC5-17D31F1B449C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$B3A26F4F-40FF-4B88-8DDA-E74ADD1044EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$B75DD7C5-857A-42FB-BE66-F4097DAB32F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$886E4F7B-E111-4D35-B976-80DD09507AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$6B2C5748-EA4B-4449-AF75-8370BB94D538","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b755f3b4ca753fd86a686e0b97fa650005b43ee5","datavalue":{"value":"6515526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$18189A49-502A-430A-BE8C-3EAFB23BA7CD","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":"Q3454116$16107EA9-C3F8-408B-8461-879227B8FD3E","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":"Q3454116$4A07EF2B-9C21-442A-8855-3B363E5D2DA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eed583d23ececc47bb4bc33522f9d1a5d220d63","datavalue":{"value":"W1941921537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454116$46571EC5-1D98-46C1-9A8D-0B86D67E5AE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"295a6b5029096b77d3f4a5262923a095c1a2fd02","datavalue":{"value":{"entity-type":"item","numeric-id":4863617,"id":"Q4863617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454116$2A4EDFF7-9BEB-4A5D-92A0-C16C1E11C232","rank":"normal"},{"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":"Q3454116$FD80367B-8F3F-4737-ADD8-6FCF86E4344B","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":"Q3454116$20BA9618-6384-49F4-8136-5E2387C00705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd01133762b64b29dce0b2276e7fa30b2112d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3639219,"id":"Q3639219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454116$E4F446E4-6751-49F8-B35C-A555EE46FB11","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":"Q3454116$B1665E3B-51ED-4FCE-8502-1FB9000E76B8","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":"Q3454116$A8374BD0-263B-4009-8090-F5B82E9A1AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4261a158f7a87312d3ab87e2b9b863c9820c93","datavalue":{"value":{"entity-type":"item","numeric-id":809738,"id":"Q809738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454116$A9C6A664-B085-4C2D-91D0-E212C471B5CA","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":"Q3454116$05727A94-FE26-44A2-93BD-1A54115CB5C1","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":"Q3454116$BF8E2B2D-AB32-4CC8-B59F-7F519736AC5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612e23e24dadabf7e94fddb09ed4debee4ab0011","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"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":"Q3454116$FAB201A0-4B64-4452-9407-9747314E5176","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":"b662c73836e9f92aa86117d278ec5f571345d938","datavalue":{"value":{"amount":"+0.8597152233123779","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":"Q3454116$96D388CD-CE50-4036-AF9C-E15072035143","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":"014c1c1f1a996ecf16888b415813940d6add5d59","datavalue":{"value":{"amount":"+0.718018651008606","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":"Q3454116$3B1E0299-83EC-4EEE-B916-A1F0E7A3B5FA","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":"77727bf6b001e66c4f344ce955d4a1536916e6d4","datavalue":{"value":{"amount":"+0.716022253036499","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":"Q3454116$9DBF1F99-573A-4B95-A940-8F3C77BDAD26","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":"74bce0e2c6750584fc7a5bada1c50840953cf502","datavalue":{"value":{"amount":"+0.7149584293365479","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":"Q3454116$A0A55BD1-153D-40DD-8CC7-CE7857C1E493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454116"}}}}}