{"entities":{"Q1744008":{"pageid":1754750,"ns":120,"title":"Item:Q1744008","lastrevid":57517539,"modified":"2026-03-31T06:06:00Z","type":"item","id":"Q1744008","labels":{"en":{"language":"en","value":"G\u00f6del's natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6860346"}},"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":"Q1744008$D77BA777-D0AD-4F92-8B5A-AD4F8C7501D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed94026c6c028628e4f26a26d1989dc9b9e3a845","datavalue":{"value":{"text":"G\u00f6del's natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744008$CFDB5C68-11D1-43A0-B9FA-D4CF2C82C3A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15d50f8bf1f1d1c579e8d5b870720d68d6f42d59","datavalue":{"value":"1417.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$507A0CC8-F788-4268-8AE0-56054DA572BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$5BBC34B0-6853-4123-A481-BB729B399D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff45f9fb1730f7887241afa9fa95a430bb1c1f73","datavalue":{"value":{"entity-type":"item","numeric-id":1744007,"id":"Q1744007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$2A6694FE-2669-4382-8DDE-D72E6DEFDB3F","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":"Q1744008$6F6869DE-D8C3-4C08-84BD-4CEEF950135C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cebd514f10184b17197e759da0a7f95e6df8d514","datavalue":{"value":{"time":"+2018-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744008$B2A6B505-61A0-4C58-A9B4-1A75EF734499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335122648fc423d7e93d6e210652b891721a8e7c","datavalue":{"value":"https://arxiv.org/abs/1604.03078","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744008$EE1A01A1-3534-489F-84A1-CDD39BAE2459","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$3E6D8C72-B537-4777-9757-746B0753B15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$671B00B5-55C5-4DBE-B6B4-6B7B50F416EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$6CAD29EA-149C-4369-9505-4EF077A914CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$05266438-AF1C-4F6B-8AA8-CFEB6CFB5564","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f3cb35a5704cc3797e252b7d53fa7c7c43df11","datavalue":{"value":"6860346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$E005C57C-F5C4-40B9-83B9-EAC5572FD625","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744008$8B9F6257-16B5-4A67-BC27-73A6BFBB67C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744008$765680C3-FEFB-407E-94C8-2B1D23ADA20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744008$6B062724-C6D0-4321-B43E-2FEA9BFB29C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744008$AE13A502-D147-453F-9279-8474E3CCA733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0dc6084a8727637d7b474e89df8dea9a8f711a","datavalue":{"value":"general proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744008$F9C3B23A-20C3-492C-9DC6-0065EEC4F19E","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":"Q1744008$05E54601-985E-465B-BE20-CD10841A59F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e727d04e445217f9e1e42b86fa29bcdf397382f","datavalue":{"value":"W2964172364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$DD7B71B4-CFD1-4725-A973-0352A4C02373","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"068ba590a1fe2885c53d548297356d2ad8f5d387","datavalue":{"value":{"entity-type":"item","numeric-id":5283448,"id":"Q5283448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$7D4F05AC-741B-4D31-80AC-8AE88C540A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0929e473b1303bea88099cbaca1263f57bfd8c84","datavalue":{"value":{"entity-type":"item","numeric-id":3618450,"id":"Q3618450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$0155C948-42F5-4AA0-92B6-E2EC5FEBAA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$B5B10A86-DB7C-4263-A9B5-8081AAE1761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803358515e28381b019037c306839ca5f75454e3","datavalue":{"value":{"entity-type":"item","numeric-id":4842677,"id":"Q4842677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$9199EFDB-BC90-4804-B465-DDBBDC0D40FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0261ee3014df578871a78a3d2669926e7bd5488","datavalue":{"value":{"entity-type":"item","numeric-id":3370618,"id":"Q3370618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$8020AB36-FC0A-4291-B29C-1470256E53F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac30472f3711a2478de68cf38d3ea22c8420b47","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$17889434-0EED-4325-950D-B45DBE39935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781d9acddee76bd05760d7136e28fd1feb529588","datavalue":{"value":{"entity-type":"item","numeric-id":4918290,"id":"Q4918290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$C582877F-9933-4B53-9704-4FEF1F9B7235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0357ad4b073a41c834ca816af85a3f84043fccec","datavalue":{"value":{"entity-type":"item","numeric-id":5213609,"id":"Q5213609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$41D0BACC-8FB9-4581-AE09-96CF69AB7E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e41b7bb510fed1881510e32b1bdcc8f740bdd4","datavalue":{"value":{"entity-type":"item","numeric-id":5864197,"id":"Q5864197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$7F571DE8-4F48-47C8-8E58-6450AF1A94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307d614b8634a66981db72466e6da83e5d58d610","datavalue":{"value":{"entity-type":"item","numeric-id":5221850,"id":"Q5221850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$3E7ACD5C-2DF2-48AC-8FF4-E244B6F426DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b3240b291153016f6b5a5fc264fdca1bb85143","datavalue":{"value":{"entity-type":"item","numeric-id":2631643,"id":"Q2631643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$557074B6-409D-4923-9805-F5972DA1C7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89b3ea81f36c309658525a2ddda6228c6236c67","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$BB35B544-F0FA-443F-A1E4-3583997285D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$D86D3451-862E-4446-B2ED-5DA371D001A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d4da92a7537fd665ede015df0eb8241a5cdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":4754493,"id":"Q4754493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$00DFFD68-450A-4558-85B5-2DA7C485B472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$D685F81D-8934-4888-A80D-A179D3C3974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc1c5f7b73fb09a816cde46784bb96707e26caf","datavalue":{"value":{"entity-type":"item","numeric-id":2259014,"id":"Q2259014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$AFD09376-ECDD-4C7F-8149-3A303B2E9528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc440e6b746fbcc870102f7e0b8b66275986778","datavalue":{"value":{"entity-type":"item","numeric-id":5320764,"id":"Q5320764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$7EDB1ABA-64BB-40FA-AB82-99B6C9C5D288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36c5b54f92874d9afc5a5317193d2545b6af04c","datavalue":{"value":{"entity-type":"item","numeric-id":487555,"id":"Q487555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744008$903816DC-7473-4C9D-892E-EC0981D5590F","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":"Q1744008$D5D7D6E1-590F-40BA-8967-3DDD894EAB5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324f22c9c522d116af85c4723dd1e74832d85702","datavalue":{"value":"10.1007/S11225-017-9744-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744008$18A089FF-FE43-4F95-963D-DFDF0CA9383E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786f985f627480f25197a6d7ca7f0caaf8853c89","datavalue":{"value":{"entity-type":"item","numeric-id":5283448,"id":"Q5283448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cdacf8fa507cfc31d4ad16525a173e07719cf0","datavalue":{"value":{"amount":"+0.9342343211174012","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":"Q1744008$BCE8CBD6-7038-4809-88CA-785C5F0B4285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7cd9f9cad364930fa595a67d49925a167ba93b","datavalue":{"value":{"entity-type":"item","numeric-id":4961869,"id":"Q4961869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45043bd4ac0d662d12e6a09122c50c32fce05c0e","datavalue":{"value":{"amount":"+0.8141719698905945","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":"Q1744008$7D23C483-68F6-4C09-83AB-CA2D5A15C3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf46fc646aab13e180bab3ef8ac2e2e974b4867","datavalue":{"value":{"entity-type":"item","numeric-id":5238740,"id":"Q5238740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eba00e44f104545c74ff2c2beb3d8154097dda6","datavalue":{"value":{"amount":"+0.7993268370628357","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":"Q1744008$67DA64D0-24DC-4355-B60F-F00D2352F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d236b872bc66fbbd8c30e0961361f78d08b0bff8","datavalue":{"value":{"entity-type":"item","numeric-id":3618450,"id":"Q3618450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64d12f3111c14db71a364f037d1aae59067c6af","datavalue":{"value":{"amount":"+0.7908321619033813","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":"Q1744008$E2E53FD8-F752-496C-AE39-C4997814B651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405b6e50558a13879ef4d0e108457a94ebaf0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":4611686,"id":"Q4611686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e37202865b00b45ceaa1918939f07dfc2660db","datavalue":{"value":{"amount":"+0.7841139435768127","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":"Q1744008$773F9107-207D-48CB-BF27-9BDB66AF939F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744008"}}}}}