{"entities":{"Q1336767":{"pageid":1347506,"ns":120,"title":"Item:Q1336767","lastrevid":47277457,"modified":"2026-01-01T05:20:26Z","type":"item","id":"Q1336767","labels":{"en":{"language":"en","value":"Extending Bachmair's method for proof by consistency to the final algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 681786"}},"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":"Q1336767$DA7A438D-5AF4-4B3D-BF0E-7A89DD9D975A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97b14f8a8f2f6d9e6b65f431aa2ffad523b5adf","datavalue":{"value":{"text":"Extending Bachmair's method for proof by consistency to the final algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336767$43F60730-C9DA-4542-9B56-69EE9A32701F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6297b260a1f8499944dab2a0b0513a7fd37906a0","datavalue":{"value":"0822.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$9C9EC62B-1D38-4C13-BC32-E313DC51ADD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fcf0eaaf295f9e54710f85f90189a08349a8992","datavalue":{"value":"10.1016/0020-0190(94)00109-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$0268366D-656B-40F6-90FD-3CA59CD2931E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$735ECDF5-7D38-40E7-AFD2-6A8955AA1725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$E1D841D7-EB76-488C-9C6D-5090CDCA6F74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe3900678ff153d3544e746787e899afc2978630","datavalue":{"value":{"time":"+1995-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336767$D5BD4BF2-CACA-4EAE-B2A2-0B5623E8B14B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$027959F2-02D9-417D-AC64-DFECC7B38DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$BF207234-1805-41B8-BEF4-46706F92C8A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60c31d1ff6218f8a3f8f6c7311815c65b2e352ae","datavalue":{"value":"681786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$6695D996-5B21-4BBB-B2B1-E4528D0ECF65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336767$37038E4F-824D-47B5-BC2E-550B599730D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604a5517f27f775d1c9fd10dfee17b74e0e9033c","datavalue":{"value":"Bachmair's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336767$1AA1D2DE-E809-4335-8B12-A897B988417D","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":"Q1336767$F095D2A0-98E8-44E4-856C-EC0D0866C696","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$A4373310-C108-4AA9-A479-94A23F28E014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d43a7f349137163fbf3bdc9176ea638979311f2","datavalue":{"value":{"entity-type":"item","numeric-id":1067768,"id":"Q1067768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$48FA0AB3-F0B0-45A1-AF7E-F2978DF56306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9324db5d648085814dfc6fd5657588e70adeb75b","datavalue":{"value":{"entity-type":"item","numeric-id":5096143,"id":"Q5096143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$2321619C-B8A4-46CB-ADA2-5DBA18C9C60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$06E7A78E-FA72-4444-A016-94F25F6B2B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$3E50D878-A7F7-48CD-BA1C-E3AF4B17C1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$B557324C-4FF2-42BB-8CD3-461465959B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffcdb6809d7206633a782158c40b3eb602629cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246727,"id":"Q4246727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$6135C3C7-A831-4BC1-83A3-B15359149D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d50ab6e4af007162138dcaf880cfd57a4a7f8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$A59B1069-058C-40DF-B72E-318D10C16B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1d22759dc3e1d2d1547a2cbe8ef2c19f3df9a","datavalue":{"value":{"entity-type":"item","numeric-id":3912057,"id":"Q3912057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336767$2BF2B9EF-9641-464E-BAE1-1371BFA9711C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19fcf96eaef9660c2b96edbe8663b50b0ac7755f","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00109-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1336767$660803EB-56BC-4972-92DE-19FF1C9A9FA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95b3fb1c7a8955e507ca44959f9d8e6bbc921969","datavalue":{"value":"W2066687655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336767$C2930021-41EB-4A75-A6F6-468F6E532CF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee8b8c9a37c8f6b476d53ff17cacf691250105c","datavalue":{"value":{"amount":"+0.8118271827697754","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":"Q1336767$89D5A5BE-6A74-4721-B921-6A1B1187A2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5b622ad60151b6f7a6056b88c169a2d1b5b848","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49415f8b2e2fd3c42a7a0c767afe20a3b903bf8e","datavalue":{"value":{"amount":"+0.7624174356460571","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":"Q1336767$39B0B2F2-EF9B-4250-A404-B90990E625C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e0f21cfe1a86f7ccc6d3e5a2e24903e6a86638","datavalue":{"value":{"amount":"+0.7565808296203613","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":"Q1336767$7B932BF0-3249-49F5-8805-E99AD6F6A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db219fe3858d64084f1b7da9f61d617fecf7c98d","datavalue":{"value":{"amount":"+0.7190278172492981","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":"Q1336767$F00BCBB8-7E4D-4D6C-858B-FFB82D723582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8537b16bd2ab63f05b68cdcf3fa52d30ef9300","datavalue":{"value":{"entity-type":"item","numeric-id":5881188,"id":"Q5881188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13ee54587b7c20f21bbf8fdf8cdcb2889036897","datavalue":{"value":{"amount":"+0.7138791680335999","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":"Q1336767$4071DFF6-37F8-47D0-AC35-AE8E3590F133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1336767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1336767"}}}}}