{"entities":{"Q583258":{"pageid":585025,"ns":120,"title":"Item:Q583258","lastrevid":62941023,"modified":"2026-04-11T09:07:15Z","type":"item","id":"Q583258","labels":{"en":{"language":"en","value":"How many variables does a quasivariety need?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132239"}},"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":"Q583258$B04993EF-51E8-4255-A467-7AF289E5BC8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"084a68ad0af2d58b4ca9f6235fdb83424764f313","datavalue":{"value":{"text":"How many variables does a quasivariety need?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583258$7BD39E6C-BC1A-473E-B4BA-A70CD3DEDAA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65309e5661ec051b5d408479f60a21c75717c6a5","datavalue":{"value":"0692.08013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583258$9E16BB04-A9A3-4E85-B876-E56C4CEFF922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9eb7fc90ceed4db155d729074c8beb88d11b5039","datavalue":{"value":"10.1007/BF01190252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583258$4D2A0BF9-6DC4-4723-B74F-4FA8A4BEF24B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$0FBB9E60-00BC-42E2-BBB1-AD5452C72713","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":"Q583258$FE514D0D-BE46-4C3E-9614-8141F7B67D47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q583258$47ABDBDF-048E-47C6-A1DA-433E8CF13A2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ed28407c5f788f2b15958ddfbcf59fdcf4c5d88","datavalue":{"value":"A class of algebras of a given type is called a quasivariety if it is closed under subalgebras, products and isomorphisms. The question whether each quasivariety of finitary algebras has a presentation by a set (not a proper class) of implications is proved to be equivalent with the set- theoretical statement known as Vop\u011bnka's principle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583258$92155FB6-A51C-486F-8316-831DDB8878E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583258$A21C6E27-5CC0-4B0F-95FE-D2B2904C3026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583258$845F5709-78CA-4135-BAA3-DC013BCF35EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dade434d8d2f4a14f8fea2d315091756f0d84fe2","datavalue":{"value":"4132239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583258$0823CEAA-1795-468F-AA8E-D396A3A81E2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q583258$6234FD03-7673-4AF2-AA33-7A58F9B89500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8bd56736fafd4682746f8dfd3a446a54243109f","datavalue":{"value":"finitary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q583258$8C67B0E6-622B-4236-9FBE-7CD483C7641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d8657c111a605826e6c3c69ff90be01315489b","datavalue":{"value":"implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q583258$AC448259-DA14-4985-85C7-F9BA396B133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e328997ee9a11659b4d817dac83c5a7fc84f97","datavalue":{"value":"Vop\u011bnka's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q583258$ABA30BB6-80A8-4EA2-9001-75CC2D8B3DC7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"501cfe30a4ec27729b88954a82206635d87d237f","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$910DCF4C-AB44-4BBF-B13A-000A7CB51EA8","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":"Q583258$C8AC0BDC-3CE9-487F-9A84-68CCB4C9060B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df78e87fac3bc29a9432355ad3ae1c01f7435c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4111746,"id":"Q4111746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$C661BF75-72E4-444F-A331-4EBA772359CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14f757e4b66a172345e8cf308d44ad5b318e220","datavalue":{"value":{"entity-type":"item","numeric-id":1168414,"id":"Q1168414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$96EDCEBF-67A8-479C-9692-6A3884E41215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$368279AA-65FD-427B-9B6F-271485801274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$B38A5624-C4AE-418C-ADE1-88F9E460599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583258$74E1DFA0-5278-43B4-AAA0-B3C4B16A7459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cb7ecd60e0583466390af3b4c9fc123020949f","datavalue":{"value":{"entity-type":"item","numeric-id":969255,"id":"Q969255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d3780ced6792277784f7f344fe69f143659d97","datavalue":{"value":{"amount":"+0.7353127598762512","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":"Q583258$4B34EAF8-38B3-4B26-8E67-BC46E9FD4B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681d9a23750e2976031d61a1c3a7967846ef5a61","datavalue":{"value":{"entity-type":"item","numeric-id":515205,"id":"Q515205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a5de72ee5ec3c8caf91de101e85fe084dd0801","datavalue":{"value":{"amount":"+0.7340677380561829","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":"Q583258$4ADDB788-154F-4B31-B46E-B305F358DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7458649c285bc525003602fe8550e79ea133ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3728965,"id":"Q3728965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea3413e98ac754c4a205ea77da41994373ba575","datavalue":{"value":{"amount":"+0.7306561470031738","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":"Q583258$BC06BAC8-58C7-46D8-B88C-B042457BC54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7607108b046ae63932fa8144df69fbf00bf5a8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4459090,"id":"Q4459090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7522854b66107e95b240270cb11afd046290df18","datavalue":{"value":{"amount":"+0.7258102297782898","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":"Q583258$97F6DB10-59D3-4E89-B1C8-567BFB1870C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da3a1ceee71ee8de2d5dfe571cecd5bd99d2159","datavalue":{"value":{"entity-type":"item","numeric-id":2011341,"id":"Q2011341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b2222b1da790a2dddfbc9cd0b02ed149c6c337","datavalue":{"value":{"amount":"+0.72471022605896","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":"Q583258$FFC2024E-994E-4CD8-966F-F0A76EE1140B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How many variables does a quasivariety need?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_many_variables_does_a_quasivariety_need%3F"}}}}}