{"entities":{"Q3588086":{"pageid":5617990,"ns":120,"title":"Item:Q3588086","lastrevid":51077135,"modified":"2026-01-16T13:09:48Z","type":"item","id":"Q3588086","labels":{"en":{"language":"en","value":"Robust satisfaction of temporal logic over real-valued signals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5783576"}},"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":"Q3588086$5E4370A1-1E86-4299-8235-606D286C89CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a91ad282a50bbed425c08f0927a314834847cf3","datavalue":{"value":{"text":"Robust Satisfaction of Temporal Logic over Real-Valued Signals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3588086$7E09D413-50B9-40F4-9E42-D553253B87DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99f26789d1163c1103380afc5ed01273a2094669","datavalue":{"value":"1290.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$E01D09CE-CA8F-496F-A070-5773AC8C27E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c390f0b7514023e8db1c3d5a08622f50b837e3dd","datavalue":{"value":"10.1007/978-3-642-15297-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$3AA32E58-18FB-47FB-92CE-9F47C36C03A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2421cbdcf69fc46f7e1ab053bd39b93ffdc36187","datavalue":{"value":{"entity-type":"item","numeric-id":243963,"id":"Q243963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588086$796D4342-2E84-4D86-9148-71A37767FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3588086$33FCEEE4-F399-4E2B-95C5-B8921AA49B4B","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":"Q3588086$96BE13A8-8454-44E4-BE7A-AA41C9B8BBC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2857b5bc1b1598776d7a167b6234f21df24153b","datavalue":{"value":{"time":"+2010-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3588086$08A14B73-5BB9-498D-8261-C918AA144E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$F15CE6E8-F267-4633-9E94-BC8385B53546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$A2C4226A-DCC8-425A-9932-B4AAEA4BA869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$AB01BF2D-4F23-463A-8371-2BDFB3E67863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e2ba1e20be943bb5c1b408b6289b0288fdef746","datavalue":{"value":"5783576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$6ED5DEFA-A61F-47BB-9BD5-E4F683CB3038","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":"Q3588086$1F38A1CC-1178-4658-8C91-9927C0939474","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74ad790acbf0afe3e290010459f16e86ba191e5f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15297-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3588086$894329A7-1030-43CF-AC23-E9633F574E01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4725e125136a9fb3e002f81f4afb304d4c0e65ef","datavalue":{"value":"W1533557569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3588086$FDE190AB-9F77-4924-B1F9-A9315DE83413","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5637be22dba13cfeb1b0957da64ba14e7ba856ae","datavalue":{"value":{"entity-type":"item","numeric-id":3511234,"id":"Q3511234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfde257ac26d7351bb76eb4edd99ce3a7d5b2f0","datavalue":{"value":{"amount":"+0.8223122358322144","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":"Q3588086$DF24DAB8-28AF-4FBC-B237-998AF9DA9DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02573e29b41a0176f3ef90ff19314c3addf01f74","datavalue":{"value":{"entity-type":"item","numeric-id":732015,"id":"Q732015"},"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":"Q3588086$B2912649-B674-4A0F-809A-64F42DC3031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60208c85e554d17d6211608794d6aead0da7c0cf","datavalue":{"value":{"entity-type":"item","numeric-id":548479,"id":"Q548479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc169d51c7a40b5683f8bf6c344ba090c133d8a","datavalue":{"value":{"amount":"+0.7811472415924072","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":"Q3588086$FF320459-F6B6-4E23-A201-06F5DF9B5D43","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":"4189935fbdef719b068610828e5ff67dc88897c5","datavalue":{"value":{"amount":"+0.7717912793159485","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":"Q3588086$C30A65AE-EE3B-426F-B91B-989E8F5E1E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f867bae5b6f0346f821f38e5e1e6e18ebbacc9","datavalue":{"value":{"entity-type":"item","numeric-id":2178216,"id":"Q2178216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0acab05970ea8fa377423c435096b728408cd6a6","datavalue":{"value":{"amount":"+0.766287088394165","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":"Q3588086$A65A48E0-843B-4F81-8685-BD7E79154ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3588086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3588086"}}}}}