{"entities":{"Q2988994":{"pageid":2999718,"ns":120,"title":"Item:Q2988994","lastrevid":79671461,"modified":"2026-05-06T14:27:11Z","type":"item","id":"Q2988994","labels":{"en":{"language":"en","value":"Reachset Conformance Testing of Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721677"}},"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":"Q2988994$51633D04-FBDE-4C66-9681-F4E71BE7325E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3d9c1c0abdc45b58fc4bd03e2e76c8bef121489","datavalue":{"value":{"text":"Reachset Conformance Testing of Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988994$0C528806-67E6-4A05-82B6-A6A4FCCC2036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38ca046dc04b42808b1f74b34ee03e3920cc40a3","datavalue":{"value":"1366.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$9A0FFF35-6D83-4498-A9AA-9EE45C57056E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5ca5fa767a5a2595e167439cfa195cb68f41de3","datavalue":{"value":"10.1145/2883817.2883828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$5C45D449-F5D2-454D-9445-7A237E067807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58cb1d893dec50382631a35d04fb21992fcf8162","datavalue":{"value":{"entity-type":"item","numeric-id":1990518,"id":"Q1990518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$59E42CEB-07A6-4CDF-9FA5-C6120026B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43336df9cde431e44b1735ac1efcdc497261fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":1990519,"id":"Q1990519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$24931F6B-BC1F-45CF-B216-09881A94227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8925b76f48d9991ec77a52e7476eb93afade730e","datavalue":{"value":{"entity-type":"item","numeric-id":2988993,"id":"Q2988993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$1C10F588-AD16-4357-AA91-E95C58C894B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$AB6BCEE6-968B-415D-8929-D7DBC6BA17C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$28394941-9881-4EB9-B0E9-EC919942189A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988994$686385CC-572E-49E8-BDEA-50126641F73B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a49179c3a26cbf0b7eb5b469bc28a09de743b29d","datavalue":{"value":"http://mediatum.ub.tum.de/doc/1379707/document.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988994$E32F4132-8DD9-4BA8-9C1B-E978D9BDCA67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$D7460BBD-7CB3-4B72-9999-C07D43D6775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$84297135-B753-45E5-AD45-38702DF3246F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ce8f030ed80a77664f70f6eef25d0acc6f2d02","datavalue":{"value":"6721677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$692A42CE-FEEA-4888-832E-4E055FBEA9FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b66a65c863f76130bff91517063a352e7d4dad5e","datavalue":{"value":"conformance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988994$7A79D77E-03CA-43A4-B4BD-3A8B724B91E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988994$7A7D1407-5CAA-4181-B5E0-8ED56FBD3034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988994$922FB12E-4F2C-43E0-874F-F30464BD4EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587d9a5a8f049c5688e1ee55b3ade8ed4e7a3fb8","datavalue":{"value":"test selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988994$E43DD425-F241-4BDA-8623-313A06FBA480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988994$263BD3CA-45E8-4076-AE7D-0B3B51EB4F4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a3c8ac36f3a82399eb0625346ab54c6aad8009","datavalue":{"value":{"entity-type":"item","numeric-id":31961,"id":"Q31961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$AD2CB495-8E1C-4F9D-8533-CA8182608DBC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261398694b2d4d9717c58af8a1057e3f100b6c64","datavalue":{"value":{"entity-type":"item","numeric-id":31961,"id":"Q31961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$226804A8-4C85-4804-8DC2-AAB20834C32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe3b952b514ee684410972a5effd2c1c47e84d31","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988994$E6985E5D-B9ED-4144-B79C-1372AC92C4BE","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":"Q2988994$89898132-F6DA-4B30-A5CB-37AC4F05BE8E","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":"Q2988994$9CFC38A9-CAAF-4AF8-82B2-B2633C7A9B20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a06e01161d313ca59243f399175efe56f59cbde6","datavalue":{"value":"W2339842460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988994$7EF3DFBA-AC58-412D-BC8E-E0AE65373296","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe06c2944f041f18177ec45ece81e2db5c6b751","datavalue":{"value":{"entity-type":"item","numeric-id":3172861,"id":"Q3172861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cbf6874eb4ed23c63e630606b05a414779f39f","datavalue":{"value":{"amount":"+0.8856219","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":"Q2988994$7BD9A176-7F48-4A35-9F37-9292D36F7A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17831ea23df7b0ff0d7be157675ed197cda2b85","datavalue":{"value":{"entity-type":"item","numeric-id":4982085,"id":"Q4982085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ea9691baece1e17e507005d59c385d84d58539","datavalue":{"value":{"amount":"+0.8748756","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":"Q2988994$9848C01D-0270-41E1-836E-3A3C7F415396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bcdb892daa4a0a3933dc2f937078af0c8adbf4","datavalue":{"value":{"entity-type":"item","numeric-id":2841997,"id":"Q2841997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7c25f0e3ce6a14600913c334d662a8da20ee39","datavalue":{"value":{"amount":"+0.86618334","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":"Q2988994$B783A297-AE27-4967-B432-E852C5315A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019e9850ceb8ab0f70c4125bb89ee7e6b9ca3cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3172874,"id":"Q3172874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7c25f0e3ce6a14600913c334d662a8da20ee39","datavalue":{"value":{"amount":"+0.86618334","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":"Q2988994$210295AA-A296-408C-A220-CAFEE033C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688a3893299dce630068923a5bfe9bb8e20db89c","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb2dfc6ffe93ed5dc8049b1c622547f9da6658d","datavalue":{"value":{"amount":"+0.8629751","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":"Q2988994$46C4DF46-3998-41D9-AA63-2694421E7989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5226226c2ff3cbc0b715aeef31a3469148c1c43a","datavalue":{"value":{"entity-type":"item","numeric-id":5347833,"id":"Q5347833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2517d888feb09336a0a61d063942d0881df7e871","datavalue":{"value":{"amount":"+0.85853994","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":"Q2988994$AE60BF69-8399-44E9-97F1-27435DC0AD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d7b91cb884e0cac19f38e7bcd8478ffb49fef3","datavalue":{"value":{"amount":"+0.85716164","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":"Q2988994$97BDEE20-83EE-47B4-BE21-B91C90B4B8CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachset Conformance Testing of Hybrid Automata","badges":[]}}}}}