{"entities":{"Q1687724":{"pageid":1698465,"ns":120,"title":"Item:Q1687724","lastrevid":71999682,"modified":"2026-04-14T01:59:30Z","type":"item","id":"Q1687724","labels":{"en":{"language":"en","value":"How to simulate it in Isabelle: towards formal proof for secure multi-party computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821847"}},"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":"Q1687724$E6A03963-C397-41FD-9D22-4C166A5FC662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c164ed842a26a4137636b098589463ea649569c","datavalue":{"value":{"text":"How to simulate it in Isabelle: towards formal proof for secure multi-party computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687724$5D9B90A4-6BAA-438A-A1AF-01186F09291F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7f17c722ed86ee5be6214fe22d223dff1b0f0e5","datavalue":{"value":"1483.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$BEF3EEA8-F1CF-4066-AB8F-F4E5BBB0B1C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c54c49a7a9d427ed1da439a455b4ed39a4bc36b9","datavalue":{"value":"10.1007/978-3-319-66107-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$DD8A45FE-EC6E-4577-A29A-D145FB5DAFCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddf53fb09c4e4ee45ac66fffeba937512fdd55d","datavalue":{"value":{"entity-type":"item","numeric-id":1667024,"id":"Q1667024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$0B761647-4D5E-4FB0-831E-1A41AE530761","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-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":"Q1687724$899D5505-9655-40F7-9780-E02106053270","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a95f6c4cb7e9dfa3d8096475d4a97d350038a726","datavalue":{"value":"https://arxiv.org/abs/1805.12482","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687724$3EB7611B-22CF-4674-82E2-C3A27A983D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$E5C18034-722D-4B29-94B2-FE979E2C4DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$79D37A1F-69E9-4451-AA7F-20DD1113DAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$3EAC0148-F696-43A0-B8B5-218AF6CD553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$731E3A54-A6F1-439E-975C-98B28B702B06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a192358916f8395b2c2bf980356ac73f8c6074a","datavalue":{"value":"6821847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$8C471FD6-2680-4DA9-B165-732A6AA5B0A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d382a0d4daaa6009e13ab435fb9a8fb7bd856a4","datavalue":{"value":"oblivious transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687724$2566B10E-0BC7-4E86-A25E-4942791F266B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687724$6D813815-7940-44CA-94F9-5D3FDEDC0C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f968223c269eed57f02a73643fa6de82a060dbd","datavalue":{"value":"simulation-based proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687724$5AD0BFFB-0EB1-477D-B4E1-EE96FF0DC33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1687724$5543B2B1-25BC-45AF-B411-655269E69F78","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15aa915ad290b9aa723119975a44403d0765a751","datavalue":{"value":{"entity-type":"item","numeric-id":34408,"id":"Q34408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$C44B29FD-16A1-4C40-B438-9D97513AB11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98535d36815e9957949f203b467e115b0c562b2b","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$8CA046EC-E7E1-4093-83B0-6A8479BBCEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"674a2c1075adf8ada8e0a14dfa1c5a2f6972c0f9","datavalue":{"value":{"entity-type":"item","numeric-id":40860,"id":"Q40860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$E58EBEC5-A233-444F-936B-4860BA697BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$FA16DC34-82F7-49C2-B34E-3AA2294E877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0336abebf413f862620b0d544454ff1d1ce2de34","datavalue":{"value":{"entity-type":"item","numeric-id":45271,"id":"Q45271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$FDA90DD8-BD25-4C32-8EE3-60F9A4A78A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$77DF3BFE-4C51-417D-B243-8BC14C4040A2","rank":"normal"},{"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":"Q1687724$44AA59A4-381F-41F9-8085-6EDF67458F85","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":"Q1687724$E6F924F8-D302-474E-8D74-0834107A0E88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d289bcdbe4e13e62d668385c3686c21bab6084","datavalue":{"value":"W2748077663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687724$6D6C9DC5-81F0-4DD8-9BEA-DA1567D49BFF","rank":"normal"}],"P223":[{"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":"Q1687724$9D57CCD2-68C3-4190-85E7-04B5E44C348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4c931786d4fc7c311f2d1f8f393efad02baa34","datavalue":{"value":{"entity-type":"item","numeric-id":5199185,"id":"Q5199185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$1C893FDC-CFF2-40E3-9AFE-DC6C57B3F942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b7322332bcc199e622549348ab9d1d5ced664a","datavalue":{"value":{"entity-type":"item","numeric-id":4035736,"id":"Q4035736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$01EAD619-B787-4524-906E-35124EFE78BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40651885e589ae16736b2ed26430168a8207418","datavalue":{"value":{"entity-type":"item","numeric-id":3875826,"id":"Q3875826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$DFE90133-456C-44D6-BF18-7C1AC6B7ED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$8B29AF10-8863-4CE8-B6BF-098CC146302D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b989137f15bb9df333f5c29839f54a3a237bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5021134,"id":"Q5021134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$BBC10BC5-E974-4CCF-98D9-D6C7559D542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4009f3842cd451f7c70531760158597018997e4","datavalue":{"value":{"entity-type":"item","numeric-id":1015361,"id":"Q1015361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$C9C62FB6-4AF1-4D59-AEEB-C83A07B57F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ceb0611c3dad4b7ccd6e34ebaa095fdba30909","datavalue":{"value":{"entity-type":"item","numeric-id":3457072,"id":"Q3457072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$74D047A0-5979-4DE3-A31A-6E75CC02A524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a334f4e96bc67eac9a5d7b987fa6f5d79a92b99","datavalue":{"value":{"entity-type":"item","numeric-id":2802495,"id":"Q2802495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$DFFAAE56-7E2F-446F-B34F-CAF93EF2005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0a55ed8fe9237493e6d1c03f5854a8a519be00","datavalue":{"value":{"entity-type":"item","numeric-id":2768332,"id":"Q2768332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687724$38757803-513B-4080-826C-C023156495E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae05dfc1a43ad184234e6e19413287b5e54b2f7","datavalue":{"value":{"entity-type":"item","numeric-id":2908865,"id":"Q2908865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a6f60281b04ec5499d960aab6298fdeb0c14c5","datavalue":{"value":{"amount":"+0.8918934","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":"Q1687724$C8FEA1EB-E38A-4616-A787-2CADA30F4ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5e7dad78f9406a5a48240d9ec75fbb767aa8cc","datavalue":{"value":{"entity-type":"item","numeric-id":3587376,"id":"Q3587376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67e0f87653d7dbb172e431d3b09c77cfb916088","datavalue":{"value":{"amount":"+0.8690524","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":"Q1687724$59CD59FB-D653-4AE4-BBFA-11022CBBCC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31d80c27432a981fdcdc6c76b55782e646d50fc","datavalue":{"value":{"entity-type":"item","numeric-id":2986886,"id":"Q2986886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0eb1afb7dbf58fbec7a4a2511e611fee7df86a","datavalue":{"value":{"amount":"+0.86877066","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":"Q1687724$A4198313-CDE7-4389-904F-1664AB5144A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68239c68b28c17913bf03fc3a978f6a19cf36fef","datavalue":{"value":{"entity-type":"item","numeric-id":6488460,"id":"Q6488460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a73d95379d3f8946863e5f9955c02cdb68e39e","datavalue":{"value":{"amount":"+0.8671348","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":"Q1687724$2256F35E-33E0-4023-8804-822F851D1E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b6a782de78bf3237146a88591e709b94690591","datavalue":{"value":{"entity-type":"item","numeric-id":4808837,"id":"Q4808837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b39fe4babbe352400ef70d95740bfcf07bb2b34","datavalue":{"value":{"amount":"+0.8622373","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":"Q1687724$3E177100-8B60-44A6-B5FE-03E1C0F39CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e902d08eab71c311c458d971c09c666b6f5a0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1027983,"id":"Q1027983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e949ad9b5ed162320d666d6be94e72a92ecef1a7","datavalue":{"value":{"amount":"+0.85787594","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":"Q1687724$09B68F32-7B96-41A6-8E5C-F9D200F4F163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c014a42553277dc8c8b9653ae292a4268ec347dc","datavalue":{"value":{"entity-type":"item","numeric-id":5857790,"id":"Q5857790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafb3e5c46ff8d14b1d51136ef699afc92d3a5c0","datavalue":{"value":{"amount":"+0.8564413","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":"Q1687724$61A330C7-196D-48E4-B735-35A8613EBA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09feb706fa8e2b341c4d202a1d8333334d4c8993","datavalue":{"value":{"entity-type":"item","numeric-id":2355379,"id":"Q2355379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424c468f18c5e93f4dd51c620ed3a5f18758855b","datavalue":{"value":{"amount":"+0.85348856","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":"Q1687724$AC040C11-75AC-4A75-8CA0-F1EF4B24961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865dac1e7d8a7efcd4ccf1242584b3934a4763b6","datavalue":{"value":{"entity-type":"item","numeric-id":4736985,"id":"Q4736985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cc9040ea58f2e4e224bb08fb62b87c6caf26f","datavalue":{"value":{"amount":"+0.851959","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":"Q1687724$A3FD29CA-2761-415B-BD1E-7A2E1ECD9C92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to simulate it in Isabelle: towards formal proof for secure multi-party computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_simulate_it_in_Isabelle:_towards_formal_proof_for_secure_multi-party_computation"}}}}}