{"entities":{"Q1866824":{"pageid":1877566,"ns":120,"title":"Item:Q1866824","lastrevid":71017794,"modified":"2026-04-13T18:56:17Z","type":"item","id":"Q1866824","labels":{"en":{"language":"en","value":"On the cardinality of nonfinitely based functionally complete algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899945"}},"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":"Q1866824$27166ED3-3622-4604-BD1F-B15954A74AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bbe11d0fb435723982f479ec9f5c3941c18b5c","datavalue":{"value":{"text":"On the cardinality of nonfinitely based functionally complete algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866824$68A824FF-A850-4AB2-B6C0-A18A5DCBB00F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a04491ba2c000f1b4daf479df773f66a04a9fdfb","datavalue":{"value":"1011.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866824$D58CC7B7-75E0-4E57-9648-9FE316ACA51A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a06953f1ce467883a97ed3a2a975ddd0ef370fc","datavalue":{"value":{"entity-type":"item","numeric-id":221711,"id":"Q221711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866824$5C71049D-2EC3-469A-A784-ABEE3F80B5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08103a8b3d8c5fdc61effedf1674487922bd7302","datavalue":{"value":{"entity-type":"item","numeric-id":1866823,"id":"Q1866823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866824$C18423B2-37F9-4D06-842E-E0E7B180F335","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":"Q1866824$A38FBEFB-5CC1-4B59-B224-1862E8B9F900","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866824$56ACBA31-4829-49A4-B545-74D0682BE49A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4e766015e96e4e38018723bd32064c3926bc45f","datavalue":{"value":"R. Willard has shown the existence of a 3-element functionally complete algebra which is nonfinitely based. By E. Post, there are only finitely many pairwise term-inequivalent functionally complete two-element algebras. It was shown by by authors and Tor\u0161i\u0107 that the number of at least three-element functionally complete algebras is continuum. The authors have partly used the method of Willard to prove that for each integer \\(k\\geq 4\\) there exist infinitely many pairwise term-inequivalent \\(k\\)-element algebras of finite type which are functionally complete and inherently nonfinitely based.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866824$14C1D825-9DF8-4C5E-8680-9ABBD61AF4A0","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":"Q1866824$31FC45F8-F470-4778-91F3-FE4F0A19F379","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866824$EAC911E0-A7E1-4A53-9E0F-F922711CA6B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58516927191968a0db4a840bd7ed0cadb7b6360b","datavalue":{"value":"1899945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866824$3B190CEF-5AB6-424F-9D11-63E3E457F9A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc08291a32118ef2af7a99468b8af2866c5598db","datavalue":{"value":"functionally complete algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866824$63743A8B-C53C-41BA-9A32-5585FBC7B37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7b2f422ab0e3ee04811f26cdcd89c820e2b287","datavalue":{"value":"term-inequivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866824$A751988E-A942-4ADF-8347-FA1D9B5117AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9b506227e62e0ab44d7c6b1e00b4a5338fbf5b","datavalue":{"value":"nonfinitely based","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866824$7A2FF121-7AFB-42D0-B725-671845404454","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":"Q1866824$BDD3D099-9660-4AE0-8905-C5B23EB4AD08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4631bc4dea520428360eaf29c3560720dcee72d9","datavalue":{"value":"https://doi.org/10.1007/s000120050165","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866824$5F1711B1-817D-48BE-87FF-F9726BC6916F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f1f5e6445e09521da0a6f3e0c75af444fb8f330","datavalue":{"value":"W313372120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866824$9BEE8EA6-C357-48B5-95B3-F23F0BF2C7D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48985ad976846a0a4411942e8fe453f4abcbadd3","datavalue":{"value":"10.1007/S000120050165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866824$2EF79373-7722-42E6-AEA3-398075DF24C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b68e5a28e0590e6cb6c0c12973df6498893dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3331264,"id":"Q3331264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4261a2634a01152c80b16a098a6b85824aec6af5","datavalue":{"value":{"amount":"+0.8544260263442993","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":"Q1866824$57C4E5E6-0197-41E1-91D2-0D838AEE0C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc51c107c5c11ac5ac2997fa57a230ffe24939a","datavalue":{"value":{"entity-type":"item","numeric-id":3246436,"id":"Q3246436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cd36da0f95234a137301d0f78705be37e3d26a","datavalue":{"value":{"amount":"+0.7786169648170471","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":"Q1866824$5878D681-FEF5-4811-ADA9-687F7629AD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c5b53f0600384c608ced6e13fdd1f32fb528ae","datavalue":{"value":{"entity-type":"item","numeric-id":4326182,"id":"Q4326182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519d89f5d9504a56162820aeb458663691fd10c1","datavalue":{"value":{"amount":"+0.7673661112785339","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":"Q1866824$AB4E1178-B231-4327-8C7D-361CF16A1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29615d60c5931f7333c8a0e0d962e3d61806313","datavalue":{"value":{"entity-type":"item","numeric-id":5389312,"id":"Q5389312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9cb22d227cc58591cf9a99c745aab022fea48c","datavalue":{"value":{"amount":"+0.7608071565628052","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":"Q1866824$2839BBC0-A43E-44F5-9FD8-704F2175AF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef73dc2addfca0860caa6c65339df574c304768d","datavalue":{"value":{"entity-type":"item","numeric-id":1208069,"id":"Q1208069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123148377aea0cdddaac24f0582dc38664edd0de","datavalue":{"value":{"amount":"+0.7488065958023071","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":"Q1866824$367E8749-7292-4DDB-AAC1-B044D9316EB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the cardinality of nonfinitely based functionally complete algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_cardinality_of_nonfinitely_based_functionally_complete_algebras"}}}}}