{"entities":{"Q4899117":{"pageid":6928696,"ns":120,"title":"Item:Q4899117","lastrevid":58354155,"modified":"2026-04-04T20:47:06Z","type":"item","id":"Q4899117","labels":{"en":{"language":"en","value":"A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122245"}},"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":"Q4899117$254293EC-5643-4E8F-A976-440A4196FF44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2592877bef246b694b461ffda435b77b2f18f732","datavalue":{"value":{"text":"A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899117$B412C74D-A0D0-4D58-9FB0-C8B1C22779E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52d1f99578ff05f8ed73a50b071d058b56013121","datavalue":{"value":"1261.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$CB5FA7CE-A3E5-43D2-9005-516EB16D3BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db821ad8debff69e942b62a8bdbe84e7902187c9","datavalue":{"value":"10.2168/LMCS-8(4:17)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$5D4C306E-08B3-4D70-BA22-A5B8063C6642","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":"Q4899117$46FD2E69-14D3-41C2-B61D-D1D64ED9EA48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899117$03A7B801-72DD-4751-8C3B-666DCDDCD7CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899117$9B72ED22-C599-485C-B106-D3EFEDE04FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a20e897d8b81a1336f135994fb557727835eea53","datavalue":{"value":"https://arxiv.org/abs/1206.3357","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899117$963F0122-77C4-42EC-B749-8AC75B3B9D5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$F82939B2-BFA8-4F5F-ACF6-AFBD4AC238BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$B25AB676-D1EA-43A3-93DE-85E4FC221FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$6734086F-F245-44AA-93BC-8C1786B371FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$D2CC2DE3-D03C-4050-8D9B-1D2DF24652B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b0d2e8bf091186bf5f55df58ee307782dbd5be3","datavalue":{"value":"6122245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$75C5A0BC-26A7-413A-B279-70A67E2EB618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$56DFF858-6AB1-4095-8ACD-3D235AE4FB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2fe86ebc5b4b88dc18c2b544e2bc1aa5deeb7c","datavalue":{"value":"distributed hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$0DCA9864-B135-47B9-B448-4BBFFC870650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$DF2B20ED-BA27-4E5E-9390-83928F4DC0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$CAE2F656-E417-45A1-85CD-C3C49DE9928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65a697b2b4c788e299723db0cc6a03ded003e4b","datavalue":{"value":"quantified differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$2F5ABDBA-6CD7-4AC5-85C3-3E42CA1F3271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899117$644C9637-DE59-457F-9B2A-DECAADE4D360","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":"Q4899117$9AE16CE4-B807-4FD6-A7BD-612390D1B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3e360969d6c2992082efc06684b005f7d5314857","datavalue":{"value":{"entity-type":"item","numeric-id":31580,"id":"Q31580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899117$AF5562AD-558F-4373-80B4-415CAA1FFFAB","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":"Q4899117$8E3E7916-EC0F-43A6-8427-2870925A1AB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58be7c6eb6fbd9be371bdc866a3c7273986e3152","datavalue":{"value":"W3102952452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899117$A6B03E46-14F8-4467-BDF9-19F4D4307448","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd89bd7a1c6f8d83b4a9469b59082131d032e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586060,"id":"Q3586060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc86aa83a9ad537e37368ecd0a140835e4a5145b","datavalue":{"value":{"amount":"+0.9556437730789183","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":"Q4899117$331368B5-8471-4021-AE28-C9E32FF0BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d41d96466245c466ed9ebfec1cb8b28af8867e2","datavalue":{"value":{"entity-type":"item","numeric-id":3455848,"id":"Q3455848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027d54163bfbec86fa83a596219b1620ddfe7c1d","datavalue":{"value":{"amount":"+0.8424935936927795","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":"Q4899117$F9A10EA6-33B7-410C-8C93-D10C7303F7FE","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":"f412c8e16ed13970f0706facf8428e64154c9629","datavalue":{"value":{"amount":"+0.838176965713501","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":"Q4899117$27FE6788-B69B-4278-B5FB-0DAA879D14D2","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":"d1ba72fab52a0ec0f8c892a332c25638d50fadc0","datavalue":{"value":{"amount":"+0.7891760468482971","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":"Q4899117$9D069891-6FAD-4B96-BC16-4C39F476AD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9267169e6a3effa93da6acdc8df17c2adeb4fb","datavalue":{"value":{"entity-type":"item","numeric-id":2986714,"id":"Q2986714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54d49b5ce97bd8d09848f25e6b70ebecdf85c9c","datavalue":{"value":{"amount":"+0.779961884021759","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":"Q4899117$41DBC794-2FCE-4C2A-96D6-3342B481D00B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899117"}}}}}