{"entities":{"Q1856193":{"pageid":1866935,"ns":120,"title":"Item:Q1856193","lastrevid":69121944,"modified":"2026-04-13T04:55:30Z","type":"item","id":"Q1856193","labels":{"en":{"language":"en","value":"HyTech: A model checker for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862297"}},"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":"Q1856193$A1B6A4CE-99A9-4740-A3BF-930D4747F5E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fccf994a45f0c84ba4347483cac67836ea59a9f2","datavalue":{"value":{"text":"HyTech: A model checker for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856193$F991C506-0B05-43AF-8D7D-E5A4E218CE81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cbf50007e7987ff56405e450d3c718e90042ab5","datavalue":{"value":"1060.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$2BFA5F2E-F9EE-4F27-9F02-DCA7B6EFE3EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856193$877D2E1F-D677-4C6F-9496-52A9BA62B720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b043bef7dc46cd8263914d1c26ba7b658fcc37","datavalue":{"value":{"entity-type":"item","numeric-id":1291692,"id":"Q1291692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856193$F7206515-F26F-4635-BED5-26C5A17B54B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb36308446fc00eac1ec168b6fc19120c107ecb","datavalue":{"value":{"entity-type":"item","numeric-id":1856192,"id":"Q1856192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856193$03D1F6CE-F4C4-44A0-849E-92ECB2662ED3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856193$563963E9-45EA-4425-AF8F-7CB6643B7F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1856193$0E951A9C-198E-4657-B6EA-8B1D719E6C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$5228E3A1-B098-4DB2-88A4-571C8E0945F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$4C337256-4A09-4795-9626-7A7E096312CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$847990FF-0B75-430C-8EDF-F77F79D30006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba6c3f0ff72a238d83b7d634da79a943cc5cdb66","datavalue":{"value":"1862297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$BA452698-3916-476A-84B7-832819F6C5C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856193$8A8E0F3E-5F40-48C8-BF2E-00341E037AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856193$4D742A9E-E472-4250-AE7D-801E65E708AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856193$1F69FCC9-C23E-4506-9B4A-F50699390701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5502363b5fd378ab0f640af0d817be7c63603c9b","datavalue":{"value":"HyTech","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856193$6A59717A-76EB-4709-8865-A2715A84866B","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":"Q1856193$E82A6012-7715-45A6-A15E-7B3686A4D0C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aabbbf18b01a2132cd51f6d4b0ef2ba51b83c42","datavalue":{"value":"https://doi.org/10.1007/s100090050008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856193$D15C7D8D-15A5-4272-A1C8-5A1360923D38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89abc39b01fa33eae46bceaa46ac9f858121cf92","datavalue":{"value":"W2060095702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$5B9811AB-2713-479E-874D-258F2649DA84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a092a443c9f93cde7ac3dc562cfb805291559be9","datavalue":{"value":"10.1007/S100090050008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856193$195A2928-5948-49D3-86D1-ED3455F62DAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6791c788377fe8bcee549dc63fe9fdf00e0888","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01659f7a90a183371e178c9ee1f4388c9dad70e","datavalue":{"value":{"amount":"+0.8338583111763","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":"Q1856193$C9B092DC-E7B0-47C1-B360-E63901131C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50f3caee3e4b8b9601b9f438ce6db143b727f3f","datavalue":{"value":{"amount":"+0.8334581851959229","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":"Q1856193$8A188421-C897-4E56-BD82-24E90DD8A003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c96cd4a2916c232da181473f3a64f2cc728969","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807c8765961d33070d601815e391d29c1b5f5865","datavalue":{"value":{"amount":"+0.817068874835968","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":"Q1856193$206853CE-BEB6-438C-B35B-FBB22A927426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b61d153ca9b19f3d5f85333f857392b2d99e97","datavalue":{"value":{"entity-type":"item","numeric-id":3176388,"id":"Q3176388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8720a1385bd9c05facfb6a8f4c3b5e57918de2","datavalue":{"value":{"amount":"+0.8163365721702576","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":"Q1856193$695E9250-8BF2-485D-859F-1C166EF07E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac24f5a39e681fb2102e974bd78c8f18e660b65","datavalue":{"value":{"entity-type":"item","numeric-id":999262,"id":"Q999262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69d806f46101126ae96d2f8be8a183625725f7b","datavalue":{"value":{"amount":"+0.7998483777046204","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":"Q1856193$AA7F9834-CE5C-464E-A879-134888AA8F89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HyTech: A model checker for hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HyTech:_A_model_checker_for_hybrid_systems"}}}}}