{"entities":{"Q2248097":{"pageid":2258840,"ns":120,"title":"Item:Q2248097","lastrevid":52028372,"modified":"2026-01-20T19:12:14Z","type":"item","id":"Q2248097","labels":{"en":{"language":"en","value":"Safety verification of non-linear hybrid systems is quasi-decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310034"}},"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":"Q2248097$C6482EA0-8F1D-4545-999D-08D9D9D3B33C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee8d959884d788a0d2cda566ff83e80aca156ea","datavalue":{"value":{"text":"Safety verification of non-linear hybrid systems is quasi-decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248097$F79961CD-0526-4BA1-B415-90C5A6B6C9F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b9bdc724f0217d1f6be52d60531d221ef2bbca6","datavalue":{"value":"1291.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$D031A4E3-9B99-4B76-8CC6-E60BB6E6D6FE","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":"Q2248097$58E684DA-7449-4C82-B982-0FBFD84001A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$B1D718C4-CCE2-449F-AC4E-F23B69D0CA1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248097$DCFBA841-7D56-41FA-8EEC-F9439583992C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$CC0FA22F-7C34-4895-900C-2081216FD73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$D6B7C48D-E9F4-4333-80E4-8AC2C3A5715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$06B69151-EC50-49F6-8000-5097FC32A1C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"966c1a5d3f0e8b17f8955f926455d9b4b4ae4e0e","datavalue":{"value":"6310034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$A00809FD-2894-4569-BBFA-B0A2E49A8109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248097$B8470DE5-3869-404E-856A-8D32CD07B56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960b661fb2cee8995a018f7d455348b011449448","datavalue":{"value":"safety verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248097$818159F4-296B-48FF-8E14-65ECC00F091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248097$354DFE62-2002-4087-BD98-78CEFEA3126E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248097$5617B04B-2448-4EF3-A08D-04427E0E3726","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":"Q2248097$C17D0890-F323-497C-9988-1EB03BCC1B56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e816a9aae87a0819dcefa6573545ba3a82d6c94","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0196-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248097$6D2854BC-F427-4E20-AE9F-8FD05BD05122","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97d97734c9d15d37faaecc30746f1c511f6fd661","datavalue":{"value":"W2094434555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$9158F482-DA24-4F15-958B-010E8602D627","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db8c8c50a5b09b390186b83e87e456c7ebfa5720","datavalue":{"value":"Q56338523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$C5240BA3-3D78-47B3-90ED-276F5CFB595A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fdef77660e527dbc345236f7aa4730fa26f001","datavalue":{"value":{"entity-type":"item","numeric-id":5905479,"id":"Q5905479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$193464DE-EF58-43C5-9ECE-A841286B017F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e874a4b1db34057d201b0e3598ecc942c1234aae","datavalue":{"value":{"entity-type":"item","numeric-id":5384983,"id":"Q5384983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$3F29637A-9505-4DC5-8E02-93C54670106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$955FD821-151F-4747-96F8-5A148BB8D581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca9b29ae4579420e2eab175344d321019cd09c9","datavalue":{"value":{"entity-type":"item","numeric-id":2566008,"id":"Q2566008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$B19E915D-E1C7-44D5-8317-488C3175D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8826dd264d7892fe04af0eccb81516a5a0d8ee65","datavalue":{"value":{"entity-type":"item","numeric-id":3021278,"id":"Q3021278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$58A1293C-39D9-4E37-BF03-5AF10000321C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4e2c9ced5d4712927dadd7766b626d1457443a","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$06FE3F7F-5C81-4F6B-BD1C-BC932DB56DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7093fdeaa3c6b98a6db2da66470cea5e44add10","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$104F31F7-CF04-4620-940C-DFDCFF8EAEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d770a871525146eb4607f50572fb10750bd12b6","datavalue":{"value":{"entity-type":"item","numeric-id":5714448,"id":"Q5714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$0F825CB2-90D8-4784-8FFB-29A76F244EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006105d6cc35a4c0c56f5ce79a9166a8101fd845","datavalue":{"value":{"entity-type":"item","numeric-id":3224358,"id":"Q3224358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$6AFF3510-8B44-4493-88CA-D6C74F1FAE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ca5c3d8d57fa8fa60f1eb773a67a7d01edc67c","datavalue":{"value":{"entity-type":"item","numeric-id":856502,"id":"Q856502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$32103546-1E18-4443-8D53-AB4C9806A9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$A4C66042-A381-4BA0-9CC8-B5F39042AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$22CB55D3-F44A-4CC5-AA19-F1CBFE134ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$025849FE-E553-477B-9042-12C838C1CB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b76e379d67a63dcfbf1966cb6f73851d58c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771497,"id":"Q2771497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$62F05D1F-EE37-4C86-B420-B25FE4D4B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$80448C6D-45A8-4236-B295-1173A955D5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001dd397cb92a2c48ebf13d0157bcc10fabd150","datavalue":{"value":{"entity-type":"item","numeric-id":3998722,"id":"Q3998722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$5897E655-EFA8-4E7F-8480-311524932C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f309ceda465abd1c7ff47918fafc1312a3f4da16","datavalue":{"value":{"entity-type":"item","numeric-id":1975199,"id":"Q1975199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$1CE29AB1-1293-4364-8389-BFCFA3025D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec764c4d3a652c60c83b4a211dd39edbba24bf41","datavalue":{"value":{"entity-type":"item","numeric-id":1600045,"id":"Q1600045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$2805744F-BD81-4C6E-8F4C-FD2A4F9A1B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b664b48d3863cef99de8ca1cf666e1284f24b2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$F0B3E2C4-7709-4121-9FC3-14816A7FAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$38AD88B5-6ACB-4C5D-8660-0C42C026485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248097$39F94DEE-5071-400C-BB37-0CBE11DB0115","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e6fdfeef4b2dfb71961f6eee2e5edf6e50d3906","datavalue":{"value":"10.1007/S10703-013-0196-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248097$675186CD-116C-4A9B-9490-56A2067CD41F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"307d5bfdb6af94f2dc83a912280825a0941683dc","datavalue":{"value":{"entity-type":"item","numeric-id":3569093,"id":"Q3569093"},"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":"Q2248097$4F02FE36-8B28-4105-AA7A-2606D91067E2","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":"32b0e7d87c2568123eb0b9c4ba064e2906d936e3","datavalue":{"value":{"amount":"+0.8122059106826782","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":"Q2248097$57038429-E4CA-4398-A5AB-FED38AF2D7BE","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":"4fefacaa942531c1654cc5fea3fbf3ea5479ee88","datavalue":{"value":{"amount":"+0.8107487559318542","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":"Q2248097$6CDF8EE1-59A6-40D8-A05F-782418B19D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c73a5aade10532c0f2bc760e714030377ba6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2986715,"id":"Q2986715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d223a3266368a6723233e0a779575e9f14188730","datavalue":{"value":{"amount":"+0.8004158139228821","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":"Q2248097$ECDDC282-B77D-40EE-9B46-725EFD60CC04","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":"a1d798e9e6c3ddacab43574d3d5ba9436115fb0d","datavalue":{"value":{"amount":"+0.7954950928688049","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":"Q2248097$1BECEA55-3C6F-482A-9996-9F30E22F0DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2248097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2248097"}}}}}