{"entities":{"Q1732802":{"pageid":1743543,"ns":120,"title":"Item:Q1732802","lastrevid":73827489,"modified":"2026-04-14T17:24:24Z","type":"item","id":"Q1732802","labels":{"en":{"language":"en","value":"Testing for a semilattice term"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7041564"}},"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":"Q1732802$06D6BC3B-BA43-4D64-9CAF-2FFD5D38B0B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b474cdcb12f606039242ae34c838ea21da435a9","datavalue":{"value":{"text":"Testing for a semilattice term","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1732802$A0DFB0D4-8539-4DDD-90E9-0884FD57DE8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a0ab900b1d51878c135418957871901a849968b","datavalue":{"value":"1439.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$10FE04DD-EC5C-4F40-9C6C-00B6154E2138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156053345438b67d13e36c962297ad522b12dc04","datavalue":{"value":{"entity-type":"item","numeric-id":219075,"id":"Q219075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$594FB920-C1F6-406E-93A7-EF5D40A8F92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6c7c13f79df3493945bb3eac148fd4a412831b","datavalue":{"value":{"entity-type":"item","numeric-id":219076,"id":"Q219076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$380EDDDC-3E32-4025-8D86-42EEEAE3E1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ec3a184ee9128fb8bc3f92d474dabf7539704d","datavalue":{"value":{"entity-type":"item","numeric-id":1001910,"id":"Q1001910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$02EE526E-D541-431B-9A56-A09A8B302B6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$82BD9A0A-1014-4FC5-8EBF-20FAC9865876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc89e0691971f150a056ea0f5818e0095a2cc76","datavalue":{"value":{"time":"+2019-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1732802$391C69B5-F938-4D0B-9240-9599154A5B20","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dfef4f60f560e6f305cde39556293057a5456db2","datavalue":{"value":"A \\textit{semilattice term} in an algebra \\(A\\) means a binary term which is commutative, associative and idempotent. A binary term \\(b(x,y)\\) is called a \\textit{flat semilattice term} if \\(A\\) has an absorbing element \\(0\\) such that \\(b(a,a)=a\\) for every element a and \\(b(a,b)=0\\) for different elements \\(a, b\\). The authors prove two remarkable results concerning the computational complexity as follows:   Theorem 3.4. The problem of deciding, given a finite idempotent algebra \\(A\\), whether or not it has a flat semilattice term, is in P.   Theorem 4.1 The problem of deciding, given an idempotent algebra \\(A\\) and its element 1, whether or not it has a semilattice term \\(b(x,y)\\) such that \\(b(a,1)=a=b(1,a)\\) for all elements \\(a\\) in \\(A\\) is EXP-TIME complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732802$81711470-A4F1-4C0B-AA57-42C6FEAEC8D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$6B08A684-51A6-4A68-B698-4E31966C5D8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$855EE708-4BEA-447F-992C-765D119E3A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$CB2AC49D-FBFB-4965-BEE4-22E1434EF417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$0565891D-C244-417C-B67C-A1352F3309BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fdcfd210132a2be9f401cfef15e2b8441f74c46","datavalue":{"value":"7041564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$D3A535F4-A878-4833-BCAC-BD8E7762F7B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb508a77a92d62e3947a025c4e848214eb7d50f","datavalue":{"value":"semilattice term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732802$169FE800-E14F-4A44-A5D7-C5B1DDB73E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732802$1E19C131-C6BA-46D5-A62C-410E72791C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7009bccc5f5b5f98c6691a0835356832307906f5","datavalue":{"value":"idempotent algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732802$76141958-E605-47E0-9F92-6F6671AA93AD","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":"Q1732802$3F0B2274-9BDF-430C-A069-D0701F451BBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aedd1eb17c9096d376b7c35dc5b918566437166f","datavalue":{"value":"https://doi.org/10.1007/s11083-018-9455-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1732802$90513F11-45E2-4736-84C0-DAEFD8A3787B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb3d6f1756e4e5ba2829d4ad6d286ce4099ea395","datavalue":{"value":"W2793464978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$A9515DDD-0427-42A0-AC9E-ED75429C8636","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5029fa86e0f97640991ea5322b3325376b56ab49","datavalue":{"value":{"entity-type":"item","numeric-id":1257915,"id":"Q1257915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$8968E466-3C0E-4A6D-B8E2-A95DA3DCB6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e2aa9f6a4eb970f9ffbb9cc6da69541b953c20","datavalue":{"value":{"entity-type":"item","numeric-id":4993594,"id":"Q4993594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$17AAA533-4DCE-4307-BEDB-D864462276D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12685bfdef331ded215c1d387c2f37d7736c993d","datavalue":{"value":{"entity-type":"item","numeric-id":3093852,"id":"Q3093852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$46075190-3F8B-4DC7-BF9E-9252D82BF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c815a824571d0a5254f9239c6a48bea37878e46","datavalue":{"value":{"entity-type":"item","numeric-id":3839875,"id":"Q3839875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$5308F9A3-C003-4064-B623-8C8E3D2D0B4A","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":"Q1732802$D0C47040-C016-449B-B09A-CC1103D22B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050f2bb75af876c5568b8e15e6573169cdd6e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$E4F5191D-8FD2-4A3A-BF82-A4DD2C289905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$5101E115-5AD4-4F7C-AC84-08A1C65477B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbebcc6e9cb83283172d5221a6485e3a58adae7e","datavalue":{"value":{"entity-type":"item","numeric-id":2854972,"id":"Q2854972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$579C77A8-41E8-4D48-B3B8-7F79CF97227B","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":"Q1732802$2E3A5E4F-CCCE-47F6-A991-DD4470C36D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99d3315b3e9f2f4eee8e1598225c9faf676b202","datavalue":{"value":{"entity-type":"item","numeric-id":5148097,"id":"Q5148097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$91C7A76E-2BCB-4E77-AA44-33B5994BE99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6942914cdcc770c70ed5e1a97e4b25b80b84b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4979155,"id":"Q4979155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$6F50B8B1-F10E-4C44-B990-EC7B8B5C9A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a4ad2d3f2e851d854cd54769f97f0dce00f503","datavalue":{"value":{"entity-type":"item","numeric-id":1042414,"id":"Q1042414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$FE70CC43-3124-4378-BC20-AD557FF23A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b16ca893af79220746f6c45f4519d8d89f05ff","datavalue":{"value":{"entity-type":"item","numeric-id":5495357,"id":"Q5495357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732802$32AF062B-BD42-4834-BADE-5D41F3F93B54","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"37d0ca64b133d60c5dbebbb46cbc1138ec023c89","datavalue":{"value":"Q130122823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$5FACCD3E-549D-4605-99BF-38B295026129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea0f18ee4222ee259ffdefbb3bd64df4d5241897","datavalue":{"value":"10.1007/S11083-018-9455-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732802$43EB784B-C63C-45E4-B647-42A17C855C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4129b58ed6c7db1ffbec1bf065a7fd0da6d5843a","datavalue":{"value":{"entity-type":"item","numeric-id":5118446,"id":"Q5118446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27336b82d2a0ffe06e143b233381c046170219fe","datavalue":{"value":{"amount":"+0.7619310617446899","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":"Q1732802$1E641A2F-6F4B-4505-B506-0F8DA60EE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7fa079cd7e611a3c52e00327126548f40f6460","datavalue":{"value":{"entity-type":"item","numeric-id":4251048,"id":"Q4251048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd469bec74ffabcde369057f190f69bdc41d889","datavalue":{"value":{"amount":"+0.7575148940086365","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":"Q1732802$8B4683BB-F75C-4AAE-8841-BBCB0D7DD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ac5b64e8093ab4fd43ca76cd44b7e4ff2ab3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4507355,"id":"Q4507355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd469bec74ffabcde369057f190f69bdc41d889","datavalue":{"value":{"amount":"+0.7575148940086365","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":"Q1732802$604EBF97-3B76-423A-A823-9372C8DFF94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715ee7831c4c7746e71264dc3f0dd1381d7ad1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1770618,"id":"Q1770618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f204f677b346cf1043e471e71fced3c1f73b48c","datavalue":{"value":{"amount":"+0.7537993788719177","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":"Q1732802$CF2B458D-5821-44C7-91A6-85169A0D2025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9864b8ddd5c149240372105a9bc39ba45216864a","datavalue":{"value":{"entity-type":"item","numeric-id":3621430,"id":"Q3621430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f82801499f6a11b4770e1d7a52d6cb4add8c8c","datavalue":{"value":{"amount":"+0.7521856427192688","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":"Q1732802$F5B585E2-F3D7-4EC4-8D06-39895E7E25FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing for a semilattice term","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_for_a_semilattice_term"}}}}}