{"entities":{"Q4906843":{"pageid":6936422,"ns":120,"title":"Item:Q4906843","lastrevid":98158091,"modified":"2026-06-05T16:48:15Z","type":"item","id":"Q4906843","labels":{"en":{"language":"en","value":"Proof and Understanding in Mathematical Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6139947"}},"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":"Q4906843$21F8B740-6BCB-45BA-885B-4D6C969CA224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f0d794caea2e046bf935cc8feca7ebeeee24502","datavalue":{"value":{"text":"Proof and Understanding in Mathematical Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4906843$4DBD4DCA-D0DC-41EC-A132-025C0B98D10C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"019ca086b479695cd17bfc85898b9ac3d907e968","datavalue":{"value":"1269.00005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$C92AE28C-BCFE-4C32-AABF-455D33146ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd16caa616460748cfea731e361de4c29e85165e","datavalue":{"value":{"entity-type":"item","numeric-id":375283,"id":"Q375283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906843$EFA81AD1-FA1B-45B5-A289-8895ADDC98C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ecd64524acd23092b51852f9f9e9c47a7423b3","datavalue":{"value":{"entity-type":"item","numeric-id":2837142,"id":"Q2837142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4906843$57967E47-5F01-4959-957C-4C2F3C997BDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca3bfe5cd95186174c3d2c7f7508105e7e4c0ae","datavalue":{"value":{"time":"+2013-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4906843$25E313E6-4322-4F6A-8662-7A7D73C21661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$A8C780BA-F85B-4A3A-91D1-A9BC35C4F250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$B7BA38DC-F4B7-4A9F-A2BF-A2F481843C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$AA5B7AFF-F20F-4063-BCE9-C9CD77355FE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf82c38be1ede302783e827e623bf898afb3a99b","datavalue":{"value":"6139947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$2D98120F-0046-4833-83AD-97FF8F0435ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$CBE3E78A-9872-4B0F-899F-AC1CF998ED22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e387b99154d26aa609b68058fc2c4480ac6963b9","datavalue":{"value":"proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$553B3176-09BD-40A0-80C7-EDF4FDE303D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7015e3016158c3ff29f393f5fae366ea385e24","datavalue":{"value":"understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$95BB06D1-F32D-4708-8C53-05DC8BD4DB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13569e8806493db31cd325862c6300c5e1579d9","datavalue":{"value":"mathematical practice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$A49DE304-0D1B-4CAC-9EEE-3EC0915E12FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$E4DD3088-E87A-4CBB-81D4-2E25C2FD68D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$1E39F014-C3B2-489B-84B7-4AF627D4BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a86e1a052c8392eea9b40e0d60ae71e9700766","datavalue":{"value":"formula language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$D4DCF0AB-307A-4A39-8BE0-530123BD1875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4745188b06a45ea92afbaa6fca938154845aeebf","datavalue":{"value":"elementary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4906843$39BD0434-CA30-4828-BAAF-1D0E6B676674","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":"Q4906843$EEAB5EAD-9B23-4E37-98EA-3A281ABBA3E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e83ee7058dc813a21eeba24ca8b89ccc31dbe2b","datavalue":{"value":"https://doi.org/10.4000/philosophiascientiae.712","type":"string"},"datatype":"url"},"type":"statement","id":"Q4906843$AF0E1C7F-72B9-433E-87FC-C1BA86A63BD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c2df6eaa43268ee1f17952c0c704e70e0670c5c","datavalue":{"value":"W2036737572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$FC23D68C-F0D0-48A8-82C2-CAB16DFA9809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a1bef0d43a226a83f18ca04cbb0f5d8e703e42f","datavalue":{"value":"10.4000/PHILOSOPHIASCIENTIAE.712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4906843$AFF93DBE-3B36-4A27-B34B-D85064763669","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c03727c3649cc485ffcbefbdc17531a45830ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4883899,"id":"Q4883899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ab61b2d448a7633415eed780cb99568c06d300","datavalue":{"value":{"amount":"+0.940753","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":"Q4906843$D4FF3937-34D0-4245-9E23-2E9B99096A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193fd1becbc7f3633909af8ad5d97e06470d4c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5404512,"id":"Q5404512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36388dfad0c8af4081f5ffb949f67107a8b6335","datavalue":{"value":{"amount":"+0.92827517","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":"Q4906843$1F40D9F7-E795-49DE-AF1D-C98A48F0EC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da878793189790413f3d8c7635462c6d6ece4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4876426,"id":"Q4876426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42c52665b34a31fc1bbf242b6f9eaf6328ab17d","datavalue":{"value":{"amount":"+0.9163164","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":"Q4906843$CD756653-4994-49CF-9AA6-808D088C67B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb405db1f176f928b5129e6b93b87508a1ae9ad2","datavalue":{"value":{"entity-type":"item","numeric-id":5448096,"id":"Q5448096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11687937e46228c37188933e79d269ab0dc981d8","datavalue":{"value":{"amount":"+0.910885","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":"Q4906843$18A59B55-7938-4B5B-B86D-D3D48D347F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof and Understanding in Mathematical Practice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_and_Understanding_in_Mathematical_Practice"}}}}}