{"entities":{"Q2405273":{"pageid":2416016,"ns":120,"title":"Item:Q2405273","lastrevid":52904582,"modified":"2026-01-23T18:56:43Z","type":"item","id":"Q2405273","labels":{"en":{"language":"en","value":"The binomial pricing model in finance: a formalization in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778425"}},"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":"Q2405273$8E7F1A78-8187-4BB5-B373-4788330E7CD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fff70de8f7132f44ecb2884f5cb4e8d4d7d7f0fe","datavalue":{"value":{"text":"The binomial pricing model in finance: a formalization in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405273$8D454692-BAE5-4D6F-AC2F-15293FC1B594","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dec10b52bc8957ad8c131d4fa08ffbdae35a1b4","datavalue":{"value":"1494.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$B6C4EEBE-45CB-49D7-AB14-16CF373ACD79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cdd1c556d3fdae1924863b9dd5315fc226c387b","datavalue":{"value":"10.1007/978-3-319-63046-5_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$18ECE957-D3D2-492A-A487-4AFEC1EFDC35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405273$E35B9727-2EA2-4FDE-BBDF-E027165EF648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405273$99DD9D4F-F0AC-4A47-BE25-5BCA9C7B9B31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405273$74D27C17-292D-45F1-BF7F-9E40E115F6A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$B9E1B321-5DAA-4C71-9B47-79B55C415124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82cd6ba3de809c77ad4ab5a51dd4d14c3b158a01","datavalue":{"value":"91G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$EF9720F7-DA56-426F-A257-4D3331DA91F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c59daeb1c939c5ebb47bfbc49a95e6f7ca32f1","datavalue":{"value":"6778425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$FB72FD67-0569-4423-A8C1-DDF5C5074272","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":"Q2405273$6202494A-7DC4-48D0-8805-5F6C65459265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cbdf909ea3e2bd7a3519fe04480a43e09753cc2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405273$83091B26-2709-489B-B296-F1B603B1AAF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90e231438761c5285ee291df3184edf3494cfa6f","datavalue":{"value":"W2735867562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405273$243B7297-D819-4AEE-8D6B-18EFABAF3D7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a96e6ff7b89041553903728cc721dabe560ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1984795,"id":"Q1984795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea2505edc9a119d9b0e595337ec9cac4a88a4c6","datavalue":{"value":{"amount":"+0.8434654474258423","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":"Q2405273$728A7902-346A-4D28-ABD9-37CDF61928E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c59944562a971e8127ba16e58442da08a40ea2b","datavalue":{"value":{"entity-type":"item","numeric-id":4627094,"id":"Q4627094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298e63b51003ee2765f5f0163b936292019cd487","datavalue":{"value":{"amount":"+0.7259843945503235","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":"Q2405273$D21AAC41-26BA-4FA3-9753-8A0CECE32254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2b77e26550f619887c8e6b8846b550eb505a24","datavalue":{"value":{"entity-type":"item","numeric-id":4497940,"id":"Q4497940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3663d8f7965b538534fef7675f38106734e01654","datavalue":{"value":{"amount":"+0.7169460654258728","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":"Q2405273$11BFF5E5-FADA-4C03-9A48-433DCA74C0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3057bf58b68e0cde48dfcee4a74ff5f2ca84ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2762115,"id":"Q2762115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c88e7eccac9c3604addbfc9ccb2a7d01e9d5396","datavalue":{"value":{"amount":"+0.7136111259460449","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":"Q2405273$09E5310F-662E-4F51-8CD9-C20CEADC9B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1c3293e7047d4ec83537e9ac1feb00080c8f36","datavalue":{"value":{"entity-type":"item","numeric-id":4394935,"id":"Q4394935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8330c566518a5524c6049adaa4508d143c4a033a","datavalue":{"value":{"amount":"+0.7077604532241821","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":"Q2405273$9760041A-53ED-4D4C-8707-AA05021AF4B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405273"}}}}}