{"entities":{"Q1821098":{"pageid":1831840,"ns":120,"title":"Item:Q1821098","lastrevid":49049956,"modified":"2026-01-06T12:51:35Z","type":"item","id":"Q1821098","labels":{"en":{"language":"en","value":"Undecidability of Brouwerian semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997773"}},"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":"Q1821098$188AF50A-8C79-4B1A-BAC6-02D2BF9C9B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d188bd3d003cf7ca7a9ff1aef62bb61d5704190","datavalue":{"value":{"text":"Undecidability of Brouwerian semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821098$288EDFC4-0673-4BDA-A8E5-51608BDDD257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edc6bc0bed9a9800e1de868ce1b30280f7ed4c65","datavalue":{"value":"0616.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821098$E84183CA-5E04-4799-B70C-CD491BFC66B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"954aeca0f7bfc2c727f541d0efca404a1a2de05d","datavalue":{"value":"10.1007/BF01224033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821098$157329B7-8491-4DA7-B51B-CB53CBFDE1AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"804b0cd1b7b520d7002c9c8056d68184bd4b6238","datavalue":{"value":{"entity-type":"item","numeric-id":1821097,"id":"Q1821097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821098$26D384EA-BE65-46E6-A559-97F87ED661F3","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":"Q1821098$7974DBF6-E226-4B4A-817F-6FDEA83EF9FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1821098$8ADC12EC-1E08-483E-9581-B09AD2B2E349","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83ae89f454cda5fc60cb746341e3befe6c783802","datavalue":{"value":"The author shows that the first order theory of finite Brouwerian semilattices of the variety generated by the algebra \\(2^ 2\\oplus 1\\) is undecidable. She proves the theorem by interpreting finite graphs into finite Brouwerian semilattices from the variety. The result gives an example of a finitely generated arithmetical variety whose finite members have an undecidable first order theory. This answers in negative a question of \\textit{S. Burris} and \\textit{H. P. Sankappanavar} [A course of universal algebra (1981; Zbl 0478.08001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821098$404BFBDC-56AC-4912-B815-49C92294EBCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821098$0C0E4740-9F58-4548-8BC9-DAA64EB64D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821098$C32C3D33-2EEE-41C9-83F9-87C0BB2491C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8a679dbd05af1ea490ed1b4afeb3e0788cc8251","datavalue":{"value":"3997773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821098$4A790DD8-1E87-4FB9-8135-3D08EAF30FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e0e166bcf7e09dfe2b3487cbc117f4c2236358","datavalue":{"value":"first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821098$9F370CAC-B7BD-48BD-A68A-72E00D4E2BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40a810beef96fea97b6782fd854d25c0bc1abb","datavalue":{"value":"finite Brouwerian semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821098$289BCF26-ADA6-41FD-8DE3-38AE36274EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d729c402ba86b0653b3a28e225fa5726cab5467","datavalue":{"value":"finite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821098$9D1396BC-8B3A-4EB3-AACD-2EEB196AC5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b45cd996f26c536dd0fd53275b5c2d5ca48adc6","datavalue":{"value":"finitely generated arithmetical variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821098$56625A17-F0B0-4D99-9484-7E6FC82F940B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821098$0A7BBAB8-9D2F-4601-A1B4-53D5306C19F0","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":"Q1821098$6B1CF5E1-7F7F-4465-8B81-13BF5F0DDE16","rank":"normal"}],"P223":[{"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":"Q1821098$DFEFFCAC-B0AE-4FEB-8E02-672BD88ABDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821098$45641A43-32C4-4A6D-AAB2-216527284EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821098$02B794AD-613D-4A96-9FB2-8F13E6ED4EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821098$6D87399A-C813-4AF2-9FC9-DE24B38AE48D","rank":"normal"}],"P1643":[{"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":"587c68ae058c24ff288fb4f2245fc5f1cea58a97","datavalue":{"value":{"amount":"+0.8645859956741333","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":"Q1821098$1760ADC7-69DC-4EAD-923E-21AE9FCFA50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2755a146652b5081c415f5cdb7f8c58512082a","datavalue":{"value":{"entity-type":"item","numeric-id":1098833,"id":"Q1098833"},"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":"Q1821098$657A955F-FE06-4608-8531-CD1F2F730F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6467c8443991e04d8e4d5fc5503711f2c834fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1100203,"id":"Q1100203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e100817c23bb8950b0fd6af0199c0315874ab889","datavalue":{"value":{"amount":"+0.7754309773445129","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":"Q1821098$FAEA4312-FFF4-44D3-A3A0-804C27564A0F","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":"2942532a95cb9b49eaf59e546e50275d81674477","datavalue":{"value":{"amount":"+0.7686411738395691","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":"Q1821098$49673AC9-EDA0-47D7-A0A2-B1537D03CE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e38f4fdc677415d066e37b5422749b80bc57e7","datavalue":{"value":{"entity-type":"item","numeric-id":4291872,"id":"Q4291872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983e2f4adc33f36cc014e96eab276874697beb62","datavalue":{"value":{"amount":"+0.7666398286819458","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":"Q1821098$A595DDCA-103F-4B4D-8B18-A3880262954E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821098"}}}}}