{"entities":{"Q793762":{"pageid":795610,"ns":120,"title":"Item:Q793762","lastrevid":64460946,"modified":"2026-04-11T20:01:35Z","type":"item","id":"Q793762","labels":{"en":{"language":"en","value":"Extending semilattices is hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857176"}},"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":"Q793762$7DCBE8B5-B99C-47E6-B86F-50FCE1165B78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c256b2705e5bac42ab61bbcf67b702eb88da50a","datavalue":{"value":{"text":"Extending semilattices is hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793762$557FEDBC-639C-4A68-B9D8-5594A581EB87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee08cc6a3920f106c86552c6a6dd0346860acfa4","datavalue":{"value":"0539.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$EF1599E5-ACAB-458B-8DC6-38D3E0488131","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f187c18db6db31aad2d02f81e49b65ac0734cee","datavalue":{"value":"10.1007/BF01194547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$936CC743-BA3E-43F7-ACD7-65C4BED250B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b6f4cb1491be1f08b237299f6ea57520222fe2","datavalue":{"value":{"entity-type":"item","numeric-id":595556,"id":"Q595556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793762$3D345133-48DD-4E4E-9395-6A9C1016C186","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":"Q793762$A0C800D4-C71A-428C-9EF0-7E92ADB7BF4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793762$07902A90-49F7-4DF4-8BC8-DB7666D9C6BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c7a87bd868d52ab69705796798c4a40cde061cb8","datavalue":{"value":"The author shows that a general solution for the Arbib-Manes problem of finding an extension with the minimal number of join irreducibles of a finite composite algebra would yield a solution of the set basis problem by giving a set basis of smallest cardinality. This problem is known to be NP-complete and hence is intrinsically hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793762$02BB3360-7F3F-4FFC-9128-8F693F1F9245","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$5C0618B6-D8A5-4B77-8EB1-A1A629681ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$793A3CAC-9A1B-4AE1-935E-B264AF8DBFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$1176554A-BDDC-499F-B19D-6D073DA91093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$4F93A8B0-7F72-445D-8FA2-091DE72D273A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50ac96baf5879bd6af9f989e79b5e7677b5e3c65","datavalue":{"value":"3857176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$BB0E8604-C53F-4FC4-8632-6DD763A74E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q793762$2387F3DA-FDD4-4811-B249-812CB0DE3076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef23eca485d4406ba22b1553d154f0247ab251d","datavalue":{"value":"extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q793762$6B417B62-C9ED-4C96-9EB1-0CDE387E5BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8375797bd39f4463f292e3d51d3992626cd06c3e","datavalue":{"value":"join irreducibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q793762$65F3DE67-AB6B-4F3D-90F5-218E6971BB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5395dc130238a95c11f79e2e65f4c0f39787184a","datavalue":{"value":"finite composite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q793762$37B5CF45-EBD6-47E2-8778-CE28B72A4525","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17c10f17a5e1177b66bfd4f3439d273c87e4d597","datavalue":{"value":{"entity-type":"item","numeric-id":705524,"id":"Q705524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793762$32107A90-007F-4EA1-83FF-CCADEFF313A0","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":"Q793762$C8352238-125A-4AC0-B2E4-2D763917AE37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793762$275490B8-1048-4202-80C9-35B80EAAD9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d09f90c51ba64836b4c1113390695f33c11d85","datavalue":{"value":{"entity-type":"item","numeric-id":4090260,"id":"Q4090260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793762$FBC7C5B9-FBB1-4EEB-97D3-5CCB0E7219C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57196ee3a892d66a00373ac5883e481a63d1cf7e","datavalue":{"value":"https://doi.org/10.1007/bf01194547","type":"string"},"datatype":"url"},"type":"statement","id":"Q793762$02565A0A-F5F4-48A8-B6FB-D676B401E1EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"337f9cffa3c2585a583cedfc0575dd2d6294b680","datavalue":{"value":"W2083647923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793762$A6B8889F-45A4-4666-B6EE-8C75198C0509","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c783fd7ccdd0d7f5b1495de6d90e6f32f480109d","datavalue":{"value":{"entity-type":"item","numeric-id":1966122,"id":"Q1966122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0c0e6ae5e6a633aa1a71a1875157919ac15839","datavalue":{"value":{"amount":"+0.7399057745933533","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":"Q793762$937F7626-FCC6-4F4A-A484-68C16EEE4CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2595dcb78546efba636ccbe828d558213e06abd7","datavalue":{"value":{"entity-type":"item","numeric-id":3801615,"id":"Q3801615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4a78665becb4ad08d61a7a55d54a723481fe08","datavalue":{"value":{"amount":"+0.7053221464157104","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":"Q793762$90484E71-367F-430E-BD73-AC0CB6A66EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465b1337f4b69aa5e5a901caff422df52991481b","datavalue":{"value":{"entity-type":"item","numeric-id":3765245,"id":"Q3765245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05179017c470c318288d7a480f57a30bb0bbcce","datavalue":{"value":{"amount":"+0.6944226026535034","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":"Q793762$BCD58404-82DB-4952-8BCD-0EA27284E67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94b3856fb98f064e489e4598ded425d6c75e4cff","datavalue":{"value":{"entity-type":"item","numeric-id":4824700,"id":"Q4824700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea7a01787d5334264d8c3defb815ffb53c51f56","datavalue":{"value":{"amount":"+0.6937528252601624","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":"Q793762$89730B5B-9062-4C04-BA10-684B46A9D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ef3bada93c762e8a068ef2f667337f453b9d12","datavalue":{"value":{"entity-type":"item","numeric-id":1732802,"id":"Q1732802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77894fd75c446d58f1f933429af885be6f177ec6","datavalue":{"value":{"amount":"+0.6890199780464172","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":"Q793762$6091CB9A-5BE5-4C6B-BA7E-3A52C3EBC03E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending semilattices is hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_semilattices_is_hard"}}}}}