{"entities":{"Q5858726":{"pageid":7888277,"ns":120,"title":"Item:Q5858726","lastrevid":93466313,"modified":"2026-06-05T04:26:49Z","type":"item","id":"Q5858726","labels":{"en":{"language":"en","value":"Quantitative information flow as safety and liveness hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7333241"}},"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":"Q5858726$0FF66402-41F5-42DE-864A-D395366542FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0d9a9b4f6e3222b0171687a707034e0b02d9a52","datavalue":{"value":"1458.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858726$F0BBE768-57F0-479C-ACE7-1B7C7CE368D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82dcf7d2953814f3d201f1d7de56f5fc9bb3991c","datavalue":{"value":{"entity-type":"item","numeric-id":2453116,"id":"Q2453116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5858726$50C02272-5CDD-4658-A5BA-8324CF6E3E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5858726$3FFFE9A9-AD59-4C6B-8749-57E1A392C640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b45cef9412c58362fb90282c6cf1861e657771c","datavalue":{"value":{"time":"+2021-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5858726$B2A66816-E1AB-4E34-B077-E1D290F10193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29cdbfff530811529b5301acf3378d9b57977368","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5858726$BE382EBC-22FB-4E5A-B686-7E0C3E6DE13A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858726$1A6A47CC-5ED7-4BB6-A00D-C3D76C80DA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968171ce77faae1933969807da5360f3d020dcdd","datavalue":{"value":"7333241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858726$98DDCFC0-CD2D-4B12-A3C5-56E0C401928A","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":"Q5858726$EB5AFA5E-F45C-4164-905B-498270EE58C8","rank":"normal"}],"P1643":[{"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":"1ab6058b9285481a3b5d3786e96daeecbf4387c8","datavalue":{"value":{"amount":"+0.9999991059303284","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":"Q5858726$59605794-0B23-46E2-A43D-1FC4A3106AC6","rank":"normal"},{"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":"c66b02f46f08cb3d10313301621f3d0db416a3b7","datavalue":{"value":{"amount":"+0.8205327391624451","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":"Q5858726$14A80FBC-6362-4717-84D3-588C5B222D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94e68ceb951ec3ccb5ae1f72bca65001ec93064","datavalue":{"value":{"amount":"+0.7835057377815247","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":"Q5858726$F2C19452-0595-421A-AEA8-EFCF22089019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c85a4dc54e3c277a5e8122f4aedb3a3e876541b","datavalue":{"value":{"amount":"+0.7528659701347351","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":"Q5858726$EF0A0DFC-BC1B-4034-AF4E-742FC9F725FB","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":"d683f0838357dd84e6fb35c9e8aa60b4b4926de7","datavalue":{"value":{"amount":"+0.7518395781517029","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":"Q5858726$1E83909B-AA30-486D-AB03-5CA18B528859","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantitative information flow as safety and liveness hyperproperties (scientific article; zbMATH DE number 7333241)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantitative_information_flow_as_safety_and_liveness_hyperproperties_(scientific_article;_zbMATH_DE_number_7333241)"}}}}}