{"entities":{"Q6546464":{"pageid":14157618,"ns":120,"title":"Item:Q6546464","lastrevid":55670203,"modified":"2026-02-17T20:44:55Z","type":"item","id":"Q6546464","labels":{"en":{"language":"en","value":"Deductive controller synthesis for probabilistic hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855871"}},"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":"Q6546464$E6172CB1-367A-4D2D-B149-3B5B2F31B67F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0051b3a4281f4f4ac4e3bddadeb12b2f7d4a2861","datavalue":{"value":{"text":"Deductive controller synthesis for probabilistic hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546464$CB968712-8338-4152-B2E1-A8379BB3309E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7812885fac1975096b82c5982eb0f5653d87dac","datavalue":{"value":"10.1007/978-3-031-43835-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546464$F7703AA9-AC3A-47FC-AB9C-4B8C38CE19FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d15570d0ef8cd57f6c5142718f441c26d575d468","datavalue":{"value":{"entity-type":"item","numeric-id":2044198,"id":"Q2044198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$7D3B2D40-6924-4DE3-96A5-D0561077518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b65ab3ec984fa0fbff611ca057ffca2dc3c7f57","datavalue":{"value":{"entity-type":"item","numeric-id":498911,"id":"Q498911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$9B1B740B-2872-4735-989A-461233F35699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c6b8ec8130ff9aedec0af96f2fb34ae07f3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1702920,"id":"Q1702920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$36C2E5FA-8D7F-4A88-9E33-F7F966AD8F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df30e4342fc541ce2812727e43bf61b37a6f207","datavalue":{"value":{"entity-type":"item","numeric-id":6045057,"id":"Q6045057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$4544D244-9101-4E20-AD3E-8A352B5DDF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c875d70972bfe60441b35130c3a2a72e2df26df","datavalue":{"value":{"entity-type":"item","numeric-id":6546463,"id":"Q6546463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$F73B3DF0-06DC-42B8-A3C9-68684F7C9E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-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":"Q6546464$6661A998-6602-476B-B3E6-BF53F5C33F28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546464$8844A2CF-391C-49BE-B567-2F2B0496C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546464$B116639C-EAF7-413E-A2D0-0D954EB0DA13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad39afef227ba04dbabac6026dec83cbf4fdbac","datavalue":{"value":"7855871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546464$60762853-7881-4933-A764-347BAB87559D","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":"Q6546464$D070E7A3-A258-4FDD-96BC-5501494A6F0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4487bbf1975ec8a8efa423b9a88974b14b2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$B8786F60-2A49-42B2-8DF4-1A36C2F76E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$DA936A68-C329-408D-9767-D1FD1B37CCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06c11f30e695c77ba80afd7e2ef85b003feb514","datavalue":{"value":{"entity-type":"item","numeric-id":2044199,"id":"Q2044199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$16BD885C-FAF7-4866-9CA5-44915FB133BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$419E3221-D960-4970-9D7C-31B4B4C4317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c38fcc5db403b10ff31f45e67dea690b2aa47d5","datavalue":{"value":{"entity-type":"item","numeric-id":6141758,"id":"Q6141758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$36BADFE0-B24D-4483-AA9D-3073A3825925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$02922824-74F5-4FA1-9F00-87FF6FB23BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$CEB05F0A-CEAD-48D7-A3F0-8BB3D4547EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64889692d9905d87bdd3d875dc16b4c43f8135ec","datavalue":{"value":{"entity-type":"item","numeric-id":5150949,"id":"Q5150949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$756C1B28-C128-40FD-A4A3-833A10EC5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af4c8628c39415db8532d7ed1923a812de2f281","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$C1D563A1-F4DA-47D8-8FA1-4FE0AA859C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef83b15af192f9015a698c4a957855879037349","datavalue":{"value":{"entity-type":"item","numeric-id":6091408,"id":"Q6091408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$6BF8FAA9-E863-4474-95F2-A438C92C9ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40531d341fd8cf721b83d156f266c394aeed15c5","datavalue":{"value":{"entity-type":"item","numeric-id":6485906,"id":"Q6485906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$517CFBF6-918B-4461-A087-ED78BBE024A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71317b38eecffd934b87c821f676752df0b0563","datavalue":{"value":{"entity-type":"item","numeric-id":2105474,"id":"Q2105474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$A0F73D60-7C07-43A8-A582-2B7EED35B59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55abaa567248a298d22e474159debbc488cee66","datavalue":{"value":{"entity-type":"item","numeric-id":5901226,"id":"Q5901226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$8B2C2EFA-58D7-4D15-B9AE-C8C23253D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dbb3d368752104ef954ffa0a463fc7e2860ca29","datavalue":{"value":{"entity-type":"item","numeric-id":6045009,"id":"Q6045009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$63F69E0E-F8E4-4A56-A3B4-6167C8B7299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0694cdc39b22e204737c487ba74f53cbb8e1ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$99962493-F020-43E6-BA09-2383CBE62FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e18a3ba6ede32729e4fc482dfe2d28ac6300179","datavalue":{"value":{"entity-type":"item","numeric-id":5137350,"id":"Q5137350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$F35D8E96-BC45-46EA-ABE2-E98EFAEE1A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$841D6244-8952-41E3-A4AF-316710B2F156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b43fdc52b4928ef4cdc1ed999ac4f9fb7d4657","datavalue":{"value":{"entity-type":"item","numeric-id":5089265,"id":"Q5089265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$CB3F483B-4FBF-429D-BA4E-FAAE860C057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b440e6328d89120e55a0cb0f9994b636ebbf75b","datavalue":{"value":{"entity-type":"item","numeric-id":2945599,"id":"Q2945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$F09048F5-125D-4A6A-9483-FDF920228696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24afc659b64f81e2c5d3a69828539e3361fae76e","datavalue":{"value":{"entity-type":"item","numeric-id":2165513,"id":"Q2165513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546464$71B4BB26-DEBB-49EC-BD22-C38E825AD2D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d66a7a39dc9ffcc4762e3c3e8588b3573010c90","datavalue":{"value":{"entity-type":"item","numeric-id":2105474,"id":"Q2105474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ecc73c0bc8b7c4a88986f3aca49bfe437ce08e","datavalue":{"value":{"amount":"+0.8102390766143799","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":"Q6546464$9F1EF181-E7D1-4B05-91C0-D2D4A7AC4684","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":"bb3255d8762f58572305b623fda16436c8c47173","datavalue":{"value":{"amount":"+0.8036123514175415","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":"Q6546464$2E172A77-B52F-4B5A-8EC1-9C6A3E4C683D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd273373a616967bf9a7adaaf0d6d808414f5c46","datavalue":{"value":{"amount":"+0.799848198890686","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":"Q6546464$F7647F33-0692-46D9-AD7C-4BA800DDD746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e27ffb4ae9d7da23a5ac37c428f13cd688867cb","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd27bef8f6e4ed96dfd5a4bb302b5d8532c54e84","datavalue":{"value":{"amount":"+0.7801600694656372","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":"Q6546464$D5D8EA63-96CA-4033-AF20-6A3ECE50913F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546464"}}}}}