{"entities":{"Q3569093":{"pageid":5598997,"ns":120,"title":"Item:Q3569093","lastrevid":51015818,"modified":"2026-01-16T05:35:20Z","type":"item","id":"Q3569093","labels":{"en":{"language":"en","value":"Safety verification of non-linear hybrid systems is quasi-semidecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723198"}},"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":"Q3569093$59A90CF7-2903-4FC3-AB8F-A1855107AF4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abdd245f5ea78c96447add5dd1f4410b547b6f94","datavalue":{"value":{"text":"Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569093$6D4B8339-FAC3-457E-BCDA-1A7AC7CC1AC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0c9527a5d4b037ac15127813fd0b25bede15e0b","datavalue":{"value":"1284.68415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569093$F2BE3F71-DA10-44BD-ABCF-281D0274D395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d05c256633d22f54de3d5f02255d734ce685a9fc","datavalue":{"value":"10.1007/978-3-642-13562-0_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569093$F2BBC211-8B89-4358-A9DE-9FED56FA33E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569093$D0712CC0-591E-4BC7-8485-335798F24A36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569093$45847F97-C1E3-442D-B300-25BBAA56E330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569093$D284328C-3087-442A-80D1-DB8A43FC691D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569093$803178D2-95A3-4830-8D2A-4A1CCBE2BAE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"741a2d2fb31f9501e07edaf745ce3c2d7b785593","datavalue":{"value":"5723198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569093$D35941EB-350A-4FBD-B15F-7960AB77C7AD","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":"Q3569093$61BD786E-DF76-47A3-84D3-8C70B6B6E10C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"018f3780dfbd36ff38b65659f2e703d072ae33f6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13562-0_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569093$5C602482-21BA-4FDB-8767-6D18A18F0D04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d72f789e8573473e3d2bb7cb0e5be584935dc569","datavalue":{"value":"W2108345361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569093$92F63F03-9991-4154-9638-38F550719ECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b358e140207b41bb70612e09a861ca36038541","datavalue":{"value":{"entity-type":"item","numeric-id":2248097,"id":"Q2248097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ef235dff1c9f26296a19ad3252209747e1046a","datavalue":{"value":{"amount":"+0.9923330545425416","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":"Q3569093$6E2B66E9-B755-4756-B554-3B478E79E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e559d80ccb836a4b88cec43d63b83bb36e43f4","datavalue":{"value":{"amount":"+0.8084589242935181","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":"Q3569093$226384CA-2223-45A8-8E0B-B92FADE5FB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3de4ea3881304cfc8a9c65394153af64228c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5491856,"id":"Q5491856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d6af6be5764b6bb35fb3f7e5eb588d3c1b05de","datavalue":{"value":{"amount":"+0.8077045679092407","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":"Q3569093$62BEF226-6031-4AB0-B1D6-C7FEE8085C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7d7f9b085a875c02e7cbe66745e92b3271b6af","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8e9eb4b9b32f156bf0dd9b3f0ac2da1046c861","datavalue":{"value":{"amount":"+0.7995917201042175","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":"Q3569093$9F7CBFA4-5049-44FF-B668-C149F763DA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8e9eb4b9b32f156bf0dd9b3f0ac2da1046c861","datavalue":{"value":{"amount":"+0.7995917201042175","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":"Q3569093$9331EB79-0E34-42DA-9F57-355C6654EFC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569093"}}}}}