{"entities":{"Q4561452":{"pageid":6591042,"ns":120,"title":"Item:Q4561452","lastrevid":53297831,"modified":"2026-01-24T16:26:31Z","type":"item","id":"Q4561452","labels":{"en":{"language":"en","value":"Parameter invariant monitoring for signal temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6989695"}},"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":"Q4561452$CE3B69A6-AB99-49F3-934E-EBAD6E140246","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1944cf94dfa9a2d7c16fb3ec34f35aed203b818","datavalue":{"value":{"text":"Parameter Invariant Monitoring for Signal Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4561452$9C7CF0E3-1DB5-4D92-AB59-3BF9C913E56B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b43961a95dcdbaac62d5798b25d86d18044525cd","datavalue":{"value":"1409.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$0F46A24D-72FA-482B-B741-EF7ECAD54285","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"243075751951d334ae3863dd56d21e29e380e0f1","datavalue":{"value":"10.1145/3178126.3178140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$7A545C13-13A9-4B50-8457-36C73355EE63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d8460a4509ab76e30002431a0dd2f4fb7dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2272935,"id":"Q2272935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$003A6A31-0E43-4A73-A4EF-6CA40CE73642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b6d0192454945cfd11ae7fff2a3ef168f7c4a34","datavalue":{"value":{"entity-type":"item","numeric-id":4561451,"id":"Q4561451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$D431E034-4C91-43B9-97EB-DC2D0F6CA796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ac1c8d7a11c9062a06e56203362ec688330aa8","datavalue":{"value":{"entity-type":"item","numeric-id":832171,"id":"Q832171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$F0DC6AE7-92F4-48AB-B547-BA40D4389855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"362931b727102df5fedb6a28265dcdd6af53f427","datavalue":{"value":{"entity-type":"item","numeric-id":234683,"id":"Q234683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$E7E90BF7-1B1F-4DF6-9355-88D96FE71696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c6e35e3e7e07e6f3cb1d9f24540dfd7608799d","datavalue":{"value":{"entity-type":"item","numeric-id":234682,"id":"Q234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$46933209-B973-4BF2-BF98-FFA45960B8A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8d096d6981280267a5b4ee4329fbd527e4a5e81","datavalue":{"value":{"entity-type":"item","numeric-id":4561424,"id":"Q4561424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561452$5AA2D0BB-B85C-4C77-9AD2-EE6FFA8CDAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d792d11c9db1b3c1ce8b80dd0d5403f301c3f974","datavalue":{"value":{"time":"+2018-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4561452$D775D451-7E31-45A9-8578-6A66C6E323F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f23d66195825af6865f221e68b7d5e81ba550783","datavalue":{"value":"https://repository.upenn.edu/cis_papers/836","type":"string"},"datatype":"url"},"type":"statement","id":"Q4561452$5B38EA18-4B81-4495-BF08-FC381AD85741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$E1997C07-E168-43AC-89B3-7F2009818D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$DBB89C3F-E8C5-4284-9E9D-0A96EE529A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02a75961919db30b954f11478aaa7fdd924ae94b","datavalue":{"value":"6989695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$973982A6-0137-4BEF-BAB3-72C2FBC7875E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561452$DA48CE96-0E77-401D-ADE6-EA408F57B861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16adbef947735ab718fca013e7909319443b79a7","datavalue":{"value":"parameter invariant test","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561452$3C6FFBCE-257C-4063-9CF5-02F3D972E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561452$E2CDB098-67AC-4997-AC72-12DDC7BAD853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4eb58354b3c549322771087f8738a33713616b","datavalue":{"value":"signal temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561452$63197DA0-A979-41C2-B562-BE5A7E4C02FB","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":"Q4561452$EF74CE42-A6A8-4156-88AE-07D436F78303","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fe8f571d4609f13a4a37ccb2817cdea37a11857","datavalue":{"value":"W2795668711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$5C00A3D0-D5F5-4CAC-9F25-8D35C57509B3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9bc58e0bbee810c28f16e1e2d67df414d50b3c04","datavalue":{"value":"Q130853222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561452$ECB8FED2-0CA0-42ED-BD38-16CAFE0AAC0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d736724e23994b00d486c282b4d29ace85a886","datavalue":{"value":{"entity-type":"item","numeric-id":2402548,"id":"Q2402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5135ce5ba9836429c0bec28a6174861e2710f4c","datavalue":{"value":{"amount":"+0.8382079601287842","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":"Q4561452$20A549F0-E21A-45A2-99C5-309A2144D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659258e10d7c67a4d0eba7d58d6a519d8ae8a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4561450,"id":"Q4561450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d6e71025badf6d656aefc4fd5edb525250b3f5","datavalue":{"value":{"amount":"+0.7973617911338806","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":"Q4561452$0ACB9DF3-6C35-49F3-B7D7-9639F3C97BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173e21510194dad0aa5c5e48274dfbb8878b088d","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e897a010248159ac0696e41bafa2cc8d1c58ddc","datavalue":{"value":{"amount":"+0.7818176746368408","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":"Q4561452$E88F8222-12D3-4893-B3C4-ED3EBF9989F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e4c08c8ecd4bccb8b9b21d40d2dbaec9fe4893","datavalue":{"value":{"entity-type":"item","numeric-id":2176697,"id":"Q2176697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557de351c344d0f849b5dd3299af38a44a78c92a","datavalue":{"value":{"amount":"+0.7667142152786255","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":"Q4561452$3E9D9181-E3AA-4D61-908F-0209427941DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47eae304c14a62ec405de6a705270a1d4bf90c7","datavalue":{"value":{"entity-type":"item","numeric-id":1990521,"id":"Q1990521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a952079c17112a8b4c624ab76d646976f0fe7e","datavalue":{"value":{"amount":"+0.7653867602348328","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":"Q4561452$D036B7B4-C9D6-498F-A30F-F6D388A8F14E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4561452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4561452"}}}}}