{"entities":{"Q1135835":{"pageid":1146584,"ns":120,"title":"Item:Q1135835","lastrevid":66209343,"modified":"2026-04-12T08:16:55Z","type":"item","id":"Q1135835","labels":{"en":{"language":"en","value":"What does logic have to tell us about mathematical proofs?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3663079"}},"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":"Q1135835$38D81232-300C-4DB0-8111-90C2784C397B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd80f96bc2195b59b29ee4886c911b0bdaf6f27","datavalue":{"value":{"text":"What does logic have to tell us about mathematical proofs?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1135835$1953F3E2-6DFB-4F26-B979-8EDC4830810A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3579f362630ff737e96d6fa4b9ba875ed4203008","datavalue":{"value":"0426.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$78063418-55A4-43F0-A854-19985728D591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b191f51efce6b4c612c1bfd476f4aa6edefed6de","datavalue":{"value":"10.1007/BF03024381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$2FB52A27-F4C6-4B8B-A36B-0950FB9E2A73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$B352F976-C9DB-42C1-869E-6F372A0664FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fb1fb9e3613de38b550373bd0384fba28a5a775","datavalue":{"value":{"entity-type":"item","numeric-id":215534,"id":"Q215534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$6DA8FF4B-3766-493B-BA15-9B64E2ED3ECB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1135835$7DD82421-C7FB-4269-A4B6-23726245FEEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$774AEBAF-04BD-49F2-8F98-D1BAD3453CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$99639790-2D72-484D-B96D-D5779926BD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$0785D106-56F7-47FB-A9F0-7F415D942B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee6f2ba38d0f42b7f3818e736a73127e6bc23c5","datavalue":{"value":"3663079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$46D9ED3B-6F8A-4FCF-AAF9-9B85AF1028ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135835$32D00279-499A-4E87-B5A1-E77F69BCA496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00778cc8302e54679808696d876b6463d1676c84","datavalue":{"value":"expository paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135835$4926A430-C48C-4F7B-8130-27EA67EB32F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135835$93EF9D6B-C309-4C84-A611-F5A60508EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135835$97C71BF0-3841-4244-88D6-16DA0B0C7418","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$7B2C69FE-CCCE-40BC-90CB-EEAE5FE92528","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":"Q1135835$27910BEA-2800-4385-B374-BF7C75AD6070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$4F5AB00D-6A03-40FC-8359-CAA0542F2089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6989014e34d3a9775035abf0cfcc3b2c1b5a10b","datavalue":{"value":{"entity-type":"item","numeric-id":4110996,"id":"Q4110996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$50A6685F-7CE9-4455-8272-1D4C6016CFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$D0355300-865D-41C6-991C-53D727888F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$2F08EE78-25A5-4E93-B25D-5D3712963913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$A111B0A9-4ABF-416D-B141-DA9ADCEBF1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$BE139A39-A694-4FD0-9F6E-E5DDF03FD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$FAF53153-F046-4D70-A6FB-38468FF992AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$332D2B0B-B110-4864-A8E1-9EA8D6BD38E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766d123780f1e3d44c279eee3073682f29150e27","datavalue":{"value":{"entity-type":"item","numeric-id":3260570,"id":"Q3260570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$42E09EBC-8252-464E-8CEF-61160F64DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9562cb9925283a8d810045d6d68a9a7cbd9a0fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4160889,"id":"Q4160889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$7E69C7CE-706E-4502-86DB-16AADB736BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$A4BF8E1A-BA26-402C-AA9A-11B5A016FFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$7399380E-D268-460E-BE06-7ABA5248681C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$9A0457EF-5F30-48EB-B9F2-868D873CE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$7CEBA039-361D-4B12-AAC7-2C9D77CC53B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3e44f1c43aece3bdd69ab8baa271c3e83135a","datavalue":{"value":{"entity-type":"item","numeric-id":1255499,"id":"Q1255499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135835$5C908B29-B6A1-4CC6-92FE-5E317F3D6898","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c3d1c8a570dff1a043b8641957187949809e31","datavalue":{"value":"https://doi.org/10.1007/bf03024381","type":"string"},"datatype":"url"},"type":"statement","id":"Q1135835$4432A717-1C6B-4A1D-ADD1-3A56A4F1A666","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546627d609886e0d14d0be25aa378e3343d94e33","datavalue":{"value":"W2329026857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135835$6F424B2C-E438-4FB5-83E3-23C75D458F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What does logic have to tell us about mathematical proofs?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_does_logic_have_to_tell_us_about_mathematical_proofs%3F"}}}}}