{"entities":{"Q3182719":{"pageid":3193427,"ns":120,"title":"Item:Q3182719","lastrevid":58135011,"modified":"2026-04-03T23:04:45Z","type":"item","id":"Q3182719","labels":{"en":{"language":"en","value":"Why Do We Believe Theorems?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5616048"}},"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":"Q3182719$B98252E5-0D86-401B-A877-948003A3BE2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f902c76ef513e7bba1c8ef6c1a8965df7239d6e","datavalue":{"value":{"text":"Why Do We Believe Theorems?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3182719$C2744AA4-2BF7-4D27-A9BA-2367A583CEED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b95453590034f90b545c5a2389cef0d612de9ed","datavalue":{"value":"1182.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$1B5C873C-0C5B-417B-9A22-48C2B5B6C371","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"685bde8c367f18365d551a594d09a5ad87b8d248","datavalue":{"value":{"entity-type":"item","numeric-id":235631,"id":"Q235631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3182719$C8596B1D-B95B-44B0-B184-0A8BBB24D78C","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":"Q3182719$85320CDB-2F46-4AF4-A264-E64DED009F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4136203cfd0f0cb557c0b6766e4251ec1cc065be","datavalue":{"value":{"time":"+2009-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3182719$D1C6C801-3946-4FC6-BF26-96B6D994C174","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b9164e096929fcd45227f0eb85378368a58f11","datavalue":{"value":"https://arxiv.org/abs/1411.4857","type":"string"},"datatype":"url"},"type":"statement","id":"Q3182719$4D126E8D-D7F5-426E-8888-89239812AD2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$59832986-4296-47C4-BAA6-3047161BB1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$DA73A31E-F345-4E87-A71E-970DE354D1E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40ea4ea7e4599e6532c9cb84fb4e30d36b7ac6a4","datavalue":{"value":"5616048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$72191632-9CE7-4741-BFE8-FDF90A040923","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":"Q3182719$33CB6408-B0D0-4215-9949-8347CE3BAF8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba975cb4365f77bb12d2693f7c21e984375a6ee2","datavalue":{"value":"W1997253879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$ACF9B3F9-80CD-417D-9454-93851752A29D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc68630b003602460c5a8cc42ffa394cd109d36e","datavalue":{"value":"10.1093/PHILMAT/NKN030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3182719$2B8EA95C-42EA-4544-9592-FF1554C80D82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa89c6e70be16dca65fe5beeaabf1b30ad08153","datavalue":{"value":{"entity-type":"item","numeric-id":4247309,"id":"Q4247309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a304133b259a1620aa355a20f25a42d2c229e831","datavalue":{"value":{"amount":"+0.7693005204200745","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":"Q3182719$16C89FF7-47BC-42F4-A98B-240DDFF54738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da193e55d49806998e8f15ef5901c5763158db74","datavalue":{"value":{"entity-type":"item","numeric-id":2965627,"id":"Q2965627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a304133b259a1620aa355a20f25a42d2c229e831","datavalue":{"value":{"amount":"+0.7693005204200745","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":"Q3182719$AF19F8AC-696C-4062-84A0-858482DB19E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5291b1d5bd13b301f5e4c4b467945271cf3860","datavalue":{"value":{"entity-type":"item","numeric-id":2804472,"id":"Q2804472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b52a06a791d2ed559095aba908895fa8368e561","datavalue":{"value":{"amount":"+0.7616048455238342","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":"Q3182719$09EEBB84-7EE8-48F0-88A6-3A2269E210D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"127f4ffb444189849a895037311b0739177ed037","datavalue":{"value":{"entity-type":"item","numeric-id":3654812,"id":"Q3654812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81baec1c291f48a713aeeaf99868b09ebb540dee","datavalue":{"value":{"amount":"+0.7482990026473999","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":"Q3182719$0147E5A7-9DB8-4247-8DE6-BD8AF6D3F008","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":"7d7f8576713f2e840f567e29827346f428a1b719","datavalue":{"value":{"amount":"+0.7278016805648804","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":"Q3182719$D615F087-5F97-447F-B3B8-C8D61245AAA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3182719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3182719"}}}}}