{"entities":{"Q1894550":{"pageid":1905292,"ns":120,"title":"Item:Q1894550","lastrevid":71708253,"modified":"2026-04-14T00:01:47Z","type":"item","id":"Q1894550","labels":{"en":{"language":"en","value":"A finitely based theory of a non-trivial language, with exactly \\(\\aleph_ 0\\) subcovers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780792"}},"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":"Q1894550$5C27ECD2-4D10-4BBD-920B-83245994BB08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b12e09b78c879504262933fadfd19760199d09c5","datavalue":{"value":{"text":"A finitely based theory of a non-trivial language, with exactly \\(\\aleph_ 0\\) subcovers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894550$E2287684-7C09-4CD8-996E-1EAD6EEC5D56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73fb824e3c174a7dfa1579fa4c22d87b88208586","datavalue":{"value":"0839.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$2C38380C-3D09-4FA9-958B-98D1F29F5617","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"673437d1857efe5380fdc4f4aa30ac2d047e66f8","datavalue":{"value":"10.1007/BF01225469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$25BD9634-8029-45F9-9FD0-81769260DB3A","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":"Q1894550$177BAA1B-F61E-4C95-810D-DB77A3B5869F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dccf88c941acd99584d49de854637976b8a1996b","datavalue":{"value":{"time":"+1995-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894550$9A2086A6-B046-49E6-B2CB-FEFD2E0A0839","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae9207aae77855d31c962edc90a68a88e3e0faba","datavalue":{"value":"Let \\(L = \\langle f,g \\rangle\\) be an algebraic language with two unary operation symbols (that is, a first-order language with equality and no relation symbols). The author proves that the equational theory of \\(L\\) based on a single equation \\(fv_0 = v_0\\) covers exactly \\(\\aleph_0\\) other equational theories of \\(L\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894550$0D1030EA-724C-4F6A-9CA1-800F6680982C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$AC33EBF1-A960-428D-9C8D-AC72FF16438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$66C30B05-381A-4119-B8B6-D928C23432AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"212ae6ce5866173e3e8e4ec12a37f33c96a91e32","datavalue":{"value":"780792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$B265B0B4-6B40-49FB-934C-F429A24AD3E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894550$FD15539C-1619-4E0A-BB94-56215C5B661D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21b49f5e6d9da62eb61608c27ee0c65d292b230b","datavalue":{"value":{"entity-type":"item","numeric-id":1121931,"id":"Q1121931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894550$B7A5067C-871E-4B1A-9134-5C511D875828","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c4beddb8c3a397ec1a32cde4ab4efaf5dd75967","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894550$28E93AEA-98BC-4883-9EDA-54829CE5C9F2","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":"Q1894550$E58C34F3-F6CF-406B-AA14-0DD1E9AAAABA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae03f5c466d7ec82c876b0c332c1913df8c00b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1121932,"id":"Q1121932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894550$93FE2C3B-38F5-498D-A7E0-EB28A79C7F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2519f4fa4c437507ab27d8bd46bf11804b7718","datavalue":{"value":{"entity-type":"item","numeric-id":1838506,"id":"Q1838506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894550$CF1B923E-AEFB-4AC0-A400-D20059F1C58C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d4558366e9b2509ebf7dc6b9320aa33a2cc75f8","datavalue":{"value":"https://doi.org/10.1007/bf01225469","type":"string"},"datatype":"url"},"type":"statement","id":"Q1894550$F55ABE80-573E-4AB4-98F6-CAF60168C243","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b992a829b50b67075264c5251d6dc72ea96383d8","datavalue":{"value":"W2086405474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894550$E95E2537-A613-410F-B6BE-09BC3F6B7044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5dbf338f99a2df6d781ab1fe98bb46c5dfd4264","datavalue":{"value":{"entity-type":"item","numeric-id":4876322,"id":"Q4876322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"726241cad4546d1d659b9cc40141659a1eddd5ec","datavalue":{"value":{"amount":"+0.8154104948043823","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":"Q1894550$79018CF0-C703-464B-95C3-59DE3398353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c8d084fcef94f52eeaad9fcc8f8061e537301a","datavalue":{"value":{"entity-type":"item","numeric-id":4318107,"id":"Q4318107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96baca7ecf920743a1fcae42fa3ea8607688a993","datavalue":{"value":{"amount":"+0.794159471988678","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":"Q1894550$ABDDE07E-3F4B-4904-B14B-719D0D3C7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dad2b7b397c7f7f9f17c32a4d573a0e7421dd4f","datavalue":{"value":{"entity-type":"item","numeric-id":690111,"id":"Q690111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914e9eb6cc336f0905668ba96afd3cca3a67c3ff","datavalue":{"value":{"amount":"+0.791526734828949","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":"Q1894550$C44D4D3B-EE2D-4D2A-AEA5-6072CCC5B3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7dd203b092fd983ff8b015a9d79dca30cb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":1121932,"id":"Q1121932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73194371f1f8e90a4e0a02c272169957575ee27","datavalue":{"value":{"amount":"+0.7727990746498108","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":"Q1894550$54AC350A-30A8-4581-AFBE-A577A0076F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f2e9e2e74f2882d894d6e5329bbec3c0a01f45","datavalue":{"value":{"entity-type":"item","numeric-id":3693502,"id":"Q3693502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b9feb8b5ed44695640dd04e76e526b69059ba3","datavalue":{"value":{"amount":"+0.7485154271125793","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":"Q1894550$06C296DC-F2D8-4FFF-BB29-8F43AD0E23E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finitely based theory of a non-trivial language, with exactly \\(\\aleph 0\\) subcovers","badges":[]}}}}}