{"entities":{"Q4237642":{"pageid":6267243,"ns":120,"title":"Item:Q4237642","lastrevid":46753290,"modified":"2025-12-25T12:55:26Z","type":"item","id":"Q4237642","labels":{"en":{"language":"en","value":"Why Do We Prove Theorems?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1274819"}},"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":"Q4237642$4DF27F8F-1EC0-48FC-BA16-D70ACFC8CD36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ef03cd699e851a2d84ea3673e5f0e50924b8033","datavalue":{"value":{"text":"Why Do We Prove Theorems?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4237642$4368C031-3B49-45C5-9D90-32C91E6F1727","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f79973338c5b9b57a23e0ea1c315a3448d2d7a06","datavalue":{"value":"0941.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$AEDA5867-98A2-4D4E-A31C-5E94E603CDCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8476d38c0ae7bdd81791e2db55d0b478d392d0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1092900,"id":"Q1092900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237642$B4664704-DFD6-4303-ACD0-7F5D33A52E36","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":"Q4237642$21AE9BDE-7655-479D-8296-AF5F63446E38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4237642$6F51E18C-587C-4D17-8096-F3A84B920635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99577219c1bcba83a9b68783d532a18a68e8d7ec","datavalue":{"value":"https://semanticscholar.org/paper/14aea25b4389e79399e553922425c8a44a88bc70","type":"string"},"datatype":"url"},"type":"statement","id":"Q4237642$8C4B375B-F725-49F6-A531-33DA4E1B03AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$1F117E92-5365-4052-B8C6-C955A429A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$7BD65094-0AB5-4778-BB3B-ED532F0DDCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8fac778e97ae6432b3528aab99d155b26775440","datavalue":{"value":"01A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$175ECA84-D1B8-413B-BD5D-AA1DE5E8B9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$F3F7D808-7109-4635-B859-E2EA4F2B5EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2afe2c2407c3a8be00c88cb84de07961a575154","datavalue":{"value":"1274819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$990EACBA-09A8-4C61-BD49-24D88FE85061","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39af6698ee45193a75b6d99994954bbf71110624","datavalue":{"value":"Goldbach conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237642$E8F449BA-5E9C-4E46-8CE7-94E50B8F2133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237642$92C819D6-74A0-4D9A-A574-ED8910EA7C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237642$A313BD1C-425C-4E59-A39E-98AA689CF0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825f086b83de3b89b3a1662af08350ff103bc813","datavalue":{"value":"conception of mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237642$AF4DA1E4-A7C1-496E-9ED4-9C7C77BBAF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea853861410c44fd0ead2e11e14426fffcfbdb7","datavalue":{"value":"historical description of the activity of proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237642$A75C7B20-4EDF-45C3-9B4E-17DEB1330239","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":"Q4237642$B686F2A0-65B9-4D99-A86E-3A99E050BF1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"358dcefb909d03cdda61ba8d9a0bda8655aa87f7","datavalue":{"value":"W2320543258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$927316E3-DC33-4297-BDBE-F909893561C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bfd59fdfa46fe4adfda65b10a6dd7b3c6f30735","datavalue":{"value":"10.1093/PHILMAT/7.1.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237642$1DF81A6D-EC51-40A2-964D-EDE04E96C07C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de49c40ade8bb06d03cae00686fdda1e3c137a6","datavalue":{"value":{"entity-type":"item","numeric-id":5441774,"id":"Q5441774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378697a640d161f6b2bf865290005fb9955e593f","datavalue":{"value":{"amount":"+0.7418606877326965","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":"Q4237642$EF35B66B-C9F4-4D25-BEA7-81610FFDCF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2cd326b6b72f4bf5dfc961599df80e6b2551db","datavalue":{"value":{"amount":"+0.738328754901886","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":"Q4237642$A3758FBD-FA93-4016-B552-BD5065EBA1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae76228ed55ae9d6d25428eebf9807416a8659f","datavalue":{"value":{"entity-type":"item","numeric-id":2915845,"id":"Q2915845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cfea6d2ac6b167c494f5dbae38153561a143d7","datavalue":{"value":{"amount":"+0.7369444966316223","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":"Q4237642$0DDD47FE-ECA6-4F96-94D1-60EC5CD18A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130b819282781f7f80ca463a5f62622ac4056b6","datavalue":{"value":{"entity-type":"item","numeric-id":857692,"id":"Q857692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed90bba5738527b0d306e05a597c79c357fc63e","datavalue":{"value":{"amount":"+0.7345482110977173","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":"Q4237642$7CF2B75B-1532-4647-AA15-FCCA94E36E6F","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":"72889284de97d153a70a1213c8cd7dc61ae793b0","datavalue":{"value":{"amount":"+0.7293269038200378","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":"Q4237642$58000796-27CE-484D-90AB-BAF71D2B5850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4237642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4237642"}}}}}