{"entities":{"Q5404512":{"pageid":7434086,"ns":120,"title":"Item:Q5404512","lastrevid":51955052,"modified":"2026-01-20T15:17:35Z","type":"item","id":"Q5404512","labels":{"en":{"language":"en","value":"Understanding mathematical proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272953"}},"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":"Q5404512$0FF254ED-6CC3-4E55-BCFE-0C86C0D6C2EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bd4f62554e155de85b62afd91bf7b78d93a335","datavalue":{"value":"1311.97005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$2182AC89-7031-4160-A9C1-7EAFC110FBE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52bdb1dadd6b19a49f5eadaa0ef495667244c89c","datavalue":{"value":{"entity-type":"item","numeric-id":2719706,"id":"Q2719706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404512$0043342D-792E-4549-8A48-99C4D058A145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be85265c6884d2cb22dc4289ab8734d02959442","datavalue":{"value":{"entity-type":"item","numeric-id":2719705,"id":"Q2719705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404512$2F583CE6-1E16-463C-BC58-6DA71046C125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404512$7262EB6A-23A3-4C5C-B972-25EC42DD9252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c59113d291ec28c012cb95f0c476ba92d477c2b","datavalue":{"value":"97-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$49B93528-36D2-484C-9BD6-A78FD69202D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$97E1549D-3745-4238-A61C-23EAB5B6526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fab80b3c311bdab63b83abca82915a779bf7fc0","datavalue":{"value":"00-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$3006281A-18AF-413B-A8BB-6FCBF6885E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4bd060761544b1cc1e1a5443f31290ce4c99e00","datavalue":{"value":"00A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$F55DC7F1-1881-4580-9591-AD85FD670A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$03A8C6B9-3E72-47FF-B768-F18A4CE2E214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cebe8d4122be7614b406d415cd75649f85958d8c","datavalue":{"value":"97E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$51B8D296-2BD2-4C70-9C90-AD7AA32EE78F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eb2f438b5c21c1c77ba64e8ac63f2025ca71ee8","datavalue":{"value":"6272953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404512$6E09C0F6-827E-408B-B4C5-6D549B1BA02C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$F76A0619-F6AE-4D27-926A-2AA0E6E4BA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$3FB8A035-4555-41B6-AC24-FF7C2778B869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cf5b515a1b776ade862e4f5b714d125439e1f7","datavalue":{"value":"direct proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$D6ADEDDC-AAF3-4453-8999-62AFC5F2BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994b9fc138c8d428668e42211b0aa99e4ceadc2a","datavalue":{"value":"proof using contrapositive","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$EFBE85AE-AE5F-4F8B-A15A-3DFAB5065309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f8863efbe0f3fb1bdd3f66827a711d7cffceb8c","datavalue":{"value":"proof by contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$1E45F91E-E66D-4AFA-B2AF-EC80272FB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404512$4E9ABC85-017C-404F-8669-B93329B023F1","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":"Q5404512$96F408F0-2DBC-4580-9062-BEC2F9658DE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e35b641cc3a03f030724d6368703fff61b3662","datavalue":{"value":{"entity-type":"item","numeric-id":2716059,"id":"Q2716059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fcadd5402f3218fbe0eb269394848962558c02","datavalue":{"value":{"amount":"+0.7804291248321533","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":"Q5404512$B7FFC9E6-A7E4-409E-96B8-2A2659CB81FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e480da8fda8411f577132c6652b138226ef4f33","datavalue":{"value":{"entity-type":"item","numeric-id":5254917,"id":"Q5254917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025cbe8f9c109f798c17657c05bbeac775a64a8e","datavalue":{"value":{"amount":"+0.7738388180732727","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":"Q5404512$DEF39338-974B-4422-B929-97EFDE3D0613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0bee1f2e9a50739f402824fce01a3218625bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3998381,"id":"Q3998381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8814543225f6a3175aa05919aaf2ae33ea40137","datavalue":{"value":{"amount":"+0.7675652503967285","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":"Q5404512$E44E5128-667A-483B-885E-06209D6E0947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8de42bb7d298f385dfbab995b39859c473f98169","datavalue":{"value":{"entity-type":"item","numeric-id":5107104,"id":"Q5107104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565a83c2d623e70c537fdfa86d835d46b599805e","datavalue":{"value":{"amount":"+0.7662054896354675","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":"Q5404512$F41139CD-2433-4E87-9C46-2BBA94C2FF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df73f3a933df512b0dce8dc580eabc92aafcea88","datavalue":{"value":{"entity-type":"item","numeric-id":5220422,"id":"Q5220422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feeb85d6182e6a8760cda2136771db6738249ab2","datavalue":{"value":{"amount":"+0.7626354098320007","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":"Q5404512$3B413C29-7A63-4E70-9DC1-D8A4A419306B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5404512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5404512"}}}}}