{"entities":{"Q3000653":{"pageid":3011377,"ns":120,"title":"Item:Q3000653","lastrevid":51248864,"modified":"2026-01-17T10:55:52Z","type":"item","id":"Q3000653","labels":{"en":{"language":"en","value":"S-TaLiRo: a tool for temporal logic falsification for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897410"}},"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":"Q3000653$F8407596-B771-4AED-8B99-AC52AF2C4EB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f7a2de3ddcb20cc53700fa6d640666b11d31c33","datavalue":{"value":{"text":"S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000653$B5E4437A-4F96-4B48-8F7E-262CE64CED88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e764aba106e5664178962ceaf3514b2d201f1d","datavalue":{"value":"1316.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$5F11FD0C-05FC-4A9E-84BD-60ED04FDB74D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"119fcceca366677417e2b0de073a40fcc3f242e0","datavalue":{"value":"10.1007/978-3-642-19835-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$8016F5CC-A378-4277-8A9A-250115D9A8B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b36db055e942ec6994c74d1d85419dec016a1","datavalue":{"value":{"entity-type":"item","numeric-id":3000652,"id":"Q3000652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$1EF66815-F330-4264-B762-B696C6B5EF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0137180eb646c44aac5f6967eaf1d93e0e11ec","datavalue":{"value":{"entity-type":"item","numeric-id":2860528,"id":"Q2860528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$CE5D9B38-3B72-4764-B524-09DB5CF3815D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4f6b14f5ecf0170410995e1646547ad080542a","datavalue":{"value":{"entity-type":"item","numeric-id":732014,"id":"Q732014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$52EDB555-613D-4D0D-8187-BDA3034A9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$7065BEB8-9455-46FB-9510-ABDB1420D1FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$3E5E867E-D68A-4510-B432-118B55697BB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-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":"Q3000653$2130B33A-3D2B-4DF4-B190-1E0EEDB03C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$1768482E-ADE9-42C5-9428-B5E480E72BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$3D8A3E44-4745-4D84-B05C-AF9295A0B169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dd58ae196e17e402838754a089c887e29baf9ec","datavalue":{"value":"5897410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$7CD56CFD-8E5E-4279-9BC2-79B6703EAE91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$6D46D6A3-9F80-4AD4-B60C-AEBCB46169D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b424b0f4cf122cdeae51acafebcdf4dbab7ee597","datavalue":{"value":{"entity-type":"item","numeric-id":21754,"id":"Q21754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$65C85144-636C-4FF3-B5F1-52211B86BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9f46973d8c78aa3238ba7e8fb358838da0670f","datavalue":{"value":{"entity-type":"item","numeric-id":32636,"id":"Q32636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$AE6F7E34-92A4-4602-8D13-A07A5649E9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$818166CC-223B-435A-B4DA-581D1AEC4E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98adac32bb0713737568b9254f2af8ce0d6983bd","datavalue":{"value":{"entity-type":"item","numeric-id":22145,"id":"Q22145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$19BA3963-D15B-412E-B64A-F53E87405357","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":"Q3000653$86C228B5-DB24-4276-B4A2-91B9E7B66106","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53c799befc1d7d220d17b8a09d1ad447e1c2c69f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000653$D0D26D9D-0390-4F49-8C21-792E34E6F3EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa767cc392836e7262f07dc622b9e92cd99f837","datavalue":{"value":"W2131399618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000653$1D161929-3A28-47D1-93F2-26961630DF81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"207f1de1845b07de215059ac6a3493b148a1bf87","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$52170E7B-00BB-46A0-962C-95E24D37512A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36883030cfbe7504efa1a529decfce95f5779b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307932,"id":"Q5307932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$85C542B4-0711-42BB-AB16-93FB7438C3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0af101ec2b4a57a5bd6580fb73a1e1551fc121e","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$830029B0-7436-4291-AF29-F9E69EA79ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$0986D529-3414-4030-A01D-83D83FE4F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8e37f44eb933ceaed3fd98bb576350a38a68a7","datavalue":{"value":{"entity-type":"item","numeric-id":5425745,"id":"Q5425745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000653$87586E00-A830-4A2E-B451-9A7188104F9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5686408ae12e7a38e69fb76847253c29033cd50a","datavalue":{"value":{"entity-type":"item","numeric-id":2985883,"id":"Q2985883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caadbb8f3629bc7cd3a01cc32fd98df0d5247d0b","datavalue":{"value":{"amount":"+0.7528485655784607","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":"Q3000653$D783818C-6F06-441B-8CD3-4B1269AE2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4730f64746eb192f6a2cfc5a386a149f1b81293","datavalue":{"value":{"entity-type":"item","numeric-id":3460587,"id":"Q3460587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caeba461ba3b1c876ca043071ff28d0f61bc96c","datavalue":{"value":{"amount":"+0.743951141834259","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":"Q3000653$52AA377F-D2A7-4780-8D1D-3530ED5E367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b84ab559bc92c70e5914cfbd07fab1dba3a740","datavalue":{"value":{"entity-type":"item","numeric-id":2986759,"id":"Q2986759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67ef9cf94ed6676b0cc7faad00843c120315348","datavalue":{"value":{"amount":"+0.7273774147033691","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":"Q3000653$F640E736-3735-4D59-9A64-8B7950A9664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bd19acfe93051f4ce266203b0c3577ed3a607f","datavalue":{"value":{"entity-type":"item","numeric-id":4561453,"id":"Q4561453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd3a01eb774d6e35350fdae905609ca3749c813","datavalue":{"value":{"amount":"+0.7145684361457825","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":"Q3000653$45EE0321-E084-49AF-9362-754C643C141A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d590bbc9a733e0aea49d4391a1b7ddb6328fd77","datavalue":{"value":{"amount":"+0.7090467214584351","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":"Q3000653$7C48226E-7019-4E3D-94CE-1A406431FFC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000653"}}}}}