{"entities":{"Q1103604":{"pageid":1114356,"ns":120,"title":"Item:Q1103604","lastrevid":67000530,"modified":"2026-04-12T14:15:11Z","type":"item","id":"Q1103604","labels":{"en":{"language":"en","value":"Undecidability of relatively free Hilbert algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053562"}},"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":"Q1103604$B3FF5BC4-EC62-42A9-B52F-48A7554BE347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42f8fc2aae6d06ad0161afa131994da10bf3fd1a","datavalue":{"value":{"text":"Undecidability of relatively free Hilbert algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103604$FDF260E1-91F8-4E99-AB3E-4785318D90C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a1fcb17c33bd0f3f8352fc971b6c73432dc3d1d","datavalue":{"value":"0646.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$02CB9134-8141-4D04-9097-0F9DACDD2153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"714173d6818b2ddc2756a32a3abe9bf33054175a","datavalue":{"value":"10.1007/BF01229957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$D5E1654B-E911-401C-866A-6E720DBCC7AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98bb00c015fbd92f550ec7939e69de35a6ed177f","datavalue":{"value":{"entity-type":"item","numeric-id":170377,"id":"Q170377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$CDDE0B3F-6021-4F09-AB51-7918AAA798A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$140735C3-2D01-4EEA-ACFD-856BB87C65D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1103604$443C821D-34BF-47EB-8FD1-11803E3EDB7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f3180b6833f0097e9b7b40f5ffeaa5be5a7175db","datavalue":{"value":"Let H stand for the variety of Hilbert algebras and I for its subvariety of implication algebras. In this paper the author interprets (by a method presented by \\textit{S. Burris} and \\textit{R. McKenzie} [Mem. Am. Math. Soc. 246 (1981; Zbl 0483.03019)]) the class of finite partition lattices, known to have hereditarily undecidable first order theory, into a particular class of implication algebras. This class is a subclass both of the class FI of finitely generated free implication algebras and of the class of the finite members of every non-trivial variety of Hilbert algebras. Thus he proves that the above classes have hereditarily undecidable first-order theories. Also he shows that FI can be interpreted into the class FV of the finitely generated free members of every non-trivial variety of Hilbert algebras; so he derives that the first-order theories of FV's are hereditarily undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103604$CAFC015B-7CF3-4DD8-A7A7-EAFB5CACFBD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$27A4F7B8-7E1D-4542-85E7-8C461EF65761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$CDC54253-794A-4B05-AD5D-3159DB9A0B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$CC8660FC-F635-4BBA-9267-B23FA6624710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$EF2EC5EC-C7DE-4C48-BFE5-0958E64D0869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2f479af54f259d00457a3e8656847a99b1eb396","datavalue":{"value":"4053562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$6287136D-2364-48D8-9121-99C83462D798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580ca453a435574ec505b99d3a0f7f026698502d","datavalue":{"value":"variety of Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103604$C89544F2-2410-4EA2-800E-3EEE3A18AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3527471e0b09a986c8e6ce57ce11cb323965360","datavalue":{"value":"implication algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103604$4EE51BEE-4F0D-408A-9555-043864E07FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697a6a2e6f906d1084ecca4155689f51ca851411","datavalue":{"value":"finite partition lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103604$81A93159-10E2-4E04-9DBF-27E8B6F9B0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76589d751a314182f4bfee8861f4e2b5bd6cf1f","datavalue":{"value":"hereditarily undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103604$BD0FCED7-4CB3-48EC-9A04-D0D60CAB5F0A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"457d21bd3fc5d244f0cfd58c7ffe310e4101ddb5","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$3A92275D-A6CA-485D-8119-91985F387003","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":"Q1103604$D4F548C5-A7A1-410A-B383-B121A7D0E338","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$A365B430-E570-457C-8B43-BD45A214907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb773def9d9b85afd4dfa221fc523f7a81c2122","datavalue":{"value":{"entity-type":"item","numeric-id":3941388,"id":"Q3941388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$DB67B697-107E-4D9A-BB8E-86913E76D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1bc864670b59bb57e4233596721c207d62f39c1","datavalue":{"value":{"entity-type":"item","numeric-id":1223286,"id":"Q1223286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$4CB6EAC2-E7B2-4D7E-9A6F-CA41F71DFDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$7617F4F1-C7D4-4374-BE61-B59ADDB88C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d887cac324ec7be3e7d9292c29a8d538cc6b4b65","datavalue":{"value":{"entity-type":"item","numeric-id":1231505,"id":"Q1231505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$E58C05F4-13FD-4850-A114-7697AB91DC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd7bcd284b8c81b3b7505c8b40c7977cccae623","datavalue":{"value":{"entity-type":"item","numeric-id":3801521,"id":"Q3801521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$E536D913-F412-427C-A1C1-8CA1AF4851F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fd5363e31b05a12d5feb862588cc5d0e0c3f83","datavalue":{"value":{"entity-type":"item","numeric-id":3470450,"id":"Q3470450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$32A621CB-5AC1-474B-9FB1-03F41C2D0BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$DA4C2210-232D-44D3-B908-CF3647A3EC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$D6406133-FCF4-4E36-B498-3B2C34915592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$14ACA393-239C-4588-8CD5-7A2D6512B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c66519f1026a7d93544af03049686f7e1f59b2","datavalue":{"value":{"entity-type":"item","numeric-id":5675758,"id":"Q5675758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103604$8688FA66-8FA8-445D-801A-E8FA53DCB5C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f86da6518492399c80eb4e32fca9effdaaa3f02","datavalue":{"value":"https://doi.org/10.1007/bf01229957","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103604$51DCE5E8-58FF-4ACE-9F70-E5A72A8138E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed061fcdc6030b7642e53551691efa1e229f28b8","datavalue":{"value":"W178447142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103604$2F021DFC-C437-4886-A01E-B5295D34E2AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cdd997f6442c3b1d8bb0b0e193864297cee43f9","datavalue":{"value":{"entity-type":"item","numeric-id":4262581,"id":"Q4262581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ee5b6adc189fc4156b769b48674ec4066801dd","datavalue":{"value":{"amount":"+0.91774815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$B449FB4B-CA5A-4527-94C1-BD1543A6EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532dd9b09221785a9d030661a8fa47e11939d856","datavalue":{"value":{"entity-type":"item","numeric-id":4645108,"id":"Q4645108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5679ce37363ab66e7c0b7c4d593acf4af2d0e5a","datavalue":{"value":{"amount":"+0.9124128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$C7FD3183-A7A5-4461-AFF9-ECECCF6AB8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7863a440d701d00392f4c3fdfacd2c5a12b4a5ed","datavalue":{"value":{"entity-type":"item","numeric-id":4338316,"id":"Q4338316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ef0737fc4e827203b683d34c84a2cc913b737e","datavalue":{"value":{"amount":"+0.9071687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$97D25AE5-E781-451B-BEB3-8977BE031D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b342731ed4b0c0d550d0d15d67740f074704ef","datavalue":{"value":{"entity-type":"item","numeric-id":5015973,"id":"Q5015973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2f91b9b29535cd72812317066655491d05f80a","datavalue":{"value":{"amount":"+0.90280676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$36B5E660-698F-4DBF-94DB-BAE0E14894CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419ebc15072c5a84bcc915d5a4528b4bba1c48ca","datavalue":{"value":{"entity-type":"item","numeric-id":1585640,"id":"Q1585640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1d5f3e80afebcac857748988b352691512ed13","datavalue":{"value":{"amount":"+0.90081024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$DC952409-5BE1-438A-9111-17E20233AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5de558e7dfae5cd1ea5b591996ebbc78c63098b","datavalue":{"value":{"entity-type":"item","numeric-id":4302341,"id":"Q4302341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84782faac3874c18a165362a51887473af1b09a","datavalue":{"value":{"amount":"+0.8969717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$91533664-97E1-457D-BDFB-588D4355DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f94a41e14af5d043b2191cd307d7c482978ff91","datavalue":{"value":{"entity-type":"item","numeric-id":3155802,"id":"Q3155802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deecb8254c458557869930bb39f3af537a18dd1b","datavalue":{"value":{"amount":"+0.89518106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$8A571E0D-D49B-4D44-8CE5-46780706F7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f028febc9534a9c9eec9365e8762358f54149d76","datavalue":{"value":{"entity-type":"item","numeric-id":3680804,"id":"Q3680804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa234020de58f0fa05c507a15661c91314f41c1","datavalue":{"value":{"amount":"+0.8948163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$AA0D4C5A-36A4-4633-B0BD-1985F878FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e89d48962f0eb006856e582db099e4d5cfd9fff","datavalue":{"value":{"entity-type":"item","numeric-id":4692087,"id":"Q4692087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999d94e0a003b604906bbcc7178c75e49edc21c5","datavalue":{"value":{"amount":"+0.8896267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$8AABF9B3-37D7-4192-B7C8-0CCE186EF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f5683515075f96a8cdc7e52cb698296da9dd2","datavalue":{"value":{"entity-type":"item","numeric-id":2732275,"id":"Q2732275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c46c57f7f8258247708742c165abc6637a522f","datavalue":{"value":{"amount":"+0.88806635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103604$5E615722-AB2B-43BA-B77C-1D0221487F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of relatively free Hilbert algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_relatively_free_Hilbert_algebras"}}}}}