{"entities":{"Q2891448":{"pageid":2902173,"ns":120,"title":"Item:Q2891448","lastrevid":84877124,"modified":"2026-06-03T03:06:18Z","type":"item","id":"Q2891448","labels":{"en":{"language":"en","value":"Monitor-based statistical model checking for weighted metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046610"}},"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":"Q2891448$4445771C-72DC-4FC4-99F9-49F2FC2F3BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e063d1b59a72d138a8f494890024125c706a803","datavalue":{"value":{"text":"Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891448$B965FEA7-7EEC-4C33-B7DD-15838C8AAC43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc47490ab42e74005856aeb9574a00cf33330cd4","datavalue":{"value":"1352.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$B391242A-E461-48E1-BA36-6D013380162E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c95834663a73511b150041e1f6e3931deb6c838a","datavalue":{"value":"10.1007/978-3-642-28717-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$54A454E6-ECDD-4F76-BDD6-6EA3EA220B2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a97353bc51f25fad8ab7416ccf1b92210e6d64","datavalue":{"value":{"entity-type":"item","numeric-id":764004,"id":"Q764004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$3A7A9345-633F-44D0-8DA0-3EECCBF5415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$EE4B92AE-F423-4B91-976D-EF950E04AB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1310a7522ae15ea77c4f1edac90b85b7fc7b49a4","datavalue":{"value":{"entity-type":"item","numeric-id":920978,"id":"Q920978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$A38B5FF6-82E8-4877-80C2-535D7B0BCD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104fbc3377339182c599ab57a5ea62dc6b2b1597","datavalue":{"value":{"entity-type":"item","numeric-id":782602,"id":"Q782602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$FE403D43-8A80-4E2C-9C56-70554AA1F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10090c00094d410f953d392dea2aa91bb096dd99","datavalue":{"value":{"entity-type":"item","numeric-id":2018057,"id":"Q2018057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$A8A503DE-3690-48EE-B626-B6AD54CCC6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$BB4CE0E4-BFAB-4AB4-872D-91DE2332BA7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$E91FFBB6-8AFF-4A20-A748-0A776E989574","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891448$01C8D5FA-03E2-4651-BEEC-984664858DD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$1F555CC9-5C60-4FF3-97D8-EA0465DD59A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$EF45113B-CF57-41F8-9BD3-A383FA1A5240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$97732001-A689-4CA8-AA7A-D397F62A3BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$BF8C9F49-2DED-4B16-A02C-DB515C0ABE12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"834a7ed264b61c1c9a10d531221f4f3523a0896b","datavalue":{"value":"6046610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$11513BB9-EDE2-46AF-8DA0-AFDAB6FA0659","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":"Q2891448$54791FA2-DFE4-4EB3-B2AF-D7FEBAE20267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54f0b533582b39d02e94fd769c3e24c352ea1d22","datavalue":{"value":{"entity-type":"item","numeric-id":20431,"id":"Q20431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$153DF7B8-0510-4C12-8242-7E369F83FEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d67076431f6626cc69244c244d9e5de69ba8d2f1","datavalue":{"value":{"entity-type":"item","numeric-id":22098,"id":"Q22098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891448$0587E715-7590-4CA7-BE81-0EF7D8892EEC","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":"Q2891448$14C7B062-B48A-48F2-B07F-4585E2E3A58B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abd6836b33de8abb74b958b319eecf8f2d51d65b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891448$DCA6617D-0926-4CBF-A1B4-115F2A36CBA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3b12fbd7e2a5bc117569e12560ffb7f349fa62b","datavalue":{"value":"W1761383617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891448$C57126C3-7E08-497F-84BA-929669985CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da715f4be0e3c1f13dd14d5cc54e6ca6a4932f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4635594,"id":"Q4635594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a1195a91ecd9232e431c344598bf7bd4a7b1e0","datavalue":{"value":{"amount":"+0.8056292533874512","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":"Q2891448$B4F14552-B805-4947-9B78-91A530537378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffb91bb7d18e5cd1e55a3a0e5b19a8246e0e142","datavalue":{"value":{"entity-type":"item","numeric-id":3172845,"id":"Q3172845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd194e7910591804736a47c6f17a5cbe27dcbfd1","datavalue":{"value":{"amount":"+0.7976289987564087","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":"Q2891448$D0F3628C-F7FC-4416-B95D-C0E2460D8F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e5ed7c5d827dfccf0eb456e649dd4cbb811fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5962025,"id":"Q5962025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48961b442327763342819d950b48730916de61f","datavalue":{"value":{"amount":"+0.7856042385101318","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":"Q2891448$007F943B-707F-4986-89B4-8D38F58730A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5644a29dcd4b5ddf288711c9dd4b57bf351e8e2","datavalue":{"value":{"amount":"+0.7833085060119629","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":"Q2891448$992A2745-8F85-4824-AC8A-8A0B42F40864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c870ca1d6a10c5f7e38c224b08358422492f431f","datavalue":{"value":{"entity-type":"item","numeric-id":5858720,"id":"Q5858720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07abb35d4452f83407f1bd6ae2b97de4e3c0e635","datavalue":{"value":{"amount":"+0.7740310430526733","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":"Q2891448$651CC0CF-BC2E-46AE-AC20-1D544DB67C32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monitor-based statistical model checking for weighted metric temporal logic","badges":[]}}}}}