{"entities":{"Q5301857":{"pageid":7331431,"ns":120,"title":"Item:Q5301857","lastrevid":96004520,"modified":"2026-06-05T10:12:32Z","type":"item","id":"Q5301857","labels":{"en":{"language":"en","value":"The justification of mathematical statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5494552"}},"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":"Q5301857$51CA96CF-4234-4E3A-8725-B5764E0751EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34f5101846b87a549668168beff7825955a8a713","datavalue":{"value":{"text":"The justification of mathematical statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5301857$E92795A8-D442-4F70-9249-A44DEBCE09F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cc8cc43b9a81dce26554bc97b9efda4e8376858","datavalue":{"value":"1152.00307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$41008B09-35CF-435B-B831-794193D1EB47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$B7D6F298-DB33-485B-9D28-BCE619DFE032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b2bc7aa69b4c70169eb342174f791402649e1a","datavalue":{"value":{"time":"+2009-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5301857$43BD87DD-E3EB-4BFA-96F3-1C8F6C58A22C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$84584637-BD18-4CEB-9419-ED2F1E16CF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$E5183728-4041-4F1C-AA10-CEFFAA65250F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51c16acc0e337b88f7586b6c91be3998aca9cfb8","datavalue":{"value":"5494552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$C6E45698-AD0B-4F99-BB4E-DF42D705DC54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301857$29DD02E4-DEC6-45B3-9014-A7F9A94DD40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03afd0a1cf5987c8853a2816ee4339e978c8a9bc","datavalue":{"value":"justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301857$89575C91-02D0-42A1-977C-B41FBA6F534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eef9596756fec5010a7f36d43583be0bdeb246d","datavalue":{"value":"programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301857$EEFCC5B0-B307-4C1A-916F-C86A110CD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8988f79e6abae0a69a1b31a138758e595a65f351","datavalue":{"value":"conjectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5301857$D6EEC6BE-3DDE-4F7A-BC9D-07EEFFCB2CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f365ca063a25be37675055169c73f10a7045367","datavalue":{"value":{"entity-type":"item","numeric-id":365891,"id":"Q365891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$D6F06586-0F90-4D87-8ACC-86C14CB6E513","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b9c3ec7e59da386b0736b7b91b923f209f1b628","datavalue":{"value":"Q47248334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$B7EA0A46-5F8D-43E0-86A9-837CEBE07677","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7a7fb66b7a019b3455263578bc57675b41afa05","datavalue":{"value":{"entity-type":"item","numeric-id":39312,"id":"Q39312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$8D593C34-5F17-40E1-B5B2-68C78D18B55A","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":"Q5301857$89C5C89A-AA1D-449D-BA35-511BC94238C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e169b38dbe6eb7730a98b851b18d67ab1f6e35f","datavalue":{"value":"https://doi.org/10.1098/rsta.2005.1658","type":"string"},"datatype":"url"},"type":"statement","id":"Q5301857$2E3CCDC6-A4BF-462E-B97C-E332DE922ACA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aa0b25c3568ac3d07c8e402341b3bee3bdae60b","datavalue":{"value":"W2133500341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$F545FD4E-F609-48F1-82EE-E7DCD935867F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8921880464e46d958368f57cd472c0f778c767","datavalue":{"value":{"entity-type":"item","numeric-id":4341641,"id":"Q4341641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$D5169F8F-395C-491D-8D0C-075507BA09E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54fc0784eba7aef12faf6f8d7beb3d0cd866f47","datavalue":{"value":{"entity-type":"item","numeric-id":1836202,"id":"Q1836202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$A5FF066C-A6CE-4000-A897-30E718795C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7f837d6ff01a469c932db9208cd53c161ff344","datavalue":{"value":{"entity-type":"item","numeric-id":2527716,"id":"Q2527716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$E470B9B1-6F93-4686-822B-4B05B0EC1358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e314af2ce271fec49e8f0ba0f72e59e29534e25","datavalue":{"value":{"entity-type":"item","numeric-id":5529569,"id":"Q5529569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$823C3E62-7868-498C-8F0A-AE6F08CF6DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbf8418346f1e1a44008ea559667551abc56c93","datavalue":{"value":{"entity-type":"item","numeric-id":1369648,"id":"Q1369648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5301857$800F4D03-5B53-4FB6-8228-3A37B21BFE64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4008b00202dab087443e10d8bd2f8589424a74d","datavalue":{"value":"10.1098/RSTA.2005.1658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5301857$45CABA13-AEAA-4845-930B-B369370436D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71ef34d2a273a697b296b2fd62a34e4173c521b","datavalue":{"value":{"amount":"+0.7605490684509277","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":"Q5301857$4B7B1E52-4D67-4605-8AC2-839231D2BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f804646d72e752a3f975eb33327125fd192e45","datavalue":{"value":{"entity-type":"item","numeric-id":4664203,"id":"Q4664203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab8d317e933bd2cb6e08cc82cc0307d4c05f701","datavalue":{"value":{"amount":"+0.75837242603302","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":"Q5301857$038A3127-9C36-4EA2-97F3-4B197585B082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8481790c1e21805fc6095cdce097a574fc3049","datavalue":{"value":{"entity-type":"item","numeric-id":1297033,"id":"Q1297033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fedbda1f4ce070cd2f49236f44b13be673f1e63","datavalue":{"value":{"amount":"+0.7479254603385925","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":"Q5301857$DFC7A1DA-89CC-4FA1-B391-D6E8CDE5116C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6cef7ec2a2bef4b771fd5ccef2016e9cc91578e","datavalue":{"value":{"amount":"+0.7468626499176025","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":"Q5301857$F47E2C4D-9AB9-483D-A10F-0EEF789189B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e660101f23f110ec3c2426bd2ed0f81602cb13fe","datavalue":{"value":{"entity-type":"item","numeric-id":5301855,"id":"Q5301855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c40c34e0041ae89dffab8b12215cb92e176816","datavalue":{"value":{"amount":"+0.7439301013946533","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":"Q5301857$A2C893B6-20FD-473F-AE46-F0EDD39E27AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The justification of mathematical statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_justification_of_mathematical_statements"}}}}}