{"entities":{"Q2915840":{"pageid":2926560,"ns":120,"title":"Item:Q2915840","lastrevid":57688320,"modified":"2026-03-31T22:17:26Z","type":"item","id":"Q2915840","labels":{"en":{"language":"en","value":"Theorems as constructive visions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083898"}},"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":"Q2915840$499B4985-A265-4E1E-AFA3-2F8ED9F0AF3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5af3cbf69ffca7399581ac900343ef539cc653e7","datavalue":{"value":{"text":"Theorems as Constructive Visions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915840$F2ED1FBA-207E-4BD5-A3BC-9DA68CE39148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6811ef4816b301d84029d106041592153bb098c9","datavalue":{"value":"1247.97002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$EFA48495-B2E1-4A28-9329-C9EF15036C25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d9c436bda8482a7ef1a4ca82da4afda96fd544","datavalue":{"value":"10.1007/978-94-007-2129-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$7068916C-216D-4F42-BFC1-BA593D905179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"88b4d6d30f6bc32258d6b2bf9183250f7fab4b1c","datavalue":{"value":{"entity-type":"item","numeric-id":382968,"id":"Q382968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$1E2DC4C5-604A-4426-A061-CCFD7061D5D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915840$88BCF4ED-5579-4B9F-A1E0-33A232D71291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbcbd9da63c89ef8ee4c998307bb286ffb73e1d2","datavalue":{"value":"97A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$693A5752-9D3B-4583-B5F0-9A80F7990FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3eb3832a4185e7e706fecab141c246a315531697","datavalue":{"value":"97E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$705920C5-198A-4FC5-808C-7E88675D6632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00f42a2a59ec246b1fc914a4d26db8b0ca02a1aa","datavalue":{"value":"97E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$B3FE5B62-F8D7-4208-AB66-9F27E0E6E665","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be654028659c04d16ba9d03ff9a120f1d830f7d1","datavalue":{"value":"6083898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$4FDA7683-4C77-492E-8ECF-EEB6C4B27569","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecb804230b73cbf53fd738b080714b6180eb0cd","datavalue":{"value":"foundation of mathematical concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$6F06C884-1886-41B2-8B43-F90169948DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b747a9a5956dd70b46b6f3f996d828958eb845dd","datavalue":{"value":"foundation of mathematical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$A180AB08-FD46-4BE5-8755-CF35463E9215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3a42780ccec7313274c0ef2554bbb7683e3bc5","datavalue":{"value":"construction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$DC01DD9A-CB18-44D0-852D-93F422F1253A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeff26e09dc012c9eae1a1a02d780237063c78d1","datavalue":{"value":"proof principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$F1245B13-7075-46E7-AA96-7F551AC2D0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"119d05e5c6953bd114908bf85e5caf6a8e226b2c","datavalue":{"value":"arithmetic induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$B450A1B6-B346-4F0C-A62C-E7902EE88477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d56f6d7d46c0c06ba712cae2c0d6b4367aa0bf","datavalue":{"value":"prototype proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$D9CF44A3-B6DF-4DF8-9F98-F432FD1FB5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"369d5a2fe80a2b288e860e802f3d8432a853acb7","datavalue":{"value":"incompleteness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$5CA41742-D3B6-4E9E-98BF-C3601E4A48EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915840$774914E6-0410-4725-9CA9-ED3FF4EF75A0","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":"Q2915840$D94F3F5E-D575-4FAE-AF65-0B09CEDB3056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b6a75c7a31d04d579fd2b0c239ba46c41b7ed70","datavalue":{"value":"https://doi.org/10.1007/978-94-007-2129-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915840$05A305C8-9B1A-4E36-BFBE-AD72D2A65453","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ac4f98423e0ea52fbee0a5c624f73dd3734890","datavalue":{"value":"W1182382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915840$1B7349FA-E7AB-4554-801F-B71025EF921F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a36084a4b98297f476477d38551dacef726559","datavalue":{"value":{"entity-type":"item","numeric-id":3548538,"id":"Q3548538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$87285AD3-037F-4265-BF62-BE460CE4F127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b491d8c937ed40a4ff7d9859a5058b9b01079400","datavalue":{"value":{"entity-type":"item","numeric-id":3654823,"id":"Q3654823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$507DF21A-D27C-4D53-AF3A-ABAF52900A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7313749ae30f4f95dc6a740ce677f7928a111b0","datavalue":{"value":{"entity-type":"item","numeric-id":4693755,"id":"Q4693755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$1EC89F3F-A115-4560-8E37-9A3B9ABBFAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0a805d6c3ea88d54c50ab13ac02e85544c6c56","datavalue":{"value":{"entity-type":"item","numeric-id":4850057,"id":"Q4850057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$B12481FD-E515-45A0-A21F-2F144AC10701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad63a8c7eb0e7c5f22fb635cf6affdb608e49f70","datavalue":{"value":{"entity-type":"item","numeric-id":4699079,"id":"Q4699079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$14948C5E-1D4D-472E-A33F-FE83D4E83357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ca295213e58839b3080a67be0fa39e5c30d0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4210479,"id":"Q4210479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$515C8230-C279-4333-9226-018A4DF7B71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d601f949b7426e728b99fdfb3d87203cd8cc8c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4895892,"id":"Q4895892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$7CFB711C-2F3B-4D74-B2DB-1C2E12811F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a2e86a75086f5316a83fce4ab2f9f86a564cad3","datavalue":{"value":{"entity-type":"item","numeric-id":4893763,"id":"Q4893763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$374D8AB9-B96D-45D0-9C42-617B4D8CB1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9179a238519c7efd92e4aff9e31767fe5b7dd119","datavalue":{"value":{"entity-type":"item","numeric-id":4488177,"id":"Q4488177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$4F257A81-77EB-46FC-82CF-F15AC5C4259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$EA755EB3-AC13-4CA9-8FC2-A9AF28F4686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$6A81347A-07B2-4E2F-887A-8F693C68E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$368C1824-FEA5-4EF2-B561-ACE1F6BA3376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af07ed634de9f51b7e6d766af2f375d106b19e1","datavalue":{"value":{"entity-type":"item","numeric-id":5737082,"id":"Q5737082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$65F38EC0-0849-43FB-92DA-313A52166EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b44bfd7fc7c59d63d94a30d5811741cc99581","datavalue":{"value":{"entity-type":"item","numeric-id":1073004,"id":"Q1073004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$8B773C07-7AC0-49BE-9EC3-D9DE775D6DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ffe12be0e9cb9527906b74fc5b6e18b5161e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3549434,"id":"Q3549434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$48C766D8-4878-409E-9636-D5EC96CEA561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786ed1ae049572265831353eb40436bd961aab55","datavalue":{"value":{"entity-type":"item","numeric-id":989742,"id":"Q989742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$32B805EE-8D6A-4E54-81FF-98AF3DF71022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$94466634-2061-4B7C-9D90-35C2BBAAC3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bae6185b1bec31193e928a5390cf2f420cdaddcd","datavalue":{"value":{"entity-type":"item","numeric-id":1578773,"id":"Q1578773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$BF73F956-97DE-4082-A103-BD9CD0311A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18b26a2989af62d1921916e0f68cad96ddce2d4","datavalue":{"value":{"entity-type":"item","numeric-id":4609898,"id":"Q4609898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$2B94A5CE-841F-4675-B039-0AC66920C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3feb9ecccb1f0f8f19ae3724596cfdb85470ef","datavalue":{"value":{"entity-type":"item","numeric-id":5789491,"id":"Q5789491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$8D037A1E-46F5-48E0-B0E6-CD47068D0AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da56f10f0b70314ea575aed4ec40329bef865c02","datavalue":{"value":{"entity-type":"item","numeric-id":5809136,"id":"Q5809136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$81BB7C93-4754-464F-A64A-AD2F479977A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$CFE74987-3F65-47BE-A29A-06BEB1C90D00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cde8df6ff6b47800969efd7fe44178aa41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1297037,"id":"Q1297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e8fc449af94c823f2c94428a86f66b976160d7","datavalue":{"value":{"amount":"+0.7283459305763245","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":"Q2915840$5E8BCDC3-AD34-40CC-95C1-17FD242A6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4315761f4547180f7a8d855c0675a44fa0a0b07","datavalue":{"value":{"entity-type":"item","numeric-id":3001104,"id":"Q3001104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8850e7c75895bbbd4428e03e059123649d111d1","datavalue":{"value":{"amount":"+0.7250954508781433","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":"Q2915840$54E0B9D2-41D3-4BDA-B503-9745F43CD032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90c63a5ad9d2cf27f1bd48f660e97c958c78525","datavalue":{"value":{"entity-type":"item","numeric-id":5204811,"id":"Q5204811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1456ad080182cd78528e5da25f4769fdba9447a5","datavalue":{"value":{"amount":"+0.7250487208366394","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":"Q2915840$A6FE9352-6741-4A7D-8471-6167F0AB2A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf775e66a534aab7657db108bee3d98c50fa5875","datavalue":{"value":{"entity-type":"item","numeric-id":3367331,"id":"Q3367331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1613584ce11260dce395b6a07b355b8ce0b80c3","datavalue":{"value":{"amount":"+0.7245396375656128","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":"Q2915840$441E7700-F7FC-4C56-A9DF-E6817BB7A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694c5cdebea1eac42e224ef04de067673a4ec11d","datavalue":{"value":{"entity-type":"item","numeric-id":989742,"id":"Q989742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587bc3efcd14119c143a1c249153d34c2378c1d3","datavalue":{"value":{"amount":"+0.7232432961463928","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":"Q2915840$68593130-23F2-4743-8649-9AD1511923CB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915840$30795776-5B22-49B8-BA18-F272EEF24028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915840"}}}}}