{"entities":{"Q2500803":{"pageid":2511546,"ns":120,"title":"Item:Q2500803","lastrevid":49898404,"modified":"2026-01-11T20:06:07Z","type":"item","id":"Q2500803","labels":{"en":{"language":"en","value":"The surveyability of mathematical proof: A historical perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047756"}},"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":"Q2500803$39C2820C-85B5-4E70-8FD3-2DC0E91CB16A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f390c77bd6bbb71b3d3cf515183c789172d1933","datavalue":{"value":{"text":"The surveyability of mathematical proof: A historical perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500803$0BD5CD45-08A7-45AF-A9D8-86BB9B5F976B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805b6340e9e328c7cec2a540771d1fd88b8bf35e","datavalue":{"value":"1103.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$2C5AC1D4-B167-4D63-98E3-66488CC128C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ded084ea62371d026e0af6a119eadbf88ca640c","datavalue":{"value":{"entity-type":"item","numeric-id":1299759,"id":"Q1299759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500803$434F17F3-6E67-42F6-916C-23279E7C76D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500803$7F5483F9-DD92-41FC-8265-BB2FA1C8B91B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dbf0d064b7b30d698c2952a304e12fd601ac87c","datavalue":{"value":{"time":"+2006-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500803$2137EF08-ACF2-4540-936E-9D40B84AD024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$77DE4959-5038-404A-9594-5DCAF1D1FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$145E1EDF-8510-4934-9761-AFCF6230F1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$DCC71FE8-096A-47FC-AC81-774E56B9635D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"130714f7343a0cfa5d7e658d51dfab893aa63ec0","datavalue":{"value":"5047756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$BBD9BC4F-5779-41F7-9339-F2432FC0E32E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456b08f3334d9bfa3f222c92f6c28b362a0ff8ac","datavalue":{"value":"local surveyability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500803$18F2D18C-E82A-4BAA-9D34-314FDA315E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260d942f9c2a3442554b08d4a0c23387019be461","datavalue":{"value":"surveyability of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500803$458DA0DB-E69D-47F6-A800-ABD22BFA9842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27803eb083951bbb5db05e905c99e37b0fe6cdf2","datavalue":{"value":"global surveyability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500803$601693DE-F268-4B49-822E-10B1213DCBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500803$2C3F4E95-420F-408B-9270-5E83CF01EF2B","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":"Q2500803$B8B2484F-A69F-45BA-86F4-E0C98F79362C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ef7131d55e941a79474b8b50be22d5eb0920f64","datavalue":{"value":"https://doi.org/10.1007/s11229-004-6221-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500803$47046FD8-98C9-46FE-8E95-9FCB5D7B4677","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eba6b08cbe0515c13bbfe5a20c188d3ddfef459a","datavalue":{"value":"W1968746567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$D7CD1117-E99B-4787-91C4-7278844C2867","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a14b509ab48035fe02537c220fbac110e7dc23a","datavalue":{"value":"10.1007/S11229-004-6221-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500803$F5F40073-601B-42E4-9F0B-F1850A97F8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19b38baf8255761d3eeb4f0c20df63c53793855","datavalue":{"value":{"entity-type":"item","numeric-id":5221858,"id":"Q5221858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575db76d4f3453869d62b9e40e9043463a1cbf5a","datavalue":{"value":{"amount":"+0.729012668132782","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":"Q2500803$7BF39C22-35ED-473C-83CC-6549484C6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba0a57724d0442d8eb9cd40b2b85ba46dfb5d54","datavalue":{"value":{"entity-type":"item","numeric-id":2271073,"id":"Q2271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122ec8d479551b0b3a1991727385648db9cf5b52","datavalue":{"value":{"amount":"+0.7188011407852173","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":"Q2500803$9AC5D5FA-B1A5-4880-B320-0540D9856263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90c63a5ad9d2cf27f1bd48f660e97c958c78525","datavalue":{"value":{"entity-type":"item","numeric-id":5204811,"id":"Q5204811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61c5e7d19bdfeebfd1c4681025c03c6444bdecb","datavalue":{"value":{"amount":"+0.7155395746231079","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":"Q2500803$486517FE-2B80-43D6-9DA6-33CA012ABF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54d1f92309337f4a5d4299a560148f29e3c8dea","datavalue":{"value":{"entity-type":"item","numeric-id":3803082,"id":"Q3803082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c321b8d8cb3cbf2d61e026a462756550cf3d84","datavalue":{"value":{"amount":"+0.7016447186470032","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":"Q2500803$3D22BF1F-063B-4609-A6F0-CF358FF57685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02237b3617101afaf9a20b6e5e4e65c086987366","datavalue":{"value":{"amount":"+0.7000896334648132","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":"Q2500803$B40279DF-0E4F-412D-A014-3C44F666A53D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500803"}}}}}