{"entities":{"Q548479":{"pageid":550246,"ns":120,"title":"Item:Q548479","lastrevid":51280265,"modified":"2026-01-17T14:09:46Z","type":"item","id":"Q548479","labels":{"en":{"language":"en","value":"Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5914349"}},"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":"Q548479$0C6C43F8-A41B-48AF-8B30-123EE548DF5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"948fd9b26d747634bef0851e565d61186bb7e912","datavalue":{"value":{"text":"Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548479$AB672F14-0DF4-4EB4-8F60-F7E66CFD2A26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a776a4980a2be9153378306280438fe20c018488","datavalue":{"value":"1216.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$D341B5CD-E9BE-494F-B38E-3FAC50709BA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cec61f43bdf014f6133d4a8941c37764ad1e27e","datavalue":{"value":{"entity-type":"item","numeric-id":533353,"id":"Q533353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$64B02FD3-7678-4705-AFA1-4463AE8BD3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ae6eda06b597f20386cb71d2fd47a61f7d9c838","datavalue":{"value":{"entity-type":"item","numeric-id":253516,"id":"Q253516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$1BF39998-7930-495F-9FFF-646467FFD6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$A95103C5-48E7-4E5C-9CA7-B5B9B0260FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e1a6841a438913c0c4f697350a5aa1c22e2108","datavalue":{"value":{"entity-type":"item","numeric-id":272013,"id":"Q272013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$6581D936-C957-4270-BCD8-1AC25E0665EC","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":"Q548479$A70A002C-4639-417B-AF58-9F7C1F7A6093","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548479$2503EF32-ED40-43D7-9C13-7C52290D8BEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9776da650cb66391ed7b2a0b78a0241c6879ac51","datavalue":{"value":"https://hal.inria.fr/hal-01431314/file/RBFS11tcs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q548479$ECCEF088-20EF-4022-8460-2B821D76C77D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$053A6439-E088-4AF3-B501-CE9FBCF6DABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$FFCA696A-ACB1-45B0-87AB-687F16F1EF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$13954AD6-17D4-4A01-A330-73CEFB7B9977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b681d933abd9c4135064e1903f8c0f96da5d4db","datavalue":{"value":"5914349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$6FDFAB26-0389-4CC0-BDA5-EB945CAD1D84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$DCCF9FD5-1D8D-4564-804E-09FACC96B56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$F82E5189-D277-4FA0-B9F6-42942E50CDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$6D273B82-194F-4060-8704-2E224118BF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$12847B03-749F-4880-A4CD-72AAD3ECEBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bff05d2750425dfd2114424872f0a8dcd12c769","datavalue":{"value":"parameter optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$F7FFA12B-6ABC-4CEE-BE7C-8C9417BFAEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q548479$F4EAACA3-F38E-4513-BF38-397EE4AF5C5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$7122BBF1-B52A-4FC9-A4ED-827F04247D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$16F2D956-40CC-41EB-A220-85249B672254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$E0C9515A-7B18-497B-B36E-85CE8C21B01A","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":"Q548479$CC575055-60E2-4748-8CD9-162F57559E8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31dbc37b50a936eb2ee2b40eabd8ea3b5b646df0","datavalue":{"value":"W2003871372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$427D3F8D-40F8-47BA-BF55-FE5F8DABFE07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f276d939ceb32b424ad2add813b092c06ebe1083","datavalue":{"value":{"entity-type":"item","numeric-id":2189295,"id":"Q2189295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$AE7D4A30-4928-400D-866D-F725CEDE32BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002858691d36f1151f3c0038479d7be3d0f19f4","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$2BE08B24-B5E8-48B3-B5DD-71C2152B9170","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":"Q548479$E01F3ED8-FBF3-4116-8377-3E9291C42B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$D9F8ADC2-2589-4CF7-97CB-416F0E905F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ee13b2084124e396a35f67336ad2edfab0fb2b","datavalue":{"value":{"entity-type":"item","numeric-id":959788,"id":"Q959788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$EF6D010A-A0D0-46A4-8F6D-A2004F547D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7c8e844cd7bc0050ec73ff8ef2c3136f9e8d6e","datavalue":{"value":{"entity-type":"item","numeric-id":925313,"id":"Q925313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$95859984-9ABC-44B5-8080-08981710D72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28daa3e4e5da8aa91f35e4770cc1e933187dbe87","datavalue":{"value":{"entity-type":"item","numeric-id":3506870,"id":"Q3506870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$AE572C6B-E069-4198-8BDB-495F0B87EF67","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":"Q548479$E5A0AE2E-51CA-445C-9329-8CD831CA75CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$432A7598-A3D0-4E5B-968F-72E58EBBD3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba5679dddcefa506a90fe4c52d69c9fd1db4f87","datavalue":{"value":{"entity-type":"item","numeric-id":3780791,"id":"Q3780791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$4602995D-58BB-41D3-85A8-E38ED14B82F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c45135af25843bb169fb52a427aa07d54f38bc","datavalue":{"value":{"entity-type":"item","numeric-id":3117024,"id":"Q3117024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548479$BEC428EC-FFCA-4A20-B990-F03242DA5E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4200183c55b4418e10b79246ffe4d3c27998a457","datavalue":{"value":"10.1016/J.TCS.2010.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548479$2E6497E7-299E-494E-8606-5E8DE9EAEF9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0aaa82c672d82efc6cbb8c946d8a7992e98e901","datavalue":{"value":{"entity-type":"item","numeric-id":1796529,"id":"Q1796529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d1563f9f8dd42384475c9acea6dc996df6349b","datavalue":{"value":{"amount":"+0.7829136252403259","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":"Q548479$6F46E40D-61AD-4EC2-BCDB-B6F21FD09F0A","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":"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":"Q548479$C3AFE966-90B5-4160-ADE9-D890E02EFE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e078fb354c73e8a8ca20009e09a5dc9c210f14","datavalue":{"value":{"entity-type":"item","numeric-id":959788,"id":"Q959788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b537256d38158d37cfb7d5a474ecdcee4213fb10","datavalue":{"value":{"amount":"+0.7460126876831055","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":"Q548479$BCB5F7B7-ED62-41A7-971E-EE17C4AE329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635341fe2b70c65723ea937d500700ac72e18697","datavalue":{"value":{"entity-type":"item","numeric-id":5206952,"id":"Q5206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e6586e1f884f57544ab18a1d3e1e97355153c0","datavalue":{"value":{"amount":"+0.7440349459648132","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":"Q548479$B37FB61F-DF2B-4D0B-B7E8-950F89317B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82343990ffac4cf2f0577d0c6e17647676d9acb3","datavalue":{"value":{"entity-type":"item","numeric-id":5452030,"id":"Q5452030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62bda432c06f685444762faf8acb5a8969b42cb2","datavalue":{"value":{"amount":"+0.7362976670265198","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":"Q548479$3A5A464A-DBF5-4717-9A8C-7ED98BAE3E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:548479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:548479"}}}}}