{"entities":{"Q732015":{"pageid":733864,"ns":120,"title":"Item:Q732015","lastrevid":63952767,"modified":"2026-04-11T16:39:39Z","type":"item","id":"Q732015","labels":{"en":{"language":"en","value":"Robustness of temporal logic specifications for continuous-time signals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612517"}},"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":"Q732015$C606C848-E203-4960-9113-FD744864E87A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc936d3f91f7cf7ef0f1eb39bc96649af5456f7f","datavalue":{"value":{"text":"Robustness of temporal logic specifications for continuous-time signals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732015$65C00D6F-D24C-44B2-823E-1F8BD4BF970E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70f4e8d41c54137feef88a260a60da8dea05d883","datavalue":{"value":"1186.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$1B4D733D-C21F-4790-A536-173A725E4D02","rank":"normal"}],"P16":[{"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":"Q732015$FFB755DA-84F4-42EC-BD48-27FA9B5AF35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$732EE831-B281-4EFD-8FB4-E8FB6A906A60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$7606CA98-8009-489B-96E7-C7D7E40D8C2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732015$752BEC44-4472-4026-95BF-8AF754A7CB9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$810E660F-FE56-46D5-B82A-540C4FB86A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$18283695-D793-4871-8B6D-ECCF51496A7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3849c2257623a018b74331b6eed8012608efa08e","datavalue":{"value":"5612517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$2B75E176-22B0-45CF-AF76-98BECE2D1DF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61aa6d3836d9beffa3781e0315971fa1c7faee83","datavalue":{"value":"linear and metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q732015$16FBEAEE-FE41-422C-BED3-5273FC8C73F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q732015$46864259-5F6F-4399-9EF4-D31A2DBE25AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q732015$AE19392C-9045-4F11-8F6A-839A421B599D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q732015$DC7C5826-121A-4380-B029-A5C2696FA12A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6aa4d4ba9df1aa9b7fc4817b6a6aaa07aaf3a2b6","datavalue":{"value":"Q57581866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$4C63F735-B3B6-4E98-BA4E-DB5BEA2D33BF","rank":"normal"}],"P1463":[{"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":"Q732015$AD18E9C3-932F-41F5-924A-DA7C8D975E20","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":"Q732015$81CF0A1C-33D2-49CA-87FC-25E4406BEEAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f98aee6406ca040baa892dd401c1e5b5121e23d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q732015$79832E2D-3244-42C5-97AD-31164D761842","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59047ec27baafd4b65f4f4b8cb4706810210534f","datavalue":{"value":"W2049399166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$FCDC704A-02C2-4642-B798-427AE603A44D","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":"Q732015$A279A3A0-FF85-48EF-BE3A-257A38B96FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$E6148472-5FFE-407E-9621-56A296211D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$4533911C-295A-483A-BB4D-204496C08CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$F51077C0-D079-42D6-8792-320AD924F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39262a0a04b7504b30d279eabeb2c8c5d8a139b2","datavalue":{"value":{"entity-type":"item","numeric-id":5703961,"id":"Q5703961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$88F8B488-F822-4A28-85C8-106360010F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e3145509425d2ebb1056e6c97df76c260a5631","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$C3AEBA0D-185C-4DA8-BE88-468E0D127200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa63ad3beef568a35223bb58a8c4174b44fbf81f","datavalue":{"value":{"entity-type":"item","numeric-id":5458357,"id":"Q5458357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$95154FC9-9110-4CA5-8170-93547B919F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$66BAA559-4BD6-41E3-889A-A323921F94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$6BB30182-5DFC-4E7B-B9D3-E368C22A5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$01BADAF6-5C72-41F3-964D-F38F8ABF14DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$23B74C71-7CE8-4ACF-AF3D-0D5437D6AA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca9d08b3ff4ec3a4dc10349b5d1571c578b1d8c","datavalue":{"value":{"entity-type":"item","numeric-id":5096392,"id":"Q5096392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$6F8A3575-B195-4F9C-8F30-43160C2891A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0f8882472439e4d483d9a2815d6f442e9e6e44","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$AA37D3AA-3105-47F3-ADA7-447D7EE1941D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ac71bff610556f3a40b08057be8388f260c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3612972,"id":"Q3612972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$7AC9C6B7-667D-4EA9-836C-92D7DC2B2E4E","rank":"normal"},{"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":"Q732015$72238BA3-2689-4A3F-A5A2-E09B67CFB36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed70fd7afdf25d085782ead2bf971c404cb5efc","datavalue":{"value":{"entity-type":"item","numeric-id":3510841,"id":"Q3510841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$C55F8167-579E-4146-B31F-37B334DEFBF5","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":"Q732015$F40986B0-83C2-4952-BB64-7DFF889C0B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5580b82f022cbd68fd48f8bd5fc4201132414b16","datavalue":{"value":{"entity-type":"item","numeric-id":3511237,"id":"Q3511237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$8AAE86A9-2059-45E7-803F-658DB3EFEA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8276c88e5ecfd9eb06c2bb86f221d91d072841d4","datavalue":{"value":{"entity-type":"item","numeric-id":3510842,"id":"Q3510842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$C1FFDCFC-CB2D-49AA-8DB5-E4ED55F4BF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$BB934AD0-043C-426B-9B3C-2557E69592F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$10CFE031-2332-43B3-8763-6CA66D2A5AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$A152EC46-48D5-4362-B746-03DD63E4F415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$1EEBC0EE-9672-4D0F-8FA1-3F3B75DAE293","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":"Q732015$88D96D23-1BBE-41B2-A2DA-18DC8D934B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$63BCEA51-7343-4FD4-8760-5BA85F3D909D","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":"Q732015$EFB3AAF8-918B-4F0C-96D3-896C10988F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea512cf26a4742c0cfd839f87bb4c58a580a303","datavalue":{"value":{"entity-type":"item","numeric-id":4417997,"id":"Q4417997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$F3855488-8EBF-4E3A-BB0A-A53AE14468EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350aa0d61f62afc2e63c4929aaea997b43b969b4","datavalue":{"value":{"entity-type":"item","numeric-id":3029380,"id":"Q3029380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$AFBDDC40-67A4-4424-8967-933D1FBA4FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd2bec3d37aedb8ba1a2397b59fc3a7482129dd","datavalue":{"value":{"entity-type":"item","numeric-id":4411517,"id":"Q4411517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$A4410E5B-B635-46E6-B7CB-38BB729E427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75351ed8a0075ebc3c0fe5c265cfbdf29ed607c2","datavalue":{"value":{"entity-type":"item","numeric-id":856515,"id":"Q856515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$7042BB44-F753-428A-B162-294B1D554EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$0D052A70-A0B6-4B00-AE5D-517EBA26C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$5C340553-5A21-4633-AAE6-64B2BBB96D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174b988be7a65b823e2ff758f22d6711f67aab9e","datavalue":{"value":{"entity-type":"item","numeric-id":3158806,"id":"Q3158806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$04866F52-E4E1-41A6-8D0D-E6D6119CAD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2284b5e6f79bc0d8bc074f03800a8f90682e94d9","datavalue":{"value":{"entity-type":"item","numeric-id":2753177,"id":"Q2753177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$CDA8E00A-411D-4240-9D53-FA39933BE0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$E1224717-52BE-4C3E-A56C-8962B26E305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$1BDCB033-85E8-492B-B0AC-AE965B5A1DBA","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":"Q732015$0DCE270D-73AB-4C6F-B97F-CD0E50C6AA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2b7fc33a475beafbd49feaf7bbfdd236aafd8","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$9C656607-E7D6-49E9-BEF2-4F975D2C600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff2da48a13edae7e6796addf5a57db0c2671159","datavalue":{"value":{"entity-type":"item","numeric-id":1923791,"id":"Q1923791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$8204939A-5C1B-49F0-9CD5-AFA564E7E5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fdffb5dd1223f571882d363432c9fff29a083f","datavalue":{"value":{"entity-type":"item","numeric-id":2576589,"id":"Q2576589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732015$AF14CCC8-05C1-4927-8731-66E6C5D3CAD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6975138bea97d2d0b81ebc682df91e952c35b502","datavalue":{"value":"10.1016/J.TCS.2009.06.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$6F88DDD2-F8ED-4EDD-A9BE-6A1669E4E0E8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ca396091870f892d33166375ef22f19ecc4509e4","datavalue":{"value":"journals/tcs/FainekosP09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732015$AF17D16D-8EA8-4C0C-A450-83D68042B4E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84aae21b012945e308f388b690b1ea541b4cfc4c","datavalue":{"value":{"entity-type":"item","numeric-id":3510841,"id":"Q3510841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fed4f540d4617cda211deb1d976f0b26af2ba5","datavalue":{"value":{"amount":"+0.8407994508743286","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":"Q732015$64BA5E27-CD54-4169-AC4D-5992D7994908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510a157bcaa18f709ba21a31557a7fe635a8280","datavalue":{"value":{"entity-type":"item","numeric-id":3588086,"id":"Q3588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072a5dec0c360c138478ae343c267bccd455ad6f","datavalue":{"value":{"amount":"+0.8146383166313171","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":"Q732015$486F1687-467A-4EDD-B073-6A3FD28A275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124db228de0684cf5ab759654ea4f9b89ece7f0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946625,"id":"Q2946625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046429f29b594c8477e93c60a93b899ec932c54b","datavalue":{"value":{"amount":"+0.7878230810165405","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":"Q732015$D3AA3B8C-01D0-4236-9F5D-2E99F25B352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82fb90c7f0a01b1caa2eaff67782623af7d5299d","datavalue":{"value":{"entity-type":"item","numeric-id":5395105,"id":"Q5395105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec418db3cab64b5e4b18b196a9bf2de6c630b812","datavalue":{"value":{"amount":"+0.7717264890670776","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":"Q732015$E6169C43-66CD-44F2-92F0-AEB485F4AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c1267fc9e25c0842e7cc91cf17982f671b43c3","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7c4c78a23be39b530836ca3658a6d9ea356cbd","datavalue":{"value":{"amount":"+0.7713711261749268","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":"Q732015$1E54802E-BFD9-4283-B72C-99987180C7E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Robustness of temporal logic specifications for continuous-time signals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Robustness_of_temporal_logic_specifications_for_continuous-time_signals"}}}}}