{"entities":{"Q3617769":{"pageid":5647675,"ns":120,"title":"Item:Q3617769","lastrevid":50618993,"modified":"2026-01-14T14:24:57Z","type":"item","id":"Q3617769","labels":{"en":{"language":"en","value":"Falsification of LTL Safety Properties in Hybrid Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535646"}},"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":"Q3617769$0A3B32B6-E723-4090-BFC2-31F7832A26C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"533b090e162ebe53e49df2d7023e317c50c6703f","datavalue":{"value":{"text":"Falsification of LTL Safety Properties in Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617769$53FD7530-0552-4E39-AB27-4A327E9B415C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"927404ecb652e20abaf916badc76171348b72db8","datavalue":{"value":"1234.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$FE45EFCD-6CDE-442B-B42F-C64A9490E74C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07da2f04b60913cfd3b5328eb984c8bc8a9e4d3f","datavalue":{"value":"10.1007/978-3-642-00768-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$72F16B50-34EB-4E61-863D-AF873F11F060","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f481d0cc36755963055424ccb7d2804f52ecdc0e","datavalue":{"value":{"entity-type":"item","numeric-id":869399,"id":"Q869399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$EA650FA1-1BE2-4770-B36A-29878FE683AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8659dd979e2db2518af6f5e1d6964a814e6c5a6","datavalue":{"value":{"entity-type":"item","numeric-id":406002,"id":"Q406002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$8B779AC8-6547-4399-B88A-1660D8B612EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$5B2B7217-B4B0-4B19-AE31-A5D594EF995F","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":"Q3617769$A6098D9C-4973-4387-BC72-048E127404D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617769$185CACE2-1361-4F51-AE9F-EE779B6F2372","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$798ED1C9-CDEB-4641-9D94-09AD6CAA4AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$2B2BC622-E31A-4025-BEFD-3BF55C0E1392","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6a4190441e3911bad5ab781b72b7e70288c22c9","datavalue":{"value":"5535646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$3D8D96AF-B672-472A-90BA-93A9597D58A9","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":"Q3617769$246F0AEE-43F7-4AE3-AFE9-A94D8D8466B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83883927137a7604692b68c69b858cf0d0cd6d36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617769$81AE1687-8757-4CD1-9441-5051C8CF6C03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f1981c2c8dadb1f387f0e56bce0b2a04adfb6ee","datavalue":{"value":"W1548600288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617769$D9952809-3B67-4689-800E-B3E49C4876FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$C4289E7E-0918-44D3-8554-487022702449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$D4D8DC9E-192B-49E3-8F94-2A2AC2B93150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b13fd4ab335af35b77d54a2c0c36e15378d28","datavalue":{"value":{"entity-type":"item","numeric-id":3612992,"id":"Q3612992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$E11EBAF4-A2D6-434B-AEBE-443121D3BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3e63c80eb78186ace2b0da5fec4010008404ad","datavalue":{"value":{"entity-type":"item","numeric-id":5696927,"id":"Q5696927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$037B179D-843C-4700-9D48-CBC1D555C16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed3a3b6767cf2a81bbed9d30820be861d1327e2","datavalue":{"value":{"entity-type":"item","numeric-id":5307465,"id":"Q5307465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$DB1CCB0C-3937-42AC-B0A5-EC7E9A7FD525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab08d00226b04c0721d8ba9505b575cd11e793e","datavalue":{"value":{"entity-type":"item","numeric-id":5429336,"id":"Q5429336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$EABAC25E-E000-461C-B340-15F9388FC5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b8f99d262ce6909399e1e7420568adb5f85977","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$35A05B0A-E695-4B1B-B879-6B6486E67B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858dabb2d063dfef64236359106cb3c267264737","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$28543F84-EF44-4623-B0CE-0C29C974630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$24B841E0-9F1C-45B0-9DFB-3D5D45931037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9e7f433bcb7cbf75069805afacfa5d1ee10231","datavalue":{"value":{"entity-type":"item","numeric-id":5282354,"id":"Q5282354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$75C3F698-0B18-44D2-946D-3A95F879C8AC","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":"Q3617769$C91FEBDB-9E46-4B78-B6F7-BC9156D21AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$BEE4115B-1E7F-4CBD-848B-5F592051D206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$745C421C-A80B-4B1E-A3E1-E107BFD1A36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a0eddf677d085de24b992acedfddb375f2b47f","datavalue":{"value":{"entity-type":"item","numeric-id":5713497,"id":"Q5713497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$837E5A48-36AF-43C3-B925-51B45A804F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9204df5115bc2238f3e790a23bb056047b3d757","datavalue":{"value":{"entity-type":"item","numeric-id":5488463,"id":"Q5488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$93FEE2EF-EC86-47F6-A349-013A5282440C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4b646032e8013108dd36ef596952be889fcd1a","datavalue":{"value":{"entity-type":"item","numeric-id":4552468,"id":"Q4552468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$EE9ED43C-8FC8-4A12-AF90-1D4460B71E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d0b44bada0d30b360373a6dd546a04a2f86d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3612982,"id":"Q3612982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$F83BA74E-C474-47DE-8767-76C7191DDD2C","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":"Q3617769$FAA50838-B5BF-441A-B03F-2F684BE687FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f330d99f36f3980011c2b242bffc1ecc1eb86a","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617769$13C61239-5C27-46A2-94CA-0AE85D984C3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d3cf226e237048efe83b1447caf33d8668a750","datavalue":{"value":{"entity-type":"item","numeric-id":1693831,"id":"Q1693831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33efde299095608b50eb34951319ffe3b3ff65f2","datavalue":{"value":{"amount":"+0.7784692645072937","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":"Q3617769$48BCE0FB-9457-4420-B1FE-BE008B02987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee852f0724a30ef153a7804f383e61dcd755224","datavalue":{"value":{"amount":"+0.7763604521751404","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":"Q3617769$BC9342D5-E2F1-44DA-A3E5-8C2A9E1F3CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73d6303ae62c20e2c1cd56dbc8affc68eb299212","datavalue":{"value":{"entity-type":"item","numeric-id":1039839,"id":"Q1039839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982d9f41a6d8beaa00b53289e87044535b50a327","datavalue":{"value":{"amount":"+0.7752059698104858","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":"Q3617769$6633E889-33E3-4CF0-9F72-BBB2B148C76C","rank":"normal"},{"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":"97a867c63c953499ebfcd5da58c8124da7ebb655","datavalue":{"value":{"amount":"+0.7739846110343933","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":"Q3617769$9E1A273B-507E-488C-9F9B-2AF7EBE97AA0","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":"5fee972778eaed345c40954d294b173d325a0646","datavalue":{"value":{"amount":"+0.7693310976028442","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":"Q3617769$199360BE-4DFF-453E-BCB2-E0B890E6EB37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617769"}}}}}