{"entities":{"Q784143":{"pageid":785992,"ns":120,"title":"Item:Q784143","lastrevid":64307154,"modified":"2026-04-11T18:58:31Z","type":"item","id":"Q784143","labels":{"en":{"language":"en","value":"Generalized property-directed reachability for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228512"}},"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":"Q784143$FA37DAD7-F479-4C50-ABD1-1AB4538FA9FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d760f281da076eeb4db083d64fdc7454120254e8","datavalue":{"value":{"text":"Generalized property-directed reachability for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784143$07D64D24-1F26-44E0-8DDA-9B5BA4259EFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b063158f02d70eb09f2f7c42d88c2f8982c6085","datavalue":{"value":"10.1007/978-3-030-39322-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784143$7AD682E1-72B8-4495-87B8-12C42C6BA346","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d0424aed08dbbf639f7162eabe730fdbbec3679","datavalue":{"value":{"entity-type":"item","numeric-id":784141,"id":"Q784141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$BE2C0FA8-ECF4-407D-A8EF-F352915D4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fbd77d87847b388e4579108eab0fcc66ef30f9e","datavalue":{"value":{"entity-type":"item","numeric-id":784142,"id":"Q784142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$48521DB4-F7B9-4F8B-BB49-8A00401FB036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784143$D33BD20D-5924-4DD8-9961-85132D8AE6F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"289d05a989cc43d17cca32aa26d73735f1c23e98","datavalue":{"value":"https://arxiv.org/abs/1910.03784","type":"string"},"datatype":"url"},"type":"statement","id":"Q784143$6A333641-635F-4E43-9147-0FBECDF4020E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784143$D516A302-25B1-4BAC-ACA9-D9E6618C7004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cacae5bafff5c5a7eed7dcaa790fcdf423bdd4da","datavalue":{"value":"7228512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784143$974E1F04-5527-4883-944C-1754536AC781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q784143$39F4F694-571E-49EC-AE5A-D8BDA31AE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59486a99f5c970283c62c10d842fa4153691080d","datavalue":{"value":"property-directed reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q784143$281530CB-8FCB-44CE-9F99-494FE24BC870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a122d9ad0bbbbdbf6445cb067f20e2a2142919cf","datavalue":{"value":"IC3","type":"string"},"datatype":"string"},"type":"statement","id":"Q784143$B073937A-F0F2-4523-9B86-00F47100873C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q784143$181A88FD-B610-4717-85D9-8C5EECFFCA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q784143$36D17E6D-0F34-4674-8156-87D4A9E0DDD3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfe3fa4e80d9c867246b9d38e3807bac689c1ecc","datavalue":{"value":{"entity-type":"item","numeric-id":20350,"id":"Q20350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$4F6F4E4C-947B-4D76-BFD7-0965A1B8BC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a3e8c914f9136fc479e3de0d5a736e858c9b352","datavalue":{"value":{"entity-type":"item","numeric-id":31984,"id":"Q31984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$6A3D40D3-3DE6-4BC9-9251-7B3897CEE667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90540901708f1d54fa446e64a6d255ce9ad0b4fc","datavalue":{"value":{"entity-type":"item","numeric-id":31985,"id":"Q31985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$73F59E80-62B3-4DA4-83EC-7735CCBD5354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$728D8CC5-061B-46A2-B1A4-5E3766095102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18407fbdc0151f0b5ba9a01c199138cbfc2a4f45","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$A3045ED6-717F-4781-AF32-C10403CD0EF3","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":"Q784143$3075C0A0-2FA2-4F9F-B2DA-4E5C3EEC6582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$FD700055-C0FF-47F1-AF7E-9F3968C102C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784143$CBC5DAED-5DD1-4A01-B36E-25F0DDC8314D","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":"Q784143$24C9AA0F-3FB2-43F7-B3C4-D1F375D3C98B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20e2fe2ba3b4ce44a13579b26a0166bbb04cbe28","datavalue":{"value":"W3002244537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784143$D916B42B-0408-465B-B24A-394F762530FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e317b15abf1759fb3b6fd52d1f4e2b12733b5616","datavalue":{"value":{"entity-type":"item","numeric-id":6535575,"id":"Q6535575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7890592ff8bc14374d66be44d2ec1fee384dde","datavalue":{"value":{"amount":"+0.7747750878334045","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":"Q784143$C43C7E57-AAC2-487D-B47A-23DEFBFE86FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6ff91e010703ee4fbad84024e8d0fa028fb1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c1b68d097fd4634fffd57370dfad78f96a8049","datavalue":{"value":{"amount":"+0.7729175090789795","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":"Q784143$B59E49F4-590B-4609-8C99-88F24EFF8231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65b59f053891bc48374bd07239cf3105cdec628","datavalue":{"value":{"entity-type":"item","numeric-id":5039500,"id":"Q5039500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0c0b5c21b2c3d7e1ecbaf1a1560ec25ac4721b","datavalue":{"value":{"amount":"+0.7554817199707031","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":"Q784143$EF112D15-5CC9-451D-95B8-1EE67DDD859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a601b7873b1373e7aa846c82044f5ed1d504783","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ea0a14e8010971fcd5cc57c0df9d255d745fb6","datavalue":{"value":{"amount":"+0.7372279167175293","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":"Q784143$784851F5-F61B-484C-BBF4-6DB68D16F068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0925a4d84951da49915302eca94fdb4d93f48d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2105429,"id":"Q2105429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c467a39023d75a7d2e55b76ac9d6dd2e1500de8","datavalue":{"value":{"amount":"+0.7366373538970947","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":"Q784143$03D26851-FC88-4637-B73E-5FFC9930CB0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized property-directed reachability for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_property-directed_reachability_for_hybrid_systems"}}}}}