{"entities":{"Q436406":{"pageid":438173,"ns":120,"title":"Item:Q436406","lastrevid":61815108,"modified":"2026-04-11T01:51:33Z","type":"item","id":"Q436406","labels":{"en":{"language":"en","value":"Certifying assembly with formal security proofs: the case of BBS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059156"}},"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":"Q436406$79345161-BA82-43E2-ACF6-4B19BB2CE58B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d20686437ec3f178c1ff30130bb7897121a6d89a","datavalue":{"value":{"text":"Certifying assembly with formal security proofs: the case of BBS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436406$6A58E088-792A-435C-9940-4D2CE9B14202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e43706c72531e0d4196125c64f0f413e5c569b2","datavalue":{"value":"1243.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$068804B2-C156-4BD3-9D66-97898DE69865","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$EFA11BC5-586F-4823-8010-7C742EAD2D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ee574701164a58a9fa6713978faa34b1f4b4298","datavalue":{"value":{"entity-type":"item","numeric-id":436405,"id":"Q436405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$A8409824-D490-4FAE-BB46-9207C0E6F904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$D71F31CE-3241-46C9-AC4D-6543E85E0B99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$C8887B92-2059-4296-A27A-6410329EBDA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436406$6AEA71BD-3775-45E0-835D-A07EEAE11FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$7466DD20-8BFD-46F1-BFEE-4247CE7A6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$FB899B38-06BB-4ABE-918F-B1A3671EEDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$71E093DA-0DF9-421F-85C2-DBA0D2151F3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ffa8e12decbf19a51206e2ebec6cae17da1b0ad","datavalue":{"value":"6059156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$E6458C0A-D233-46A1-A5D2-8B1EC601CD40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q436406$6C710AED-9389-419B-AD87-B4107A6EB979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7593db3e993433bf29246ee90636965cb46c6e","datavalue":{"value":"assembly language","type":"string"},"datatype":"string"},"type":"statement","id":"Q436406$6FB9C1B6-388B-41D2-9231-99C81A991B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q436406$136683E6-87E3-49AF-8FD8-70EA10FB606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c268b9b59178b67da07bdaa606aa273f2bc84c8c","datavalue":{"value":"PRNG","type":"string"},"datatype":"string"},"type":"statement","id":"Q436406$5687BED4-0700-431B-8C4B-DE14F0A729CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564664e04ed8722ea9a8797361f6b33443e431ed","datavalue":{"value":"provable security","type":"string"},"datatype":"string"},"type":"statement","id":"Q436406$FE6859D6-C5CA-4034-8956-F23EE1AC213A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$B91C4230-87FE-4B29-AE40-747BC0A2D38A","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":"Q436406$3D7FF185-EB5C-4830-AF36-6B82EC152AEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb8f730dc2cc8f393b4160ad58f7f2562890ae1","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q436406$DC3C2C69-3551-4461-83A3-8BDE7AEB5218","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec802a20f029e141a9bbdf6e6b6febee2ec3a4b3","datavalue":{"value":"W2080143965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$C5763A64-6BCF-4B85-83E0-5E43B887EE82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57834eb7e7e8385d6f15c339dc4ff106e3db9f01","datavalue":{"value":{"entity-type":"item","numeric-id":436406,"id":"Q436406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$B6992360-E5FA-4A9F-8F17-F1EF763F68F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5def8217171ccce42821c47f54465a35c37832e","datavalue":{"value":{"entity-type":"item","numeric-id":3503878,"id":"Q3503878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$5226617F-1770-4BB9-BCC3-56217B2C5B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f8bfaa468e637db4889a8ff43ea6b011ceb641","datavalue":{"value":{"entity-type":"item","numeric-id":5505567,"id":"Q5505567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$52AB05C8-5A78-430D-A831-EFD09C89E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$7F782415-5CF3-465F-8BB7-53A6C7B85331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b729bbd6e61b662781ffb74f80a3e1dd1a8250d","datavalue":{"value":{"entity-type":"item","numeric-id":3738458,"id":"Q3738458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$46657054-5146-4435-AA45-8DACE7835F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4629e0ab1ee22da79a7efb8a64c527209ec5aa0","datavalue":{"value":{"entity-type":"item","numeric-id":869951,"id":"Q869951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$35B31853-B5A5-4855-9122-595440AAC13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$8A2DB440-202F-43BD-AA9E-44AB5AA84129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$EDB65F97-C3A9-4590-A0B0-47E0F474DE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c1aa602e2ab6867eb09c994970bc604aacfee","datavalue":{"value":{"entity-type":"item","numeric-id":4718481,"id":"Q4718481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$68B4F94F-0081-44EB-8DB8-75AE9F0FF658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2654d5ff3827fcd8097156ceeea53d97ceca9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3347947,"id":"Q3347947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$7A37F303-8971-4AFB-83AB-4E371B9C77FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37390f2d88033b6fa056e221236b35b17117208","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$BA677E22-B052-4BDB-9051-D3D35A21E77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c68b4d2f2637cb9ac79742d9c96fc8c9c5a22","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436406$34959C78-506D-46DB-827A-7890193DBC8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8db16a8408ab24f8b743c27506f3283091550d65","datavalue":{"value":"10.1016/J.SCICO.2011.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436406$A7BCDCD8-9712-4CDD-855C-0FD41BF92BA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cadaf031c9fd85e583aad9ed7daf3b5d8afe4a5","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b1c000b0d0a299f8269121446c90ef1cd38f02","datavalue":{"value":{"amount":"+0.7652669548988342","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":"Q436406$0C2AC7CF-0F7E-4B1B-8B78-364D57351B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ddf9ca35fc12da4517124284b2941010f0a813","datavalue":{"value":{"entity-type":"item","numeric-id":5747645,"id":"Q5747645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc0af5aa0c63d2d235e6c3b739984e4f4af4b22","datavalue":{"value":{"amount":"+0.7557691335678101","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":"Q436406$FFA848FD-2BD1-477D-B2DE-9B0B5046CC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff205fa1d1ed80ffbab66f1d457805ea78209a6","datavalue":{"value":{"entity-type":"item","numeric-id":5009416,"id":"Q5009416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbddb82dfa1a0b1849eaffc001e106defddc4ca","datavalue":{"value":{"amount":"+0.7359707951545715","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":"Q436406$128C99C6-19EB-430C-80B9-AC4C4EA626C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02896020df20265d0c5f6e1eda20f3af14ce9af7","datavalue":{"value":{"entity-type":"item","numeric-id":832216,"id":"Q832216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f665d7c99905253170b967b41c9ec5b0a087dd8a","datavalue":{"value":{"amount":"+0.731529176235199","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":"Q436406$24008778-9F45-45D3-8B7F-3FAA79C4EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fd574059b1fbf5aa99d2abc68db3d7d3fd4817","datavalue":{"value":{"entity-type":"item","numeric-id":5756645,"id":"Q5756645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431202f8cf4dfb2b1791c7ce35ef82bcf4a88761","datavalue":{"value":{"amount":"+0.7291499972343445","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":"Q436406$DA686B74-0185-4425-B059-616E35B807BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying assembly with formal security proofs: the case of BBS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_assembly_with_formal_security_proofs:_the_case_of_BBS"}}}}}