{"entities":{"Q4870018":{"pageid":6899598,"ns":120,"title":"Item:Q4870018","lastrevid":46452738,"modified":"2025-12-24T19:47:43Z","type":"item","id":"Q4870018","labels":{"en":{"language":"en","value":"How to Write a Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856861"}},"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":"Q4870018$350532B9-3AEC-41B2-B56A-8EFDE58A8A61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54b8729635d29364710bbf1d0381411248d5714d","datavalue":{"value":{"text":"How to Write a Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4870018$F7FB2113-6B5C-4882-9AE8-EC9930B7AADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"489a6a8182253aa07e4e51352c1444917f7b2d78","datavalue":{"value":"0877.00005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870018$EC3AC9EE-6C88-49FB-B45E-76C493E56FE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"789a6c96f8177008da6b891c8dc76fcc15edc074","datavalue":{"value":"10.2307/2974556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870018$DFA93C35-9385-4385-8A14-0BBA4AE3B750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870018$A63A9B80-78A3-41AA-AB75-58A97AD0D10B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4870018$A99F5EE9-343C-4DF8-89A5-162F0D36EA82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821d7f721f24f1f1382687b1d48c6e7ff8844b0b","datavalue":{"value":{"time":"+1997-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4870018$7E676E98-B85C-4ECF-B54C-D3AD3C0DA169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd43fee002ec6fbb07798da4488e60ac9044ab2a","datavalue":{"value":"00A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870018$E04869C9-70FE-4562-B125-313758ECF113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0505eb3cf557c2725871d57d6842ee918b10ce48","datavalue":{"value":"856861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870018$F5A6C772-F8C3-453B-A74A-DFF8024F2B74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ba29d31c71345e3c6d5d34f220a3255438dd0b","datavalue":{"value":"mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870018$F91EB80C-E3AF-404A-83BA-D3E9BC391475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870018$21CAC5BA-4946-4506-86CD-806BA0B4407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"511c87b39e20dc75e7fce78b91927d0cf2aa0fe8","datavalue":{"value":"hierarchical structuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4870018$DCE30A81-6DE7-4665-B36B-7FFA22BE7CEB","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":"Q4870018$7E136C0C-E682-4116-8992-65B452FFD3B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7ebce10499700ddf637d007e2812b39e560b194","datavalue":{"value":"https://doi.org/10.2307/2974556","type":"string"},"datatype":"url"},"type":"statement","id":"Q4870018$4A5802CB-BE75-439B-98EA-1DE51DC3A884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7bf15475a1f6b9fea6a65dca6dbbced3d25a129","datavalue":{"value":"W4232500117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4870018$A61B7048-5A68-4C1D-B324-1DBEF0C71CE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca371bfeda32fe62a61ad72df5eb738de233367","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60920b77f11a6408fed29fa4ad7b2cc50a14bfb","datavalue":{"value":{"amount":"+0.8412061333656311","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":"Q4870018$A1C9C9A5-B846-4345-A3D6-82BAC83C492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3645f3939c4944c377443ebff888eded2ef9cc","datavalue":{"value":{"entity-type":"item","numeric-id":692371,"id":"Q692371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea9223b1c85677bfc70a38b53c0296119e23861","datavalue":{"value":{"amount":"+0.8025752305984497","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":"Q4870018$2AC3E242-FC39-4C11-B499-1F3E447533B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb496ff782047b2099af04ec16756413ce47453e","datavalue":{"value":{"entity-type":"item","numeric-id":3686657,"id":"Q3686657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db99d74026ac65f050935ecc4c088dd18a2efb6","datavalue":{"value":{"amount":"+0.7894372940063477","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":"Q4870018$3140D42C-144B-4D75-9467-7A9A741C58BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400aa91770e1223f8eeb240d768c478ce35e2eee","datavalue":{"value":{"entity-type":"item","numeric-id":1267033,"id":"Q1267033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683f50097c76d7c7f9ae1507688a0fe1f213daac","datavalue":{"value":{"amount":"+0.7835515141487122","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":"Q4870018$A59448BE-EC6F-4706-8557-CF7FCA66AA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4870018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4870018"}}}}}