{"entities":{"Q1984795":{"pageid":1995537,"ns":120,"title":"Item:Q1984795","lastrevid":57642624,"modified":"2026-03-31T18:34:09Z","type":"item","id":"Q1984795","labels":{"en":{"language":"en","value":"Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7187045"}},"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":"Q1984795$75F34735-7A04-438B-8254-8C07CBF592C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79524bf87c08cd5a04195f364c8b23e2ff78d3ba","datavalue":{"value":{"text":"Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1984795$9E17D828-2E9F-4695-AC42-0C07EF7BAD0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8dc306f12688a3da418fb2425300a6fcf0b49f0","datavalue":{"value":"1468.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$10332724-8AF5-4773-B23E-DC27EC084A83","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":"Q1984795$4670ED52-CBB7-4828-81E4-0CE619DBBDEF","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":"Q1984795$18ACF195-0361-45F2-8C24-FD87F95A124B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91c10a18675d2ae968c17f4f20117405216cc98f","datavalue":{"value":{"entity-type":"item","numeric-id":467870,"id":"Q467870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$21272AD0-EB64-4A2A-A8CC-4E1F5408BD58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$F85844B7-E1A5-4B37-8FA2-C2347AA4264F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5583640b16c3225e3c55a84532f843da9ad4b6cf","datavalue":{"value":{"time":"+2020-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1984795$3177AB91-582D-42EE-9632-C06F26ABA8B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae282b3ec4cf858587f87cd4a3e7eb7ad9133a53","datavalue":{"value":"https://arxiv.org/abs/1807.09873","type":"string"},"datatype":"url"},"type":"statement","id":"Q1984795$C61F162E-4E9C-47B5-8585-F5564FA463EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$80191BC7-E4F0-4D17-A145-E0DBFB8D154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"82cd6ba3de809c77ad4ab5a51dd4d14c3b158a01","datavalue":{"value":"91G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$37D926DE-5E7A-461D-9874-916006538B5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2abfa2aa1945fdd9c229c1eb9610cc6e4aab3ca4","datavalue":{"value":"7187045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$B3DE6F12-6AAC-46E4-A6E7-84D659AB474F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984795$DD204BC6-C99F-47A8-9FB3-DE5C8FA9EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c934733bf09c38f213026c8a150219dc86bb2","datavalue":{"value":"financial mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984795$68A3613F-1D7E-4F21-8AAA-77A79452ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb35f49c71f41d9a40f2dba15356eb92757ee921","datavalue":{"value":"discrete pricing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984795$241B93DF-8407-44CA-BAA4-DA855AB37A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984795$6F46A6A9-F1EA-465F-A85B-AB9CEC014742","rank":"normal"}],"P1463":[{"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":"Q1984795$E3A5E7F2-D9C1-4B8E-A236-EAAC9E10F11C","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":"Q1984795$DBE9C867-C2E9-4654-80EE-8FFDB2D0814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae4173d13b960594f2bf5bfd22402fc0202f2b76","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$D6C53735-9489-4B88-A11B-7A20DE1C4AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$B33AAA55-8C6F-4DAD-985E-79D69D2BA732","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":"Q1984795$9644B6C9-F9B6-418D-80D7-82B189B5A193","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":"Q1984795$5FAEBA9D-E46D-4677-8E45-E72D9F5CA961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6e80e677313ded8be68fd87a7bc75d4a2111d9d","datavalue":{"value":"W2883415038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$204FA074-37D6-4C65-9813-55470ADDBB89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30934abbc32128e5c1a91e04943aee41658d6f31","datavalue":{"value":{"entity-type":"item","numeric-id":1694568,"id":"Q1694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$7256C41D-52E1-466A-B178-67544D184D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$68EFF198-4276-4E89-857B-B0ECF9C0DB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811ab3c16975f1b0c32046422df1582f858f338","datavalue":{"value":{"entity-type":"item","numeric-id":1883337,"id":"Q1883337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$C81260DE-D858-4ABA-8C02-B4921B3270C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d458f9d40a2164b904160bd3a427cd146dacea7","datavalue":{"value":{"entity-type":"item","numeric-id":136004,"id":"Q136004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$50092AE5-A6F5-4008-9055-D1E37AD4A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$07289102-A828-44B0-AB3C-0FBC0DC6F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d4c497fb6c1130d68266bfc3951a0b212649a6","datavalue":{"value":{"entity-type":"item","numeric-id":3999383,"id":"Q3999383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$B587DE91-A119-4A3F-8B12-9C3989061B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491a57d0f2cc861c8b8a1cb6c85e969e76d4419b","datavalue":{"value":{"entity-type":"item","numeric-id":2405273,"id":"Q2405273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$9ED36EEF-0A48-48B6-ACA7-2566F0B01658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce2556dd2c787e12076af0e059323648aa5a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1701041,"id":"Q1701041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$11A7CD5F-89B7-425B-8E41-CECC9F2954B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bfb4cfac567a097f2a651df3bdc8285a6e2cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2945633,"id":"Q2945633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$5B8785C8-25C9-4106-A243-380A9F4CFB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d89c10a72c79005e0722f9d781a389b51314a58d","datavalue":{"value":{"entity-type":"item","numeric-id":4794126,"id":"Q4794126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$CA39257A-1C05-45BB-9F46-F96FD0F5E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45df2bd1e107491176b42efbdc5f58845899eefe","datavalue":{"value":{"entity-type":"item","numeric-id":1791194,"id":"Q1791194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$B7F30040-BA4F-4A13-85C2-E825DC49C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c5ff5fb23304ff1b0e9efee069eeb51ce73d15","datavalue":{"value":{"entity-type":"item","numeric-id":4905685,"id":"Q4905685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$1A299405-B466-4E19-A1E7-30E19884E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e41c98be6c925b3b244356e417e46d31e3f9865","datavalue":{"value":{"entity-type":"item","numeric-id":2655324,"id":"Q2655324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$6FDC2086-9FA0-413A-A1C0-30A3187A96DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$423CC596-8B97-4484-B9BF-3D69C1B01956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$2F7BF77F-8323-4305-889A-C6F3EDEBF7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2c71f70922d3cb23bfb9b42c6e992c56f7b741","datavalue":{"value":{"entity-type":"item","numeric-id":1045892,"id":"Q1045892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$3C04728B-EC6D-449B-9512-417E95AE5ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27cc39aa2929ec53eafd10c831d1d68f45fdb83","datavalue":{"value":{"entity-type":"item","numeric-id":1040010,"id":"Q1040010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984795$AC938D6E-35FB-42CA-AB66-17D630975CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ebdc7279e2b18e232e8ebe088cae6a74247bd2e","datavalue":{"value":"10.1007/S10817-019-09528-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984795$9E0CD0B1-2AC4-4766-A8F1-BDCDD30BB414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da4caf707ca26a60c705f0606c45eb29dd76b48","datavalue":{"value":{"entity-type":"item","numeric-id":2405273,"id":"Q2405273"},"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":"Q1984795$E31055D1-A86C-411A-AE38-27EC747A7297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc11f31309a5a1f5d2fdf8670b3ae1129bb974e5","datavalue":{"value":{"entity-type":"item","numeric-id":5309855,"id":"Q5309855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"546df676bf1914f54e0867d133b52720e1f8c25f","datavalue":{"value":{"amount":"+0.7005811929702759","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":"Q1984795$D5DB3671-08C2-484D-B304-52C9BACBC78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e494eeb9067b9d59d841c852deecc6b077a793","datavalue":{"value":{"entity-type":"item","numeric-id":4788110,"id":"Q4788110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196adc1b917bba713f14e731e4ef857696b24adf","datavalue":{"value":{"amount":"+0.6939635276794434","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":"Q1984795$73B84BAC-1C25-45C0-8674-00CE78F7A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5730a0f6370ddb5f80e4598ab6523fbad65df6d","datavalue":{"value":{"entity-type":"item","numeric-id":4716197,"id":"Q4716197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196adc1b917bba713f14e731e4ef857696b24adf","datavalue":{"value":{"amount":"+0.6939635276794434","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":"Q1984795$E9148E48-92A7-4604-BFF6-18CF8909343C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ae3a2cc7484c7e6f1bfcdff86d5a63cdcf830d","datavalue":{"value":{"entity-type":"item","numeric-id":1771302,"id":"Q1771302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f42fb7c286498a89fbe5e7a0a4069b52306f65","datavalue":{"value":{"amount":"+0.6900017857551575","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":"Q1984795$6A341E6E-606B-44E4-8CA7-658195F9212F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1984795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1984795"}}}}}