{"entities":{"Q2802087":{"pageid":2812825,"ns":120,"title":"Item:Q2802087","lastrevid":79506470,"modified":"2026-05-06T14:04:20Z","type":"item","id":"Q2802087","labels":{"en":{"language":"en","value":"A study on the teaching of proofs using the method of infinite descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573034"}},"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":"Q2802087$1FC3693C-521C-444D-B36E-5D7214ED2775","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dced55fde88908af32aa9fa0a4efd76d32a07ab4","datavalue":{"value":"1353.97010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$447671F4-F6C9-4DFE-9999-499B3AA50935","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31bdb64e00ac0233d09830e2d5890bbe8a823ce1","datavalue":{"value":{"entity-type":"item","numeric-id":223594,"id":"Q223594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802087$2E1658C9-1F62-4C7E-9F04-8831FF04AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c093e6509d28c8ce5cf874c1eb50080ecb20439","datavalue":{"value":{"entity-type":"item","numeric-id":2802085,"id":"Q2802085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802087$3A0E9B0A-C019-4A99-A50E-6118601EEC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7095280275bb676ab78e159afac25671d6bc0645","datavalue":{"value":{"entity-type":"item","numeric-id":2802086,"id":"Q2802086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802087$7907AE19-0787-4848-8958-F8493A68643C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"341f7641c40fc449d634f5e42ee5a7f5eced17cb","datavalue":{"value":{"time":"+2016-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802087$EDE30A88-4F76-4E33-8C65-31813A257DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$022F92E6-2AFE-4ADE-89EC-BE0A013EF9B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a6a8dd0cd941416d25ca10226effdd29cdfc237","datavalue":{"value":"6573034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$13B7B6C5-C067-4F80-A96C-0C4F5CE7C5D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802087$17468D15-0B5D-42A8-94DC-AD42F9A86146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc381d7b35ab3bdf679701e1009debd1600af146","datavalue":{"value":"method of infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802087$16467516-F961-4DC9-9458-177C0B81B826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802087$25F83F06-5DF1-44A3-8D00-1674589154D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7db9be5089fc14271a87c1b651f462b0df327c4c","datavalue":{"value":"Q113688434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$800AD149-DE39-4DCC-93F9-894C1AEC9A0A","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":"Q2802087$D36CA2A0-AAD9-4ED9-8E9F-17E8788D980B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0dba025602206b03088362aae6554475726a8e6","datavalue":{"value":"https://doi.org/10.7858/eamj.2016.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802087$3BD052C1-F844-45FD-80E9-1187FBD94718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c6123a2e578983bbb70b3ab2f45e72d3eb94a71","datavalue":{"value":"W2334946408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$F22ACD08-04FF-424A-BE7A-C1B3B54BAD6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96d0d001c406a8b943e0580e1b73fd6b6c66a97","datavalue":{"value":"10.7858/EAMJ.2016.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802087$A5D3DCC6-6614-4C9E-A096-666C645D0926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0c0f6ce5121a944ae3e8dfe3da5496bf86a3971","datavalue":{"value":{"text":"A study on the teaching of proofs using the method of infinite descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802087$8BF11CDD-9DAD-4F4A-A75E-22485C044A77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d37d94b038c62d96473652b4819f7831004540","datavalue":{"value":{"entity-type":"item","numeric-id":2836409,"id":"Q2836409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802087$B055F9AA-38CE-4045-B068-41E21BF919B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308b992054609adbd2e883e267c275cf7d00a89e","datavalue":{"value":{"entity-type":"item","numeric-id":3409334,"id":"Q3409334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98260b1ea3c8cb29767f1652f93678515a49dcd","datavalue":{"value":{"amount":"+0.7026757001876831","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":"Q2802087$FD4F5467-F8AF-4548-BE46-FED7AFB789E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180b59833e320b4c42d777e7f31d21d69118b870","datavalue":{"value":{"entity-type":"item","numeric-id":4282459,"id":"Q4282459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639bd5429d52752ce8bd6e37d755ce862022513f","datavalue":{"value":{"amount":"+0.7024404406547546","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":"Q2802087$CC0DB6CD-7BF5-41AA-AFD5-0BF9A7C63D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4824a1d53bbf614c10bd68b1ee614bf5a4babed","datavalue":{"value":{"entity-type":"item","numeric-id":5071511,"id":"Q5071511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7225209213bf143aed6f4c9cf48cad0ea7c1a59","datavalue":{"value":{"amount":"+0.6902663707733154","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":"Q2802087$E5F59014-9D88-4DF2-A3E6-E33DBBB8E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e8c2304de6d0f793edbe43b05f387f747a189e","datavalue":{"value":{"entity-type":"item","numeric-id":4913999,"id":"Q4913999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55a601ea95d8abea248ba91acffca73003ac14b","datavalue":{"value":{"amount":"+0.6865620017051697","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":"Q2802087$C4C90CF5-399D-4FCE-8E5D-8764D05A3A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98c04fbf28a1dde1083b05383cc9d1cdf7e0d28","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a7514b5feaafd5d0d40e41b924a4aace702224","datavalue":{"value":{"amount":"+0.6824372410774231","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":"Q2802087$40B58158-7976-4B68-85EF-42350EF24C86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A study on the teaching of proofs using the method of infinite descent","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_study_on_the_teaching_of_proofs_using_the_method_of_infinite_descent"}}}}}