{"entities":{"Q1098833":{"pageid":1109585,"ns":120,"title":"Item:Q1098833","lastrevid":70626231,"modified":"2026-04-13T15:49:11Z","type":"item","id":"Q1098833","labels":{"en":{"language":"en","value":"Undecidability of free pseudo-complemented semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037811"}},"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":"Q1098833$DC6370BD-F0EE-433C-8D0C-BB4CEF2F0B4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afd722452f90aec53d14b88eab8e9b165d08ed05","datavalue":{"value":{"text":"Undecidability of free pseudo-complemented semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098833$6E61BDD3-9FE1-45AC-A6A0-F5D0C5AB08C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e94743e3aa867ca411757f41fd3c26b99c12c0b4","datavalue":{"value":"0637.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$86216347-414F-4751-A752-68A6B151009F","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":"Q1098833$B4A101A0-4B80-4557-84A5-FF9F941C62CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098833$6F3D17FB-4DC2-48AF-8FB0-BDAC4D391EA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1098833$3823830F-B133-4D9D-8FFB-9526C8681BD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bafe956986c7ab00331802a8677238c2f191be2e","datavalue":{"value":"The decision problem for the first order theory of free objects in equational classes of algebras was investigated for groups (Malcev), semigroups (Quine), commutative semigroups (Mostowski), distributive lattices (Ershov) and several varieties of rings (Lavrov). Recently the author has solved this question for all varieties of Hilbert algebras and distributive pseudo-complemented lattices. In this paper we prove that the theory of all finitely generated free pseudo-complemented semilattices is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098833$81F4FFCC-046F-4BEB-B8E6-8989C6923BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$327FEE97-3D89-4874-B723-C44BEB49CBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$36E4EEC9-B01F-4D0E-8119-2421213A55A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$FE8F8906-0833-4786-A3C3-978C32BCA0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$465D04B0-3EDB-4A97-85CF-1F02452DB7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$FBB82280-CB15-4112-BDAD-44FBFB455D58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae4d91e3b3e56a99c08b7b4581e1a5012c86088b","datavalue":{"value":"4037811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$6846EA21-E94D-44A8-B532-9A627D3FC803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8b5c79764cbb6ce1298f967dc0d6629482bf01b","datavalue":{"value":"finitely generated free pseudo-complemented semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098833$1DD29F7F-A756-4814-AF74-5F65234428DC","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":"Q1098833$499CCB6D-2272-4D59-BC82-BADF2820DF8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfd5bc9e3670aa5d33f1e4fcb57102df5f82ba12","datavalue":{"value":"https://doi.org/10.2977/prims/1195176449","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098833$22122DD5-A95C-4F55-9C25-F83556996F57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c05f674b0c13844d5eb8d0138607e87bc19c9d03","datavalue":{"value":"W2074272772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$8039AD9E-C649-47AF-905B-D250CF967E1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3843cde7cf1706daf14b819a14142d8746666a57","datavalue":{"value":{"entity-type":"item","numeric-id":4401990,"id":"Q4401990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098833$788CD27F-8B8E-4EBA-9741-05DADC27C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf1557297a3d207451989d491672faa9a36e338","datavalue":{"value":{"entity-type":"item","numeric-id":2543001,"id":"Q2543001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098833$912626E8-D67C-4CF4-BB65-46DD224E65B2","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":"Q1098833$A5CB9A54-A1C6-4F20-AE03-7C40058D8CFB","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":"Q1098833$BF3331A0-BD52-4EEC-95D7-9F4336B2D53D","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":"Q1098833$676146F4-F3E1-4A6E-BF67-4E7111908B64","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":"Q1098833$5BE76D68-F1FB-47ED-BC05-606B29908027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098833$00D65BBE-B192-4FB2-9472-FD3A2890BB6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91e204ea68716b1ab4ce3654c23f83d23d0b834b","datavalue":{"value":"10.2977/PRIMS/1195176449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098833$5FDA46EE-841F-42A6-A584-2A8B8C2C346A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76a83abb55a434ff45d69dc25c833e69ca57ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3801521,"id":"Q3801521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a27bce995e370464a1d30484c2f8fcfa8f037fe","datavalue":{"value":{"amount":"+0.8695623874664307","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":"Q1098833$935CD961-DAB2-4B0A-A26F-0573056C1EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f07e89cc5a3051f62a1a11654c6c20026f96da4","datavalue":{"value":{"entity-type":"item","numeric-id":3470450,"id":"Q3470450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7b1b0a188e5641457c1d1a0f247abfe5e02114","datavalue":{"value":{"amount":"+0.8358150124549866","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":"Q1098833$5C24D436-BCC0-4E5A-BEB9-DFF4B497813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faab5f13bb9a8ad474846e96bfee0d0765e986bf","datavalue":{"value":{"entity-type":"item","numeric-id":1103604,"id":"Q1103604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e1821696af944fb798bbbdf11036f909814fed","datavalue":{"value":{"amount":"+0.7916672229766846","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":"Q1098833$9BBD204B-3770-4842-B652-9B2A49F5A5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef52921727a357bf849ae4a9121696f55547fd","datavalue":{"value":{"entity-type":"item","numeric-id":1821098,"id":"Q1821098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23519b0f34d04cec4746bc16734f467842677ce","datavalue":{"value":{"amount":"+0.7813252210617065","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":"Q1098833$E24F55C8-8600-41FB-8813-47D5C926D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21cb3fd9e422f87a356e173394ff852f435e33c","datavalue":{"value":{"entity-type":"item","numeric-id":4421568,"id":"Q4421568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cddb3f88d3f3087bf66f0160082ce4435449c1b","datavalue":{"value":{"amount":"+0.7683242559432983","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":"Q1098833$FC44BD06-69CA-47A2-9CD2-07A696BC6790","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of free pseudo-complemented semilattices","badges":[]}}}}}