{"entities":{"Q2965627":{"pageid":2976352,"ns":120,"title":"Item:Q2965627","lastrevid":52756790,"modified":"2026-01-23T10:45:27Z","type":"item","id":"Q2965627","labels":{"en":{"language":"en","value":"A problem with the dependence of informal proofs on formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6691558"}},"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":"Q2965627$E96A51F3-253E-4605-941F-0283F9AF3F3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2472a8c052173ca88a6bc339e16da9ea3c1e7523","datavalue":{"value":{"text":"A Problem with the Dependence of Informal Proofs on Formal Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2965627$95C420C1-3EB5-4948-A84E-47B96A8A4DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e43db0816756a0d2f5e742440389c098d72f3ae","datavalue":{"value":"1357.00027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$2CD6F837-35D3-401D-953E-927A18F096BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b009cfa277c965b23e7ecd53a015d464244c169","datavalue":{"value":{"entity-type":"item","numeric-id":2690219,"id":"Q2690219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2965627$7DDFC897-6654-4377-ABE2-3C8C105AA356","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":"Q2965627$CE176A15-1835-4DC2-9D08-180FFAD27F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbe5a1b0e4ce7b80503a5c1c0e7d04d4753f95a","datavalue":{"value":{"time":"+2017-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2965627$08845DE7-B9ED-4817-B9BF-073A418E3463","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$80AC3D00-3251-4EA6-AE9D-3AACD1453525","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0dfa1e543f0a5f07ca790d12378644eb8915caa","datavalue":{"value":"6691558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$31ACD75E-B92F-4BB5-AFFA-0D83678BAF31","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":"Q2965627$190F6219-222E-4B9A-A7A1-3CE23F7CEAF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cdb862fc1772a08afb52f33b9b4b24cf33a3dba","datavalue":{"value":"https://doi.org/10.1093/philmat/nkv008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2965627$79E43EBD-6312-4625-BE42-32872E160295","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fe2b58779bd8dbc0d6e8b681ae31cfc2c8f16d8","datavalue":{"value":"W1992411930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$0CF5CBF8-5315-46D1-993E-0E8914FCC84A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4b940de5a349bb5f3a3dc6f25db4759d7211c90b","datavalue":{"value":"Q113817972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$8E367400-E69C-4171-89E1-271EDE385A2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"694c8ce7b114d1cc38eb418f14f999b921b99fc8","datavalue":{"value":"10.1093/PHILMAT/NKV008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2965627$060FB2F4-F70E-4A82-89F0-C783C6A442C8","rank":"normal"}],"P1643":[{"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":"de6e0a72539f8d399336be24b5e39a866aa3c0c7","datavalue":{"value":{"amount":"+0.752740740776062","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":"Q2965627$3142B3C1-9F44-4DB1-B6E0-1D2D9AC28599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ef2be0ec7fb36080700b0866e77dae3ed0e7db","datavalue":{"value":{"entity-type":"item","numeric-id":383052,"id":"Q383052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b576e74a160558c39c033adab08b2ae35f7a826a","datavalue":{"value":{"amount":"+0.7228868007659912","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":"Q2965627$7BEDA9EE-B0F2-49E2-BB3C-5D4096EBAE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da01ec64bdb83a5c3316bfdf46a25b319253139","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fbad81ff1e15e53273ac72c88b1887daac0d92","datavalue":{"value":{"amount":"+0.7189745306968689","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":"Q2965627$1DCD5E33-B8DF-439A-97EF-64DC0368E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d506df108d09ecda8c53e2ac8a5f04c7daeb3c","datavalue":{"value":{"entity-type":"item","numeric-id":3629615,"id":"Q3629615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29aa8d60a5d704778d1a9eed2bc45d7f3e540e7","datavalue":{"value":{"amount":"+0.7145494818687439","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":"Q2965627$B6C783CA-5491-4B48-9B41-BF0174706366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322c2b1a8474513de1eba640a9aca6df87bad3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3182719,"id":"Q3182719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8aaae983f9f013dbe902636394340e020249b8","datavalue":{"value":{"amount":"+0.7131568789482117","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":"Q2965627$16D3E057-99A3-4D91-A736-968D586B2894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2965627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2965627"}}}}}