{"entities":{"Q2631642":{"pageid":2642385,"ns":120,"title":"Item:Q2631642","lastrevid":56650452,"modified":"2026-03-17T13:14:57Z","type":"item","id":"Q2631642","labels":{"en":{"language":"en","value":"The fundamental problem of general proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055410"}},"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":"Q2631642$9B4B9098-339D-4DFC-8ED6-E1597D7E3B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20505029301a58fc832608b0c206301e388831a2","datavalue":{"value":{"text":"The fundamental problem of general proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631642$3CD0C001-3573-4394-91FA-EE41B66BB8FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8e1626803f2971fce4228c956999d9d244fe7c","datavalue":{"value":{"entity-type":"item","numeric-id":383063,"id":"Q383063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$767B5897-4487-4996-A198-970CB6047595","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$62081D6F-B28A-46D7-BC94-B565DE08FF63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-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":"Q2631642$DBB93ACD-B622-46F4-BB96-CE9B81DD9D3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631642$5EA48302-6E1F-4181-ABB8-0046B4EDC984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386d3e711234cc0896cda5de025d630116a2cf84","datavalue":{"value":"7055410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631642$C7BDDD69-02C0-487A-9FED-5DC95E494C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$C6F292DA-8D84-4397-BA20-517FAA519D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$7F55E164-6819-49ED-B866-67B0F313D1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94ee73833c1ae52f478eb7e6e057c289613a859f","datavalue":{"value":"valid inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$964DBE6B-7623-46D0-B49B-6E884BF1C54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20c279f6720a99c7c2d35202319ef9a3a4fd345","datavalue":{"value":"valid argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$FA602096-37C5-499B-B915-B2B61CF44E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7881ae0eecd26ac00025eea9c7784dfbfc7451f","datavalue":{"value":"Gentzen's naturaldeduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$D28EF059-1D1E-4EF6-8A97-9C367F558CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631642$8C0C93F1-B6F7-4C09-9226-4FF33AB6AFDF","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":"Q2631642$5120BE7B-3228-46D8-93CA-60465B709A1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eabc27d23f7bcd865b629ab6924398122e0491b8","datavalue":{"value":"https://doi.org/10.1007/s11225-018-9785-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631642$9B144DE5-2724-4154-AB7F-AECE014DAF58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb588eda7d7d9e1f5fbf607faf4d51e175c4ae4d","datavalue":{"value":"W2788766570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631642$0CB0B533-E56C-44FF-B55F-2DCD82A2CD57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"231698d7227e366d9fe674d764042c9f593bc35c","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$E1847C47-50D3-4F34-875C-FEC250954DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c83ca4854bc970244178cafde5689f37c95a5","datavalue":{"value":{"entity-type":"item","numeric-id":4088782,"id":"Q4088782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$3E500C76-52AF-47E7-98CA-18845D86D252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$69D90DCA-2AD9-4794-8EA3-078C4DFDF7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed06f3a1051c38b77692fd862191034be4a8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4757531,"id":"Q4757531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$1275FB97-6265-465B-89D0-89E0CEA706F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$19751472-B0E9-4D78-8934-F2C9734F812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ba052327064437d4dc5b12ef56d677e2220c5","datavalue":{"value":{"entity-type":"item","numeric-id":5633976,"id":"Q5633976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$DEC7E90C-987C-44CC-B8DB-01A58A69BC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$17774BCC-6E2D-4033-91D2-371E01DFCE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4c6d9ba83c8d7d076cf23fbde61713704c7a35","datavalue":{"value":{"entity-type":"item","numeric-id":4247025,"id":"Q4247025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$260B8B0D-7E38-48D6-BF4E-EFEB90AFB549","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":"Q2631642$2B8B9C17-9E03-4E61-8079-3AF1CE7EF88D","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":"Q2631642$7B96A999-1F12-43CF-9CF4-3B210E51E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$392B2FB6-D788-467A-97E0-F1B0D10ED0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$21D94D8C-C4D3-4955-A515-96C9674236F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e8c7a15d5dc4db135280acf79d63e0e77abb99","datavalue":{"value":{"entity-type":"item","numeric-id":5864195,"id":"Q5864195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$77BB4D8C-B9EF-41E9-9F94-F068B646A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$00C1CD77-DB67-4043-9185-24CB6D9066A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$0A5CF28A-2728-459C-92FD-F2373F8610A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a52350bd393d95048e71c30cd6a25f0102e7a7b3","datavalue":{"value":"10.1007/S11225-018-9785-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631642$C24EB1B3-DEFA-49E8-9863-0F6F49B50AA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfd8fd6397b4d34596ba6b1620dd22b06b6241c","datavalue":{"value":{"entity-type":"item","numeric-id":2288270,"id":"Q2288270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83e314bdc124a95a3217ca14ddbecfb977273e9","datavalue":{"value":{"amount":"+0.7833913564682007","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":"Q2631642$ADEC3425-AD98-48B6-8242-A487416DB947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ae0a5e30db6f2ecf2d5f518bde6b6b664a0077","datavalue":{"value":{"entity-type":"item","numeric-id":383064,"id":"Q383064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7967e5111a5b30891b606cfcbbb4884b108f1db4","datavalue":{"value":{"amount":"+0.7485876679420471","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":"Q2631642$A45E2E3E-B7CB-4847-A25B-6EFD64F085A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c5c40b9aebb71160530df249c6fd66d313a51f","datavalue":{"value":{"entity-type":"item","numeric-id":3499800,"id":"Q3499800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f622bc941a048af86a7aa655b88d911657127f","datavalue":{"value":{"amount":"+0.7451234459877014","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":"Q2631642$5FEF3C8B-65CD-462A-BB13-82D80293445C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eec602ce2806ec476e153d68b3e51cecce1bac1","datavalue":{"value":{"entity-type":"item","numeric-id":3305636,"id":"Q3305636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03daed5dec5e939d06981735d396c6f9ac55179e","datavalue":{"value":{"amount":"+0.7372866868972778","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":"Q2631642$BF49448A-D42F-4095-BE11-7B5C567ABA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5000400bb1d890be910be8f9ef92ac578bafe0","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58d9661da1ca006586802565a4454eed5112f5d","datavalue":{"value":{"amount":"+0.731461226940155","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":"Q2631642$90CD36EF-F3FE-4C2B-85C4-1CDAF2D21C34","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631642$7C5CFE95-5BE7-47D7-A211-2E589625B1E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631642"}}}}}