{"entities":{"Q2225100":{"pageid":2235843,"ns":120,"title":"Item:Q2225100","lastrevid":78749561,"modified":"2026-05-06T12:21:00Z","type":"item","id":"Q2225100","labels":{"en":{"language":"en","value":"Verification of quantitative hyperproperties using trace enumeration relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306412"}},"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":"Q2225100$8EC8D00B-D45F-423E-9A6B-3860D703B62B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c724fe925d6096f6b855d8bf8bd691ca339cc4da","datavalue":{"value":{"text":"Verification of quantitative hyperproperties using trace enumeration relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225100$26F46917-642A-462D-BB88-9E3824D7B5D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d92516a55b024c3e296009e10f49e6545b45a999","datavalue":{"value":"1478.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$6795B813-4820-4393-9EDA-6E949F10DA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4bda780b0eaddb14bbc70cecd9c51c3c44c4c3","datavalue":{"value":"10.1007/978-3-030-53288-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$68F10FCF-B699-40B3-BE94-B3F125C74D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"def1bf3ea03d218dc385ee2275e09ec722f576fe","datavalue":{"value":{"entity-type":"item","numeric-id":2225097,"id":"Q2225097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225100$013BE110-3B2E-4042-A100-19E890D4B52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4fe0ba691ef72c92972602575ce4d0c3dcf9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2225098,"id":"Q2225098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225100$6DF80C90-B2A3-4310-8C9E-3B9545F655C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"868880e89b8b3225f76d81570c474400c5d1db8a","datavalue":{"value":{"entity-type":"item","numeric-id":2225099,"id":"Q2225099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225100$9579D196-ADFC-4CF4-B4C9-DD7B28E047C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225100$9C1582A1-7920-40A9-B369-4883707D6A25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f452990de0539ff21a7889148c23968f6db4729","datavalue":{"value":"https://arxiv.org/abs/2005.04606","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225100$CE467B85-A1F4-4644-BB1C-6539B79F10C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$C47D43E2-13DA-44A0-9288-2EA6EC157898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$07ACC9A1-B972-45BD-A35E-01DDCE2BE64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$31DDBBC4-25EA-4AB3-BC58-9FA2289D2D4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"914813e39241c22cdc537e476c991e41df3fa51c","datavalue":{"value":"7306412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$694F34B3-1B2B-4D92-9E2A-187D6DD31E28","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":"Q2225100$5445525D-4575-4DE5-97A1-5923BBF4470F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48ef17014263a165050cd236fdb4408dd6d9ec7a","datavalue":{"value":"W3046350355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225100$46D0F2D7-2AF8-434F-8CEE-7F044B15B7E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe70b90a5016ae4e0a85dfb84fa2c704b830cdca","datavalue":{"value":{"amount":"+0.7981664538383484","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":"Q2225100$9CA08206-9E97-4CF6-821F-1422F27721B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a881ee9d4f7c65515250e9bc2bdce222c8b6372e","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07afeeaed61d068f928dd3acbd76286d2999d5b","datavalue":{"value":{"amount":"+0.7435210347175598","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":"Q2225100$23388113-F5E3-493C-96A0-F068162EFF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f9a767cbc59524f9200863a92d8cb9c7390985","datavalue":{"value":{"entity-type":"item","numeric-id":5858726,"id":"Q5858726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4154ccccff2848cd1c0ffb073e23487dbba46f53","datavalue":{"value":{"amount":"+0.7394036054611206","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":"Q2225100$E78AC76A-3BDC-4406-8ACC-9C9FD9B03FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a0139fb622a9e42536d456cffd250201eafe2c","datavalue":{"value":{"entity-type":"item","numeric-id":2453117,"id":"Q2453117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70f4b018effd080337a38dda19896c6611975f7","datavalue":{"value":{"amount":"+0.7394034266471863","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":"Q2225100$91A1256E-36A7-4377-96D0-FDAB577DDCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94aef54c234756b948016b96b86871a47d7ca205","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29296a960c7f418e1f78170c467fc5d6e57806b8","datavalue":{"value":{"amount":"+0.730648398399353","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":"Q2225100$2D0AFFD7-B8C4-4D6B-BD2B-DFBDC87B3C14","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225100$2481B5B0-C16A-439F-B022-E8BBFCE0533D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of quantitative hyperproperties using trace enumeration relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_quantitative_hyperproperties_using_trace_enumeration_relations"}}}}}