{"entities":{"Q1913864":{"pageid":1924606,"ns":120,"title":"Item:Q1913864","lastrevid":69275364,"modified":"2026-04-13T05:55:17Z","type":"item","id":"Q1913864","labels":{"en":{"language":"en","value":"Covers of primal varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883414"}},"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":"Q1913864$24A94B20-4DF2-40C1-A743-E0930ACE4D0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eafd0b42500c93dfa5303bc993343cef8351906","datavalue":{"value":{"text":"Covers of primal varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913864$880D58E4-07CB-4C0B-95ED-20B62F2F5CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea139a56eb79129bb418538e7495384c821dca13","datavalue":{"value":"0848.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$144E04C4-7455-4B9F-BB82-9FA8C8791237","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c157aa8bb948b5d8401e2c6555dca85e3b66ff9d","datavalue":{"value":"10.1007/BF01195493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$C4557445-8C58-4908-A678-7046327B47D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a7c11c85b66f410e0ec553a20ca5355f81d0cbe","datavalue":{"value":{"entity-type":"item","numeric-id":1272098,"id":"Q1272098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$C2C69256-593B-4D6E-956B-A110EDE31D53","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":"Q1913864$9536FC0B-4F17-4C82-9729-1560958BD9C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58582d57c76d60e601108909bcc63da99b3f7ffd","datavalue":{"value":{"time":"+1996-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913864$E82EE05E-9731-4255-BECC-F9ABD230CEF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cecc194d6c1401b608148a88e2f1ccd0d0fb830a","datavalue":{"value":"It is proved that for every variety \\(P_n\\) generated by an \\(n\\)-element primal algebra there is a minimum variety (generated by \\(P^+_n)\\) strictly above it in the lattice \\(L\\) of interpretability types of varieties. \\(P_n\\) is equivalent to a variety generated by \\(P_n\\) (explicitly defined in the paper) and the construction of \\(P^+_n\\) from \\(P_n\\) is shown. Corollary: There exist denumerably many covering pairs in \\(L\\). This generalizes R. McKenzie's discovery of the first known cover (of the variety of Boolean algebras) in \\(L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913864$16C28634-AF75-40AC-9EA3-DCF43BC26A20","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":"Q1913864$9FC0DC3A-E710-43D3-8455-FBC76AB46143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$1A958E55-3954-493D-B5CB-20E75DBAC233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$7AD32441-2FBD-463A-BECF-78990387EF41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8006dce6271a922162f8a0ba2ab8e3fba64ee1bf","datavalue":{"value":"883414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$649B4B37-32F8-4248-9CA5-A37D38332D99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34075c4efe37cb9e313b9b8ddf4660f6479b5770","datavalue":{"value":"lattice of interpretability types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913864$F2150584-EEEC-4E84-AD23-BE94D3916F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9847f087307eb878d21bad70eb41d8c9f3279d","datavalue":{"value":"primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913864$A41BC695-2912-4131-B11D-91291AF9D6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee070fc4c0b3113f3927ec70832b09f914f0440c","datavalue":{"value":"covering pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913864$FA5FDAAF-484C-4FC1-9D9E-D984B80E901A","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":"Q1913864$9D059714-5DC9-453B-A9AF-86EF58CBF8A1","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":"Q1913864$41551D5D-2E8A-4558-8D6F-FAF92522CCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e29e9ac242298e2e4f15ffec65cda4999bef46","datavalue":{"value":{"entity-type":"item","numeric-id":1272099,"id":"Q1272099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$BC2A9B71-2010-487F-8491-9E92962E73E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f88acbba330cd229c3b183bc39608e3964bb88","datavalue":{"value":{"entity-type":"item","numeric-id":690111,"id":"Q690111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$79B67577-E66D-4374-B88D-C4F4D3027D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e018e03a166096a17d6eff6ef2478188637562","datavalue":{"value":{"entity-type":"item","numeric-id":1835939,"id":"Q1835939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$43921C25-BC9D-4A95-939F-3AD0D9900689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04939139c0688f2aa0a2933213ff561498020dd3","datavalue":{"value":{"entity-type":"item","numeric-id":1802249,"id":"Q1802249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$2A8824B3-E9F6-407F-AD9E-E5224E473CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed7893b526cc9e9f9028691e634d5a1769da19b","datavalue":{"value":{"entity-type":"item","numeric-id":805646,"id":"Q805646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$F430038C-CC4E-4289-A7C3-EC9E6A54113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f56002d345159e0e62b6a4ea1d93de274ef7110","datavalue":{"value":{"entity-type":"item","numeric-id":4168957,"id":"Q4168957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$82B36AD4-21C6-4349-9A23-AF753F7C8D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$137815E5-133B-430A-9F6E-69C77D29E5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b6ef0c0d0837898ba741e2e1f7f769008ddcc4","datavalue":{"value":{"entity-type":"item","numeric-id":1103662,"id":"Q1103662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913864$93873A3C-5C37-45AA-8F77-BD50897C3063","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1781a1c5510f0f3eaf103a00591127556191ed6b","datavalue":{"value":"https://doi.org/10.1007/bf01195493","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913864$E39A1BEC-8FC5-4FA1-945F-CE043D6E6194","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5090ccabe6b8fa8c18c156ab84da204d9dda9cfa","datavalue":{"value":"W2081144089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913864$E47ADBA5-9AD1-44A6-A5D1-573648151171","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6945427f0a795536f4dcd8fdf68a72dc07d3fc84","datavalue":{"value":{"entity-type":"item","numeric-id":1272099,"id":"Q1272099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beeaa3d74ddd81521d6640ec8756f8675dfe62e4","datavalue":{"value":{"amount":"+0.9296131730079652","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":"Q1913864$907D2749-5D82-4FF2-8C16-623CD5C86522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891b320331eeb976989659573d3b73e2ec180516","datavalue":{"value":{"entity-type":"item","numeric-id":580383,"id":"Q580383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059c87310698e1af87e5cd768b43f6e124508e19","datavalue":{"value":{"amount":"+0.7876139879226685","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":"Q1913864$AC7912D0-9AAB-4521-A3CF-80F7CAB43BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd6f4f4327ba57c795b945c3a640f182d6c6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4763286,"id":"Q4763286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64576e5f884efe9a7785eec2140b1ceb1f676a82","datavalue":{"value":{"amount":"+0.772416889667511","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":"Q1913864$F727A33B-1307-422A-8785-F872726011AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1391174c4a735aea1220b430788f2133f597455a","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35617fbd929b89c947b3ad57caf7224de465eb4","datavalue":{"value":{"amount":"+0.7675455808639526","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":"Q1913864$688C51FF-BA33-4F77-BB60-4251791F8687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Covers of primal varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Covers_of_primal_varieties"}}}}}