{"entities":{"Q5434526":{"pageid":7464090,"ns":120,"title":"Item:Q5434526","lastrevid":50242733,"modified":"2026-01-13T15:23:51Z","type":"item","id":"Q5434526","labels":{"en":{"language":"en","value":"A Temporal Dynamic Logic for Verifying Hybrid System Invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223590"}},"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":"Q5434526$536068F1-B53F-40F0-902C-B9648B980F9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"276f780238feefd979467b926987a2d02df48afb","datavalue":{"value":{"text":"A Temporal Dynamic Logic for Verifying Hybrid System Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434526$05EF17EA-BED2-4529-90C5-72CA3E89E373","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40c84a8c5613320bb2d3ad12811020391066b433","datavalue":{"value":"1132.03338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$834B6238-78C6-4DAF-99D3-7295143A7977","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"044281abe3b16299bdf24804925cb675c0ffd85d","datavalue":{"value":"10.1007/978-3-540-72734-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$DAB3C5EE-CFC4-4776-AD38-8F5F5A354083","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":"Q5434526$F4C9C845-EA38-4607-93ED-5924E9463A00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434526$634ACD20-7C1F-4CB5-9373-A0E12D397ACB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434526$709C836D-85CC-4E10-8602-54E5E9F4A2CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$69B068C5-C566-407A-AACD-7A0E6EE8335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$19625FF9-90F5-482A-B43C-3357C46E7662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a85a4b264adcf6effadc12a7ec793b190b7c8d8","datavalue":{"value":"5223590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$41283818-8A88-4CE9-BDA1-C3606E96B6A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434526$A34967F0-7E02-40EA-BADF-B785A071DE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434526$0EFA2775-9D88-40C3-95F4-F88D65CFB002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434526$92A92D39-0F36-42BE-9947-ED714D119A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca918c9d3d64f59d9cd7d07ea6be33c708c703c4","datavalue":{"value":"logic for hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434526$7F4BB78E-B5D2-4F88-9A3C-27120568175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16548d70f67f54c6fbfb92a4f91a87bef1379b7b","datavalue":{"value":"deductive verification of embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434526$A2AD4BD2-0809-477A-A9E4-E5F550BBE273","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":"Q5434526$A989BC17-4A3D-4755-A3A0-F0B18A4CC1B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49c3b4497b764f39bb7693465bf5d626e0b91f8d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72734-7_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434526$627BA5E4-359D-4DF3-A7F4-E7B9A355BBD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"481404ea2984b7bce33ba67e66b429b004179639","datavalue":{"value":"W2118721394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434526$59050415-B872-4460-A075-335A96C8D9AC","rank":"normal"}],"P1643":[{"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":"4f1bb8b8315612f04662703cd635acb61f307389","datavalue":{"value":{"amount":"+0.8638851642608643","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":"Q5434526$B9F8CAFC-ED9B-4428-AF03-4F6FA191D680","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":"25768e4be99fea8722f82d32ec7982b5318b4d0a","datavalue":{"value":{"amount":"+0.8428342938423157","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":"Q5434526$CADF2754-80B9-4A3C-8781-697A5749AECA","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":"4f9c8b94454350019a5354ee8f16742d62d0934b","datavalue":{"value":{"amount":"+0.8410073518753052","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":"Q5434526$F1BF13F9-ADF4-45E1-B1D6-D74C240DD341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f827069f8467d68dea8fe588feb494ee45e8cf9e","datavalue":{"value":{"entity-type":"item","numeric-id":2867948,"id":"Q2867948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fd6df3a830207303e65098537ba6b43f4033d7","datavalue":{"value":{"amount":"+0.8231623768806458","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":"Q5434526$2F172FAF-B489-4198-8068-6E794DB176C9","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":"11d3d5ba29d32b2abcae78b00fbf204333df6f98","datavalue":{"value":{"amount":"+0.8026270270347595","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":"Q5434526$97C56541-3653-49B5-A1A6-F3F805180A07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434526"}}}}}