{"entities":{"Q4443419":{"pageid":6473018,"ns":120,"title":"Item:Q4443419","lastrevid":48218443,"modified":"2026-01-04T00:10:47Z","type":"item","id":"Q4443419","labels":{"en":{"language":"en","value":"A Strong Completeness Theorem for the Gentzen systems associated with finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024840"}},"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":"Q4443419$28113ABC-E7E8-4780-A86F-925E5F71945C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"248614350dc38a577da5383ecd420653f6a3b4ee","datavalue":{"value":{"text":"A Strong Completeness Theorem for the Gentzen systems associated with finite algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443419$B4DA99F7-F1C7-4445-A981-15D5484B9E63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8909e1dd457cb383147fd89ad7b94dc4c40946","datavalue":{"value":"1033.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$75892199-A8BC-4486-B7FF-98F4288F58C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1aa27c899861f42c7dfecd92bfb64e63da8d2c","datavalue":{"value":"10.1080/11663081.1999.10510956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$C7D69411-0495-43CC-B13C-EB351B60043A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf784982af8e887ab145db313b0277672ae374dd","datavalue":{"value":{"entity-type":"item","numeric-id":368478,"id":"Q368478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$C335BB27-DF0B-4037-A7DE-F73FB3565518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78eb03c5b6b6b3872c69f87326379191472f34ce","datavalue":{"value":{"entity-type":"item","numeric-id":850802,"id":"Q850802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$638A381D-009F-4693-BFCA-A640B7DA4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcce233b166e058167480b7b1c165291f5f8481f","datavalue":{"value":{"entity-type":"item","numeric-id":1576378,"id":"Q1576378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$84F3219D-9E56-466D-AFC0-C020707E1186","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$2A46D652-0FDF-4B69-8C42-CBBD8461CC0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0ab96eff1122a31ac6b2c9e221486075774700","datavalue":{"value":{"time":"+2004-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443419$B9217EBA-850B-49AF-B02A-0811831D43BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78372c2e5859dd8e1b1764f5fc4e2921b3b24324","datavalue":{"value":"http://hdl.handle.net/2445/152101","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443419$B871F9AF-4AD8-4F84-AB6A-C593E46A4A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$63E810C9-EA5B-41C4-870E-82050A9983AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$47687C8A-5B46-4AD1-AC70-314D100A2FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$BAAEE3A7-282B-482C-9A6B-BB48D9EF5E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$5FDF8813-4C44-4300-94C8-DEA444AE4ABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9618edcad3ccbcfea87ccafdd9e8f7a5d554ed15","datavalue":{"value":"2024840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$F7AF9BA4-F914-4AFE-B6A8-B5EE06D96BB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$EB90718C-2D97-4415-84C0-2D677C7992C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$75843E48-3AA9-4488-A624-C67CF5519FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$A8334811-490D-431B-95F8-58376807F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$11A5FD36-4F28-4655-9041-388823C7D30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$00B5C9A4-30DA-41CE-86FC-6D224D9A172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$4A883A15-A71B-41D4-9112-86642BA16E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5929c8a9e7fdd0d7009b64aed2f3b62e411259","datavalue":{"value":"finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$2C19D0D3-9249-48C7-AE6D-136A953A93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443419$0A72D72A-17EA-4349-8BCE-E39F0D8AC267","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ccd5e68e3cdc3ef728b8f894bc92ed260d8d4ef","datavalue":{"value":{"entity-type":"item","numeric-id":18694,"id":"Q18694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$80B63A84-8B87-470B-8F14-8CA2C6688A58","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":"Q4443419$9AE03740-F1A6-4656-BD3F-11F4283FF58B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b3d027f3664f3e9c2d7dfab79c0d22701339bc3","datavalue":{"value":"W2008844842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443419$9858CD29-B254-43A7-B0B7-8EC6021CC137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a8a36327ea86df5522203c0e0180d9b3bcc5cb","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$12BF84E0-F6DC-41B5-AE70-EE0E057B9A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4442d8f14c8199807db169c0a19d7c58dc2af","datavalue":{"value":{"entity-type":"item","numeric-id":257980,"id":"Q257980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$24BACF58-2D8C-4536-A2C4-2E8854C7B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$FC331D99-BF5D-4D37-BAC7-73B6A5CBC6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567cbf453cf982ee25f2260ca76b08c37bd022e1","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$31CDA3E1-7A5E-475F-AC22-904FFFD79FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443419$B7570DA8-F638-472F-8A32-214CF7EFD1E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d6e9cf31e74a2e59aee0b064c367acbb625c1","datavalue":{"value":{"entity-type":"item","numeric-id":4351798,"id":"Q4351798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0917a8b20b9def904037964dff7c13eddbed9b0","datavalue":{"value":{"amount":"+0.826753556728363","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":"Q4443419$B7D26411-0C33-46CF-849D-9B4D7A065C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cfa520369bdc61cc16a23a4dcecb6e807fddbd","datavalue":{"value":{"entity-type":"item","numeric-id":5441551,"id":"Q5441551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d9e3d4e5e80d339648357ac18f11e9e8139e57","datavalue":{"value":{"amount":"+0.8174757957458496","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":"Q4443419$314DE5AF-A913-4B57-9EF1-E6E83E3DAB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61723a73197f70c66bebaeaba6a60b995d63c36a","datavalue":{"value":{"amount":"+0.7652321457862854","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":"Q4443419$0204F18F-43C4-4E4C-A560-3FDA43E4C533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa85fac83872cb99dbb747d462ccfb4204ef7dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5cd7bf4274f26d72a9c005de88d7a9f2beae49","datavalue":{"value":{"amount":"+0.763282060623169","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":"Q4443419$7EC750BD-246D-4C13-82CB-809B050EA500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547fc437a9b7492051d6a399b1fc99b1001d06f1","datavalue":{"value":{"entity-type":"item","numeric-id":5490807,"id":"Q5490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5cd7bf4274f26d72a9c005de88d7a9f2beae49","datavalue":{"value":{"amount":"+0.763282060623169","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":"Q4443419$869DBAD4-BD25-4C81-9EB1-825136C645FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443419","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443419"}}}}}