{"entities":{"Q2965651":{"pageid":2976376,"ns":120,"title":"Item:Q2965651","lastrevid":85525559,"modified":"2026-06-03T09:20:10Z","type":"item","id":"Q2965651","labels":{"en":{"language":"en","value":"Why the Na\u00efve Derivation Recipe Model Cannot Explain How Mathematicians\u2019 Proofs Secure Mathematical Knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691585"}},"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":"Q2965651$43F8181B-0917-402F-B323-D0E5695A192A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd73cd4fc5d3c7f637abb5d53c67f83a0146332e","datavalue":{"value":{"text":"Why the Na\u00efve Derivation Recipe Model Cannot Explain How Mathematicians\u2019 Proofs Secure Mathematical Knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965651$E23741EE-ADA1-4760-932F-6B1D5821E965","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658ca4f33bb20bb570b51122c47036467643553e","datavalue":{"value":"1357.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$CDE8AEA0-D4E5-42DD-970C-F0EDE184A70E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b908986c574c476fefbeb1382b048ac0a054839f","datavalue":{"value":{"entity-type":"item","numeric-id":2701933,"id":"Q2701933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965651$B6951930-36AD-478B-875B-EE4F1FCD4E6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965651$48C42E2E-13B7-4552-B169-AB34BB254105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5de3ac162f983b9cd4c2a8847f0beb739e7fad59","datavalue":{"value":"http://hdl.handle.net/2299/17610","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965651$C0BA89E9-3E75-4CD7-9656-3B9B98750453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$383E40B3-CA2D-425B-BA9F-D71C8E55D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$F101F125-3922-4AC0-9A9F-668E38F24236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abcdb84c4190b7f1d3e166b8d847131d2356dc5e","datavalue":{"value":"6691585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$368CB3A5-DD1B-4E95-8A2D-A8A377FA5103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"690434e26ae4ce1d5c8ef6ae552f39701e80110d","datavalue":{"value":{"entity-type":"item","numeric-id":510700,"id":"Q510700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965651$15850D76-AFE9-4CD1-A892-48AE48095FCD","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":"Q2965651$930CA91A-026C-4F18-972A-429D06162447","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3aa53ad67bd5de85ea88e05bc50b1b817742ea9e","datavalue":{"value":"Q58180351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$9A9FCBFA-21E1-4F04-BBD7-6E1F142BC78D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fddbf324d310f3502b7d978e11c3b7d895a4f309","datavalue":{"value":"W2470044575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$4A69283A-F882-4F65-AD34-002BDEAFA92D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6f0fe08bc28dcd655023902d27c16d3aafd28f1","datavalue":{"value":"10.1093/PHILMAT/NKW012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965651$76A16346-9E41-4815-8ED9-E0CC239F1E3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db8e2ea205e45361fffa8cbb136cc2775091211","datavalue":{"value":{"entity-type":"item","numeric-id":3187718,"id":"Q3187718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7b3970ff5f81a16953dcc4345cbf0759ccfd01","datavalue":{"value":{"amount":"+0.813717","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":"Q2965651$1C4C56F1-CC46-4318-A665-E4A8C4383E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc78db7b36d63924fe6f605757dbcd3e359d4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3586364,"id":"Q3586364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91a2439b0d0642e08352de87701589b68d1636c","datavalue":{"value":{"amount":"+0.8117086","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":"Q2965651$B8424A85-4987-4A65-AA64-F972F8AD4824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cde8df6ff6b47800969efd7fe44178aa41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d479ba05b5a78e37d45c111d02cf07e218a53a","datavalue":{"value":{"amount":"+0.80135435","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":"Q2965651$5F3346AA-AAAD-4CD5-8E6A-52520BA4F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac02d391f3f8d976bc339700ce71b6038c70088","datavalue":{"value":{"entity-type":"item","numeric-id":4648469,"id":"Q4648469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01500f247f3f60f4b40b71bb83942372da756c14","datavalue":{"value":{"amount":"+0.8011778","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":"Q2965651$FAA60B6C-05B1-4A8D-9D92-9296C7B58355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527dfa9cde466afc4b123130601186aa9b06ada4","datavalue":{"value":{"entity-type":"item","numeric-id":5258384,"id":"Q5258384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c165f30b254ad500037b2f32ab7199c211637c","datavalue":{"value":{"amount":"+0.7921472","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":"Q2965651$2732DEA0-38F0-4A48-BFD8-B322EFD25C2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why the Na\u00efve Derivation Recipe Model Cannot Explain How Mathematicians\u2019 Proofs Secure Mathematical Knowledge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_the_Na%C3%AFve_Derivation_Recipe_Model_Cannot_Explain_How_Mathematicians%E2%80%99_Proofs_Secure_Mathematical_Knowledge"}}}}}