{"entities":{"Q3616422":{"pageid":5646328,"ns":120,"title":"Item:Q3616422","lastrevid":50614247,"modified":"2026-01-14T14:04:25Z","type":"item","id":"Q3616422","labels":{"en":{"language":"en","value":"The Epistemological Status of Computer-Assisted Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532687"}},"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":"Q3616422$2043F598-36F1-4D45-9D33-A5FFA1CF217D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4521291c99528bef353cc17dcd6b5b4b13dd2987","datavalue":{"value":{"text":"The Epistemological Status of Computer-Assisted Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3616422$0409BDB3-5F5F-4065-843F-044D27059CD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d801b96d6d4b92850d7d70e6ffcd05111e2f91","datavalue":{"value":"1156.00313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616422$6C181A2A-A0C0-4613-A44D-435F7F64C295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f3b6bbece4ebe610d13b86ef33ae8c06a17733","datavalue":{"value":{"entity-type":"item","numeric-id":2441735,"id":"Q2441735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3616422$8084B89F-31DE-4A0A-86F2-7BD43A813AB0","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":"Q3616422$8F539495-62F5-4D99-BD0F-5D44EDCA60E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3616422$510E0DD1-07D2-4E21-90A3-81DE3A98AA50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616422$19FE6623-5563-4487-9836-32A73E6D9DF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26393ca326763d31fc7c9619aa6d4186373d5ad3","datavalue":{"value":"5532687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616422$437F6338-36DE-4057-AAA7-7D8A905724DD","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":"Q3616422$C5DBD5B7-29B0-43F0-9547-17986D7869C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6c59eb660f6af818c7b5b4131212a73d3dc970b","datavalue":{"value":"https://doi.org/10.1093/philmat/nkn014","type":"string"},"datatype":"url"},"type":"statement","id":"Q3616422$E848D39C-EF86-4B2C-8DDD-14FFA30FE465","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46c788bce8a587f63e214c8faaaa05d6e5d63113","datavalue":{"value":"W2054076024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616422$476EB840-2C45-4E7A-B30D-2103E3424926","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87971051d82d0b5935945274bed49277148d354c","datavalue":{"value":"10.1093/PHILMAT/NKN014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3616422$9165EB0A-A5B8-4854-B37F-0D0714FC597A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97922dd9788b432c0762100035a62da44ff2681c","datavalue":{"value":{"entity-type":"item","numeric-id":5006632,"id":"Q5006632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea706d621e8c154e72c93e33c9a4c715d9d52714","datavalue":{"value":{"amount":"+0.8539819717407227","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":"Q3616422$4A13B4E9-5BED-4D36-B49D-90D595C1485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b766aba7b7528e1562f2ec8a00e4cfac9e99e351","datavalue":{"value":{"entity-type":"item","numeric-id":4325964,"id":"Q4325964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f07cccce3c0144d7a187aa8e8509fc1586d8a6","datavalue":{"value":{"amount":"+0.7763306498527527","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":"Q3616422$7DA18D66-F5FB-431E-B68C-2F313E1002B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040efcad29b55e43be678d9495fe4066891d758f","datavalue":{"value":{"entity-type":"item","numeric-id":4972861,"id":"Q4972861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65258fe0bc482598bc9f0e77cc973567aa768991","datavalue":{"value":{"amount":"+0.7671313881874084","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":"Q3616422$AA127985-7ACF-4BE7-AE88-7BA6DF39AABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cc5a1d9dd1ca86cc3ef88dbbc18190c98fc3e","datavalue":{"value":{"entity-type":"item","numeric-id":2441736,"id":"Q2441736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27753d8a5398c3260668e7ac9928cd9d0d4fe18c","datavalue":{"value":{"amount":"+0.7604854106903076","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":"Q3616422$C38A2849-19DA-48A5-9593-2CF7365FDAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541dc53bfce951ee9b6ef5687f1c57d534039241","datavalue":{"value":{"entity-type":"item","numeric-id":4558269,"id":"Q4558269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5601f4a143dc32adb7f1f86fa5769600d216379c","datavalue":{"value":{"amount":"+0.7601367831230164","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":"Q3616422$4196CCA9-F3BE-47CB-B80C-40C9FA7F9587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3616422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3616422"}}}}}