{"entities":{"Q2970258":{"pageid":2980983,"ns":120,"title":"Item:Q2970258","lastrevid":52770461,"modified":"2026-01-23T11:27:26Z","type":"item","id":"Q2970258","labels":{"en":{"language":"en","value":"A quantitative characterization of weighted Kripke structures in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6698004"}},"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":"Q2970258$7F23219D-3570-474C-B3E8-EE956D3C60FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e106783415538eab0c2c148197966ae0c0d45319","datavalue":{"value":"1413.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970258$99702D21-4EE6-4189-8198-8B62D50E11F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2970258$525E7E2D-55E6-4457-93D7-95103E1F7321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2970258$F041D37E-B292-4B0D-85E9-3E656EAE6B8F","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":"Q2970258$5DCDAADD-6B15-4729-8BAF-353E1092BC44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ea4d774be76e88bc5b22d4c282f8290226ab94c","datavalue":{"value":{"time":"+2017-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2970258$BEEBFB55-A720-4E20-95D6-D87FB89EA5B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970258$6F85D1F8-8B8B-4BEF-9BCA-87CA77AD6DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970258$5C2B338A-840C-4E2D-B6D3-952F9074FABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970258$649EAE28-A5C6-4466-A61C-45C1E9287515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d18c5c9d2a98829ee5b66c64dfd040aa6dd8327f","datavalue":{"value":"6698004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2970258$9A8CAA46-77A6-4F19-8DDB-FF65B5E9DF86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970258$E65FC0E9-6BEE-4192-B311-7ABA2B04C5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b388cdcc33ff0671ec29e9208bd859e615dfde01","datavalue":{"value":"multi-valued CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970258$00E075A8-A318-4C84-8718-6029C99A898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f009fcf3952bc33868368d001575896462f6d60b","datavalue":{"value":"weighted Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970258$A7A1441C-7580-4930-AA21-3C04369C6BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4023c850bbaddbc78a1b0e55fb5620c36e50cccf","datavalue":{"value":"bisimulation distances","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970258$8629DA9A-F471-4B10-B328-8F2E3E061916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dba3d25a9ec00e1488e902ce3f0643ee3d1bb174","datavalue":{"value":"system metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2970258$E3A77C94-2D2F-4F2F-9AA5-A46ED82D8293","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":"Q2970258$5FF9BD2C-C613-4A6B-9E09-2FCE67D6D5CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9367608fbc8fe3b14fe05c5a777bb73aac45ab","datavalue":{"value":{"entity-type":"item","numeric-id":2917301,"id":"Q2917301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f9ed976e6a17911f87c1fb9659971a2535f3b3","datavalue":{"value":{"amount":"+0.9972440600395204","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":"Q2970258$393350BA-0013-4A2B-84CA-BC23D918DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdce5d984e872430f9c6659f5905068eaf146b1","datavalue":{"value":{"entity-type":"item","numeric-id":3457780,"id":"Q3457780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e877aa9c4069a192024a7ab29b346a9a3db49436","datavalue":{"value":{"amount":"+0.8364769220352173","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":"Q2970258$1C5821EF-AD16-4E96-A459-03DF1791AA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cab920b0b3bf4d8bd69344cff6e5d00c77ea8d8","datavalue":{"value":{"entity-type":"item","numeric-id":1810854,"id":"Q1810854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2d98109de6fa3457c0638e64da8e136dc509a2","datavalue":{"value":{"amount":"+0.8016704320907593","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":"Q2970258$F21C85F2-9593-4A5E-B4BC-348D04E9277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f3b6eb92d048405e7a5111c42f9af2bdc80f68","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1429a1cd742f6d9fa4da343abac7efd7fe50f94f","datavalue":{"value":{"amount":"+0.7977737188339233","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":"Q2970258$5222445A-36FF-4DCB-99FD-8FD28C21BE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61acb04ca13cabbeeb212733af10213790beb293","datavalue":{"value":{"entity-type":"item","numeric-id":3637211,"id":"Q3637211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99029f5727e645b7da7b1a28394c4e018f434bd","datavalue":{"value":{"amount":"+0.7919543385505676","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":"Q2970258$CD513D97-CD73-4E9E-8E9C-BF5D632363B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2970258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2970258"}}}}}