{"entities":{"Q5166664":{"pageid":7196236,"ns":120,"title":"Item:Q5166664","lastrevid":41759113,"modified":"2025-05-08T00:53:39Z","type":"item","id":"Q5166664","labels":{"en":{"language":"en","value":"Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314093"}},"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":"Q5166664$E9BE118F-F675-40A2-BC05-B8F7D3EE5FF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6882a5e451875f3f7069cd6b54c59df8cfa120ae","datavalue":{"value":{"text":"Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166664$467A2B7B-E237-4CA4-B855-1589615EBE41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cffd76d9fee9171af2e6664c568459c8f8e608a","datavalue":{"value":"1409.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$2F2C8F3F-0C1E-4D25-9F90-3DC9ED5A194E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"056b307e65e0446239eaf053d223fc6077ec6a02","datavalue":{"value":"10.1007/978-3-642-41071-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$2583A190-2DE3-4F6E-9919-3A30DD4D664E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c685886fb9aa9eb6469bf24dace0c21d3e9ef30","datavalue":{"value":{"entity-type":"item","numeric-id":5045390,"id":"Q5045390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166664$25CA4EF6-957D-49F4-B9D2-E51CB44E5807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166664$031BEF76-C878-40DC-AEAF-D4CE88006042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166664$8CE52005-1C1B-4997-A806-FB50C3EA062B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166664$F4C957CE-08D6-42A6-90B1-530BA48E52FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166664$9A68DE2B-30B3-43DB-B1B5-20FAF5BAB5F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$2B744C8B-6EC1-4ECC-9F33-3B2A71F0DA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$BFB3FB0D-D668-454B-8B47-2E519ECCD538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$ABE2E6C5-9D74-4DCB-BCA5-78D7B8ADEC7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e885a4973b5f5e6982a8ea69cdfe4d96b11aa2c","datavalue":{"value":"6314093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$760A71C6-CF67-4C72-AA0C-034240F42C66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$83A76723-1020-4361-A7C7-216F629B46DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"242ac10d3372a54a67c02328e8ea3ffc9d57e24a","datavalue":{"value":"min-entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$24B9B8E3-DF97-48EC-8C57-3F8D2313B497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fe91229cdcc3ab8556bed0393ff98b733dca0d","datavalue":{"value":"belief-min-entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$F02B5203-7D49-406D-8813-129C34B73365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88eb8389684a2f856fb60b2fc49309d8a3aeeca3","datavalue":{"value":"information theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$B7A99B4B-00E2-4115-AC52-063C1E851709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24b6d2042d21e76f77d23786856aab9044859a84","datavalue":{"value":"vulnerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$75A284CF-B29A-45BB-8D76-E55BB919145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$B1423FCF-47B7-48E7-999B-B1F2DD2FF9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$C1970B30-82B5-4E8A-A89B-33ADD938F735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a98f4f63c134cf5f8bbe7dd8160815c1e044dd6","datavalue":{"value":"HOL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166664$12378A1F-5F93-4086-AF0D-0B236859D0C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166664$A4592A0C-84BF-4235-96AC-A08FD7674226","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":"Q5166664$2C5F3877-1F0C-4108-85BA-A5E4635BFD6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71415746f831cdf84955675dbbf0f67a97c143b2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41071-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166664$5D962A5B-65A7-407B-A2BE-EC919E4AFD9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3980d1f6fe3a0d21a0b87c522ee8e51619cd637a","datavalue":{"value":"W2139824189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166664$5C9161AE-B5EA-4B59-8C67-8E6287ED9AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c500936d16acd5a0ba5ece28467ba4049d9d01e","datavalue":{"value":{"entity-type":"item","numeric-id":2024334,"id":"Q2024334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e2bd62f41f25a249844e3b760c4609f0aefbc0","datavalue":{"value":{"amount":"+0.87337935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$006A567C-5B6A-4FC7-B6BF-B14C7DC30F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8293a3be1a4fc61164a8cb763c1179e290eaac","datavalue":{"value":{"entity-type":"item","numeric-id":4688316,"id":"Q4688316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4ce019f67ef0d550142bff02f8c3917a028e0b","datavalue":{"value":{"amount":"+0.87203825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$B6370777-928E-4DC7-857A-86748646C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6190e40cdd6bb6dcf015918a528530f486ac7619","datavalue":{"value":{"entity-type":"item","numeric-id":2422017,"id":"Q2422017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b50b34f472e54457a71020ddeee28db45a7fcf","datavalue":{"value":{"amount":"+0.8714096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$217AA789-B4A2-4FF4-8E69-4C28CCDBCCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf0c0aaac25790a5f61c6a62c479f69532c5128","datavalue":{"value":{"entity-type":"item","numeric-id":5045392,"id":"Q5045392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96a5db3073693fc953fbaddf311c27eaaf4d7af","datavalue":{"value":{"amount":"+0.85619336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$82B03B41-99F1-4216-A2B5-64C32BB4D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65d2567518f67edb9730ba19247af76df733dcb","datavalue":{"value":{"entity-type":"item","numeric-id":5691489,"id":"Q5691489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f11d2b05fba8fddb992bd63ee4724070b7b85b5","datavalue":{"value":{"amount":"+0.8529379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$6D1447F1-2AC5-49E0-9F76-7FD638B404D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfe1bbb29d09d1306c379c4473769840b7bbe8d","datavalue":{"value":{"entity-type":"item","numeric-id":2453114,"id":"Q2453114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1f2c9bab3aa10cf077466e125712231bc89ea7","datavalue":{"value":{"amount":"+0.84634644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$C3395CBC-B3F6-4B26-893E-3F7C3F2F5A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1053ba1f88e67649b269b88643bf20597dbf576","datavalue":{"value":{"entity-type":"item","numeric-id":3499769,"id":"Q3499769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b905b158e131e4ac306b37f15a818124a062f24","datavalue":{"value":{"amount":"+0.84605014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$24251030-6364-48FA-9FE0-B61B5CEEC45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0365f30d8b93f375a4c9795074de913c580a392","datavalue":{"value":{"entity-type":"item","numeric-id":2978540,"id":"Q2978540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67f3e0fff99d75d344ce8f4c0d6942d104cd28f","datavalue":{"value":{"amount":"+0.84378266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5166664$CDEEE7ED-2625-4FFA-8A5F-5903CBAADEEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166664"}}}}}