{"entities":{"Q3406693":{"pageid":3417396,"ns":120,"title":"Item:Q3406693","lastrevid":46155076,"modified":"2025-12-23T14:49:22Z","type":"item","id":"Q3406693","labels":{"en":{"language":"en","value":"Differential-algebraic Dynamic Logic for Differential-algebraic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673425"}},"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":"Q3406693$FCB0BBED-6DDA-40DB-9FC6-0086782CA352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8218cca556f935adb2fd9fbe145ced86ec3a07e7","datavalue":{"value":{"text":"Differential-algebraic Dynamic Logic for Differential-algebraic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406693$52554523-BFF3-4870-A4EF-DC5B67C1E945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28d57752883096890debcf302a1ff59a1fd30eac","datavalue":{"value":"1191.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$EE4390C3-D8D0-4EE8-8D93-C444AE1C6441","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":"Q3406693$6428BA3B-E178-4846-9CEC-FEDC2B57254B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406693$6D4BCE78-944A-4308-A75E-6A8CEF95A7B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$1380FB81-DE9D-4D6E-8275-CDD27FFA298C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$9804A292-0608-4FEB-BC2E-C6FD9C937C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$A570A463-89E1-4898-B5FE-20FB95857395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$5A5C7773-6122-4557-8000-3EF12C2CEAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$AB96491D-5240-43D0-994E-11991DB3D979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$008CD003-BCC2-4A02-A2F7-22AF7263BB44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c56c56f5e28708c16dce8b3dbc64a613588b47e","datavalue":{"value":"5673425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$3AE58536-B874-468C-9026-1E147DD09858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$C451D8D4-ED2D-491F-BF9D-6EFD8DBACD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77cc445b9c03ee849579e4acae7280426fa0c8a5","datavalue":{"value":"differential constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$BA9322F0-4BC5-4857-B1C8-B8F557F9BA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$9170715B-D5FE-4F22-AD0E-E1F3EB6091E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae89f505eb281e4ff1ac89423ec7ba9f01a8c235","datavalue":{"value":"verification of hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$A2645899-3B93-48D9-B990-28AA8701D726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e840556ee3a50b9c5a869e2146eaadaf1ea068c7","datavalue":{"value":"differential induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$E17558F8-2C3C-4943-B933-BD371147403D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$91E4FEC3-0005-4DFA-B28E-12F7D04BB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90b155a4e032aeb50fd1d69720eb778dbb0fec0","datavalue":{"value":"air traffic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406693$DCA2D343-2A36-4490-9885-581957FD0FB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406693$AFE35612-EFD0-44B4-A161-6B9B90169639","rank":"normal"},{"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":"Q3406693$713DFE5A-B057-476A-ABF3-AE63FCF413D4","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":"Q3406693$11085686-012B-4534-ACB9-E2512F218D7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e501072db1324ed237a45cd93734bbf7817ab334","datavalue":{"value":"https://doi.org/10.1093/logcom/exn070","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406693$77960895-899A-4232-9C04-E2A6F4682026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36eb1b6b9faff758b39ea43015d34e1ca2f3cc71","datavalue":{"value":"W2130705439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$A9827A2F-336A-4108-90CF-DF0A3C3F0AF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc087e9f7ddf731a4d0f4e60cb5333fee2dc22ab","datavalue":{"value":"10.1093/LOGCOM/EXN070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406693$42F21A66-FB41-41EF-B8D7-EB9F9499A225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406693$6109A805-2BFF-44F5-99CE-69652A85A179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9266b9bfb80b4f28451136f50defbe991aee62","datavalue":{"value":{"entity-type":"item","numeric-id":3457709,"id":"Q3457709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16caa4753f954ac184f57a376df139a4eedd0203","datavalue":{"value":{"amount":"+0.9139658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$2EB40F8A-A900-41FD-B7FB-A8134911D282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74278c120b121cf769ad74be531ab69bb585f0fb","datavalue":{"value":{"entity-type":"item","numeric-id":1126260,"id":"Q1126260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8c4f0ef91e3ad8d7ec958abe13e582408710d7","datavalue":{"value":{"amount":"+0.9087528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$14F305D4-B80F-40BA-829F-8C5E1A61A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa414ee675c4f19d5fd42ceb666a961662a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4208853,"id":"Q4208853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bbd525b16a8efac2a61fcafccf81c21e56b1aa","datavalue":{"value":{"amount":"+0.89595383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$D043FBD6-5D92-468F-A28A-091470C76C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8bf7ec0f3a410a417075a3d76c794495c1ec5d3","datavalue":{"value":{"entity-type":"item","numeric-id":3613026,"id":"Q3613026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f4adb5679167baeba8e336799c2316ab06c591","datavalue":{"value":{"amount":"+0.8869827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$EA85B5E1-2FE1-4D3E-8667-4482527B77A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc61d4ec91ff48a6b31851916e896fe4ddaefc6","datavalue":{"value":{"entity-type":"item","numeric-id":5200042,"id":"Q5200042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8efc3f2754dbc68eb7b72159afe4849bdcd92d","datavalue":{"value":{"amount":"+0.8833221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$FEF9CFEA-C4D9-46B3-B7CD-884591078A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14df390f14837cd643a05b314b49b62d93d32381","datavalue":{"value":{"entity-type":"item","numeric-id":5434491,"id":"Q5434491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06738a66666034456dcb21d38c2ed7609b83ee30","datavalue":{"value":{"amount":"+0.8807998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$C7421798-F554-4CC6-9940-FA936F263350","rank":"normal"},{"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":"aa56f4678a908ed92e8c55baec93461ff761eff9","datavalue":{"value":{"amount":"+0.8786151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$7B365357-80FA-4100-9FC7-003E8BB5E2F0","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":"6ee610fbe9af36ccc12d3e80cc3b8f4b338b21a5","datavalue":{"value":{"amount":"+0.87728846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$9F15CE87-6FAE-4510-B3A7-64521D71E79E","rank":"normal"},{"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":"12c78d329f0186b46919930a4808bb73f1a79103","datavalue":{"value":{"amount":"+0.87600946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$19E9DF6F-D87C-4C5F-969C-B6D4614EF806","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":"9ec8b65dc2200d5e5f1f43f09e15ee016d1a9c5f","datavalue":{"value":{"amount":"+0.87587595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3406693$10282DD2-A23B-4157-81CD-C4C586D54B8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406693"}}}}}