{"entities":{"Q3638286":{"pageid":5668192,"ns":120,"title":"Item:Q3638286","lastrevid":80869172,"modified":"2026-05-06T17:11:10Z","type":"item","id":"Q3638286","labels":{"en":{"language":"en","value":"Property Driven Three-Valued Model Checking on Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574377"}},"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":"Q3638286$A4893EB3-D763-4088-A887-1EA62DD2AD08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bffdc8c922e2e2fe343ddb5c2ddaf8a13b2a4710","datavalue":{"value":{"text":"Property Driven Three-Valued Model Checking on Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638286$FC02A16A-95CC-418B-B602-6199E963CFA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d454f1aaf296e94493e746e4410bd5dc33d0e4","datavalue":{"value":"1246.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$17C97E07-9EBB-4D04-B775-378814ED1F73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c09b1b91a2e549c057180509e1a67ff2805dd80","datavalue":{"value":"10.1007/978-3-642-02261-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$8AECB8F2-DAC1-4761-87B2-7D2B9E55784A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8af1bfc8fae58f5c6a21670d68c92b03b2f2169","datavalue":{"value":{"entity-type":"item","numeric-id":2985862,"id":"Q2985862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$BE21608F-048D-4EDD-96CD-27E24D4EDAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$29FECCFC-974D-4B3C-9A8D-E431967B2A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31503e637e24a4112218e0870b5d341cabb000e0","datavalue":{"value":{"entity-type":"item","numeric-id":2446597,"id":"Q2446597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$90F85F93-7F7B-4FBC-BF3D-45392F3AB5E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$9F1DE42A-54AD-4F59-947A-FE5C3DDC1767","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-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":"Q3638286$B5699236-D373-4913-A936-E6345D941B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$ECBB06BD-0D8D-43C3-B52A-924E8F84E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$977AF4B3-0C19-4F55-9560-59662D9319DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$0F919AAB-4D7D-4FEF-8CE1-EAC4D89BCD0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f1040350b762b73d8fb59fb4777699d755501b3","datavalue":{"value":"5574377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$F6340F3F-21E7-4018-8ED6-7331E65DF7D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$F7610E99-6B97-4B48-9C65-70BA6012E78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$F1F13136-51E7-47C6-A3D3-F36FF53DCF62","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":"Q3638286$7F90C971-3DA4-4552-B086-7AF340ED4621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"754797e7c41240d8faa0db88572cad2d70b2aa26","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638286$308D7148-7634-4ABE-BB17-9C8BD5DD0E3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3a545ae3b465431f322c7d3b30f4d23f859e183","datavalue":{"value":"W1520155113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638286$EEA2C7F7-7B11-4D15-A5E0-D4FA1CE07CA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$5C1769F8-B006-4C52-BC91-232A03B53C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17174e6fa8bdc049c22c71b5a594a8c80272c147","datavalue":{"value":{"entity-type":"item","numeric-id":5307470,"id":"Q5307470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$0AEAB4C4-B285-470E-BB94-1F8A7108D741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d770a871525146eb4607f50572fb10750bd12b6","datavalue":{"value":{"entity-type":"item","numeric-id":5714448,"id":"Q5714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$E265728F-EBF9-4324-8219-97903E2671BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6b0b0d633ffd3389602629f6d5996e1458a245","datavalue":{"value":{"entity-type":"item","numeric-id":5434509,"id":"Q5434509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$2E537A87-1EC2-45AD-908C-3882EDEFCE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4aeabd76882cd08097b6b24f3517c4224cbf14","datavalue":{"value":{"entity-type":"item","numeric-id":4417994,"id":"Q4417994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$0DA2E329-8AD9-4C41-8A8B-7A3F3342B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553d9cbbc14cf67edec307cc8b2f9633e7cd8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4553263,"id":"Q4553263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$1CDD3E9F-278F-4DA1-BDC9-88B63938CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$F2143FA4-1285-4AC9-B286-632D2EDD4740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$CDBB349F-A9AB-441B-BF72-B3E1D11B109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$DC869F04-31F1-48BD-9941-4557B5C4EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$639E4A63-C006-4E5C-A355-38D292E03986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f20df29facf53673cfcc4ee25abf625d9488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$D300E703-3402-480A-915D-7558C4F40556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$1A286771-751F-4A1C-AECC-07703C9CB417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$BFA24523-B45F-458C-B8C1-2A0F786E7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bafa3751b8b8e8fbaca5651ac637d6bbc7888d1","datavalue":{"value":{"entity-type":"item","numeric-id":5716569,"id":"Q5716569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$8F692B71-6014-41BD-8A66-552046D78049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$44A1B5ED-EC49-4E77-8BA9-AB3BC14909EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638286$A4B8C825-D88A-4B23-AEC1-C70E59468BBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c270dc035825547c35d6bd73ac01bdfc061acd","datavalue":{"value":{"entity-type":"item","numeric-id":1784791,"id":"Q1784791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3ed7bc8722252ff7b5e72133e78e5f5527bd4d","datavalue":{"value":{"amount":"+0.8609995","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":"Q3638286$3BF82DEC-FEF1-4207-8DCC-E49425D7EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8a39e08d4b90e96455b1e6de34a5aed52e8385","datavalue":{"value":{"entity-type":"item","numeric-id":2798043,"id":"Q2798043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9178ae3d77d88c99fc74d0bcf88791bd2a6aba","datavalue":{"value":{"amount":"+0.8574513","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":"Q3638286$29CD9099-A98B-441E-8AF7-D1B11A774879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c502ff0941d8a169f2316d029902fab27cdd3337","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7dc6af801707db22d462bdf5f7c1221dcfe282","datavalue":{"value":{"amount":"+0.85631394","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":"Q3638286$863D7D55-5E9B-4493-9BE1-F97B227217AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6a2319bc8357c6687eca6b7fd71e05fc31a458","datavalue":{"value":{"amount":"+0.85409415","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":"Q3638286$07845D8F-50D1-440F-ADD1-4898AD5A94FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae6e3221df0ff4a1b5b8b6246bdcae05f1271c8","datavalue":{"value":{"entity-type":"item","numeric-id":3060979,"id":"Q3060979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645b2ff5ee949c43759fe54d3a255d8246a0a26e","datavalue":{"value":{"amount":"+0.84819716","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":"Q3638286$7399AE6F-C3A6-4047-B8CB-00D5CFCBDCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43182086019c02ca3fc74ebda2700c2c44f4d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":6165889,"id":"Q6165889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f195018766cf1f352eee74f7246c27540803e1","datavalue":{"value":{"amount":"+0.84312236","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":"Q3638286$5B450D71-F78D-4A91-BC13-748EB49B49E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Property Driven Three-Valued Model Checking on Hybrid Automata","badges":[]}}}}}