{"entities":{"Q5441551":{"pageid":7471109,"ns":120,"title":"Item:Q5441551","lastrevid":50275568,"modified":"2026-01-13T17:34:32Z","type":"item","id":"Q5441551","labels":{"en":{"language":"en","value":"Finitely equivalential Gentzen systems associated with arbitrary finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5235518"}},"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":"Q5441551$CCE2C08C-C608-4AB7-8836-738F01E222E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47938a196cc5458029db98d106b243d4a6464a9f","datavalue":{"value":"1136.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$5D173724-1A76-433B-9009-FB9D31F4F0B0","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":"Q5441551$17010D82-010C-47C9-9386-6D5077EF3263","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":"Q5441551$56F5C3CC-B0B4-489A-B31E-D1938CBF9068","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9eddbf6b84d3aa22569898d419b5220eb74d29eb","datavalue":{"value":{"time":"+2008-02-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":"Q5441551$7A5E98C0-52A0-46C6-AA78-3108F175A2EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$8C696AA1-7DD1-43D2-9BDD-DAABAE2BF169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$A3DDD1EC-9045-4D91-9E3A-014E1832EF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$48257425-7D6C-4465-B2F2-EBA0F3F0FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$4347EFF0-4E1A-41EE-AA41-7B5AFBFC9B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"644aa3c6ac718d3026d8bb646ba1dddcc24603a7","datavalue":{"value":"5235518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441551$2A3A87B9-E659-4867-9C2E-218AFE2F1ACC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$2C5B4954-025E-4123-8A70-D1F478555BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$02915B03-11B4-4FF9-880A-FF0C0223935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$03F37A26-51A9-41D0-A799-E78416E2F26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636e6f35508bd2e0772a82fc168f612218ea2f57","datavalue":{"value":"reduced matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$B92F3F25-B393-40F1-8042-ABA25F9963FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$51734B47-6EB6-4AFB-805B-E4CA2C2481C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428ff165e9f47b953add14b7e0fd2aa2dd553123","datavalue":{"value":"many-valued propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$C777208C-ACAA-4404-B4DC-7A5B48526C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dc5c4478e280200738e78108a10d8f8ac0f7b","datavalue":{"value":"Leibniz congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441551$1F2CE2BB-8A37-43AA-BA07-DA967EEDF5B0","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":"Q5441551$70FA1E02-B7CF-495A-A6EA-EC9DF6C4D9C8","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":"36c4f48b0cb4da5e9b708eb7e12efac00429d2e7","datavalue":{"value":{"amount":"+0.8228191137313843","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":"Q5441551$5639DC13-00BD-4479-8906-8E41A90F4D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a259b33a77e07b739d05350b2ab62f6f5d1e47","datavalue":{"value":{"entity-type":"item","numeric-id":4443419,"id":"Q4443419"},"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":"Q5441551$DC5E01B3-41FA-45D7-80F2-31AE98859049","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":"f3d0f72b56cc9a8a7d8a91bf65e11fe5a1b92b1e","datavalue":{"value":{"amount":"+0.8084166049957275","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":"Q5441551$D29D3020-7F7F-4394-92F4-9A3A306EA3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02781c9bc4dc0b97d069d382200b233e2a686f09","datavalue":{"value":{"entity-type":"item","numeric-id":368479,"id":"Q368479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595c09bc3a014ce3d37ec7868a0fbbcb8fd2a433","datavalue":{"value":{"amount":"+0.7973931431770325","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":"Q5441551$7064551A-7946-4050-AB63-3A5F869E4E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d1823f6ab9896798edb158b31b35117786196","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392a3adf13a9333de9f1cada8ef0bc6fd210977b","datavalue":{"value":{"amount":"+0.7928245663642883","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":"Q5441551$4DC8CFA1-8610-4FF8-98F0-5110D3B67C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5441551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5441551"}}}}}