{"entities":{"Q1267397":{"pageid":1278147,"ns":120,"title":"Item:Q1267397","lastrevid":67421094,"modified":"2026-04-12T17:31:58Z","type":"item","id":"Q1267397","labels":{"en":{"language":"en","value":"Hilbert's logic. From axiomatics to proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208069"}},"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":"Q1267397$9A20B3B6-FBCA-4F53-BFAF-8CCEC352E7F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8da89f79368e6d785f6df215a008b194b77d09e","datavalue":{"value":{"text":"Hilbert's logic. From axiomatics to proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267397$A2A30F6E-7EEB-4CD4-B844-B43061F11868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e50a3bd9f92dfa88cf5e6dcf59547f9859d5e8","datavalue":{"value":"0908.01010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$C132C8C6-68D5-4B18-A7EB-6AB5B2480A6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1e77b17ac1a57216d67ca683a75c596fe4c2faf","datavalue":{"value":"10.1007/BF02913699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$38060870-AEBD-4A0A-87A1-3FFCA8F5195E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebc4fc15605a3e22643072d0e3176d0d69312ed","datavalue":{"value":{"entity-type":"item","numeric-id":587369,"id":"Q587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$98EE48EE-02FF-4E77-816A-00A6B3A31AB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2da156df418fd7481f592dc36eb0efe3720a565","datavalue":{"value":{"entity-type":"item","numeric-id":174861,"id":"Q174861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$3DDBE710-F675-49CD-9C8C-A2ECE37F1F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267397$0B179DA9-57EA-4AEF-9901-82C3C587913F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d22c7584294bce801a841a68f7b9fc2b1c1f2b9","datavalue":{"value":"This is a well-documented survey of the development of David Hilbert's views on foundational questions, starting with the foundations of geometry in the 1890s and ending with the proof-theoretical programme of the 1920s. The paper is organized around the question of Hilbert's understanding of logic and of its function in mathematics, the influences under which that understanding evolved, as well as its position in the foundational world of the 20th century.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$6897772A-31E8-43A2-926F-13A1A732AE8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$765CC8AD-7202-4353-9C4D-540CB773B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$3E03C25B-4CFE-4863-AD61-754034C173C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$5FE60220-6954-4279-8A2B-F8B96D8A61F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"915b8ca40281981517602910e4ac17376c4d94f6","datavalue":{"value":"1208069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$A175670B-06BC-48DC-9649-6ADFAF9CDB45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$58BC82FE-5F5E-4ED6-A1AA-64B36E128BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$E092940A-B1B7-46A0-96FF-81C1C1EA8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6ce847db52d9e6fcfb3e8aa93e07380cdd8eb1","datavalue":{"value":"development of David Hilbert's views on foundational questions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$0088FEA3-CBA2-4EB3-B590-492FA2A6CF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$5D5BA8EA-BF66-422F-85BC-947FA9E4D8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267397$87EA43AC-FAED-403C-B072-CCA9DF96C831","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$CA7700F5-9335-4246-9176-94941547D6A1","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":"Q1267397$96F83D9E-6E35-4432-A92B-BEE5361E681F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd3ae67b143bc48b32693a360e56e915fea8406","datavalue":{"value":{"entity-type":"item","numeric-id":4697299,"id":"Q4697299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$867D780D-6CBA-41D5-AC39-62D20A427120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d2f78994ed4b1c9ec1c2757da978ae2feec8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4304116,"id":"Q4304116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$BB6A4514-0BE1-4F95-B63B-A50A4B89A578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7171dd6ac8ecaf332e9d8025ffeb15c581fd89","datavalue":{"value":{"entity-type":"item","numeric-id":1208146,"id":"Q1208146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$DE34D701-0886-4855-A16B-E9B31977D7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"804c578b535eabc3e97dcfc79d2d03d33493b513","datavalue":{"value":{"entity-type":"item","numeric-id":5617609,"id":"Q5617609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$57065920-6939-4DFB-A506-545EBF0DBC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f340ef84769b5326f72ef8d02362fdfb19d196a","datavalue":{"value":{"entity-type":"item","numeric-id":4108283,"id":"Q4108283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$995C150F-524D-4F57-83CF-046B865C3BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e652abfcad6d51a683cef59132b696e68037d7","datavalue":{"value":{"entity-type":"item","numeric-id":3244742,"id":"Q3244742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$C831ABC4-8BCC-4DE7-AD79-5AE20519FF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b96ce1c8b510e269957bf342336c39206bc638d","datavalue":{"value":{"entity-type":"item","numeric-id":5288301,"id":"Q5288301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$228AC9A4-C018-4CF5-895F-0BA5E7020A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$0E478A50-40A2-4F5C-8737-7DFDB21E198F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ade369f0218fb72f88f8ae7832547dcd4248eeb","datavalue":{"value":{"entity-type":"item","numeric-id":5762262,"id":"Q5762262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$6C3DAFD0-4A64-4AA3-AF8F-A9A0F98C6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5a50c2b9783bee7e01f2b671c5aa562ef2e806","datavalue":{"value":{"entity-type":"item","numeric-id":5536199,"id":"Q5536199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$D17A399D-2C9B-4362-B060-EC0496760612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7263658004d8cbfea71071d0f359c6b2a137b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4756727,"id":"Q4756727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$16B73BB6-0F48-4EE4-8EB7-2A0C94ED0346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14e6969de02cf5a19417906c0c5f01258599367","datavalue":{"value":{"entity-type":"item","numeric-id":5772177,"id":"Q5772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$E20703A7-A4B2-4844-96B4-4297C12EE6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c940ee685f451b37fda5bf82c62ee305b66f25","datavalue":{"value":{"entity-type":"item","numeric-id":2649138,"id":"Q2649138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$BA766FAE-EE70-4C9B-B166-488F0901C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95363113a3c512466305aea6850109378a064010","datavalue":{"value":{"entity-type":"item","numeric-id":3997466,"id":"Q3997466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$F1AC3E24-7E80-4077-B42C-1C814357E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87e7c31d6984f5817485137ec5f968d9279b206","datavalue":{"value":{"entity-type":"item","numeric-id":1157318,"id":"Q1157318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$79EF6FBF-C503-4FA3-A2A2-EB18EE845B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97c0e11ffb69458aa1c1c71c1b845f912ac407f","datavalue":{"value":{"entity-type":"item","numeric-id":3999367,"id":"Q3999367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$9FB0C8B1-945B-4291-A3EE-51D3CA007390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38b31229d4d6c613cf90c22936778310b261396","datavalue":{"value":{"entity-type":"item","numeric-id":3033723,"id":"Q3033723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$CA03CC57-D7A3-4DED-A418-309D19DA8816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884ccbb11b46d141c7a939e42e501be66a4fbffc","datavalue":{"value":{"entity-type":"item","numeric-id":4013227,"id":"Q4013227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$04686ED0-0326-4D65-BA7E-2B56B1A69B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549bc38f4fe94c4016b9be6a75be0b7cad0a8ece","datavalue":{"value":{"entity-type":"item","numeric-id":1151389,"id":"Q1151389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$EAE695B1-A643-4F65-A0EE-24BAD8C0F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816e5f799949ea6c47b805943c54f5d9b2c5c863","datavalue":{"value":{"entity-type":"item","numeric-id":5587066,"id":"Q5587066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$F84CA9D6-7890-4C7C-92CA-8A8E768EF1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98edeb130ffe70a1f14dddd61b4fc98e002de2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3816045,"id":"Q3816045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$1B8A6B6C-EC18-44B2-8714-F0261E5DDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95381db315525503b40d2441dec7dffa15689dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5641118,"id":"Q5641118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$DAD9644F-0E63-4F1F-911C-202CC96FE49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b874be4398908905b6b6537f52e417df634dcd","datavalue":{"value":{"entity-type":"item","numeric-id":5834186,"id":"Q5834186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$16781745-DBB7-4E91-8182-75B85D64E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672c51adbd9eef44ab9573c0c7b86f998f4c9152","datavalue":{"value":{"entity-type":"item","numeric-id":4357731,"id":"Q4357731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267397$A12F5A14-A461-4430-A2DE-DDFF4EC9E5C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ddd059cdfe0eeb11e6679713f1a3ef2c7da3b38","datavalue":{"value":"https://doi.org/10.1007/bf02913699","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267397$8B6D2240-F223-4C54-A867-D0327F9DA8B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2018cee016f25f20ac0b16631c485a6571656416","datavalue":{"value":"W2064017287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267397$33A25469-8491-4D5D-B215-F17B29ED081F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee20ecd4cc07c14e88b41cdf0f0a3d63e46dab","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f64070b590743519f1e2456fd1d586d2a7045e1","datavalue":{"value":{"amount":"+0.8403589725494385","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":"Q1267397$6E77077E-0536-48D1-9FA2-76B5D509FC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89e396d7348ee5d2112f5af47121a1084061c933","datavalue":{"value":{"entity-type":"item","numeric-id":5698870,"id":"Q5698870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51d96727a67bdb9474b2f4c992fbf98203201ae","datavalue":{"value":{"amount":"+0.8398946523666382","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":"Q1267397$F2B70412-9DD8-4EE7-BDE9-E71495B7D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba65762b9c4a139e84fa61503c2dc7155a7bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1036075,"id":"Q1036075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82687fcd5bd99b64c53acaf93a9cc5ce165e00a","datavalue":{"value":{"amount":"+0.830586850643158","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":"Q1267397$F0F682B7-B631-4807-8A8D-683846524272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d24e87f77baa3b5e60c4222136f13552bf667e","datavalue":{"value":{"entity-type":"item","numeric-id":3445908,"id":"Q3445908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220d532ec5e6070069ce27a9e7c0035e7a3f201d","datavalue":{"value":{"amount":"+0.8230078816413879","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":"Q1267397$FC88F913-A071-4ACF-B831-B048015FF712","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert's logic. From axiomatics to proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert%27s_logic._From_axiomatics_to_proof_theory"}}}}}