{"entities":{"Q1272248":{"pageid":1282998,"ns":120,"title":"Item:Q1272248","lastrevid":67185924,"modified":"2026-04-12T15:54:44Z","type":"item","id":"Q1272248","labels":{"en":{"language":"en","value":"A note on HSI-algebras and counterexamples to Wilkie's identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1226567"}},"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":"Q1272248$937358E1-7201-4E88-A4A2-A0F81ECCEAB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9114cedb5f54b0e70aaafe89698e5252498d45","datavalue":{"value":{"text":"A note on HSI-algebras and counterexamples to Wilkie's identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1272248$42E10B74-1732-45CE-91B1-492D2F6D9216","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05d81d3f1c0ae1e05a21af2b220ef5a7dbb1001e","datavalue":{"value":"0902.08017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$8EE3057C-0273-41B7-996B-F5C30FD7A72C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5523e68b361fe3d439a40249d3fa931e8b9207d","datavalue":{"value":"10.1007/BF01233923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$B74D9B3D-593D-44AB-9052-37F4C410D98F","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":"Q1272248$711E04CA-B2F4-4439-9FC8-16468645EF4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-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":"Q1272248$AD100AD3-A65F-4115-B258-A5351DBAE215","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c6dcbf6a08e2d56dd8762647f1969358b8309a0","datavalue":{"value":"The ``High School Identities'' (briefly HSI) consist of the set of identities of unitary semiring together with the exponentiation laws. Tarski's ``High School Problem'' is whether the HSI form a basis for the equational theory of \\(N=(N;+,\\cdot ,\\uparrow ,1)\\). \\textit{R. Gurevi\u010d} proved in 1985 the first counterexample with a rather complicated 59-element algebra. \\textit{S. Burris} and \\textit{S. Lee} show in 1992 that the smallest counterexample has its cardinality bounds in the interval \\(\\langle 7,15\\rangle\\). The author improves this estimation to the interval \\(\\langle 8,14\\rangle\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272248$7C6B9D0B-9207-4798-A1F3-6EAA484684FE","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":"Q1272248$468E651F-F58B-410D-B957-47AA457386B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$70AF3AE3-2726-4486-952F-1A9A12919F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$0BB15860-2841-4BFC-98DA-0ACEF9079B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$1882004A-6AAB-41B2-B371-7BDCA60FAE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$5BC629B6-D770-4CFA-A6BD-4F0FE6B5B0C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35c0645cb7d6d83ce637707a62fc7ed246a09ee4","datavalue":{"value":"1226567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$C5B9E23C-EC74-4707-A94F-CFA50F5C58B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905f9eeb2f8eaecc4032a15de7264298c54e0fa3","datavalue":{"value":"HSI-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272248$D5889B51-FC8F-447F-82DA-C93946AF5000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d6036370e9cc1a077e062f0eb3dc12d60ec773","datavalue":{"value":"Gurevi\u010d algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272248$328A0193-5FA7-4961-BD4D-D9184CA2F140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4cd17fdbc1ac0e82e9259450d7f07c0b50502a","datavalue":{"value":"Tarski's High School Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272248$361CCBED-E7E3-4BFA-BBA8-4EB784630825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1272248$5BDB9756-C2C2-445C-B9C2-196FF1870EF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272248$1567A9C6-A15C-4B80-B6B0-6C079C65E6EE","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":"Q1272248$3290A65B-794C-4CD3-8D4E-961005E5E695","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"466a4fb80df5c28312732dea2798b11abca19c12","datavalue":{"value":"Q124802368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1272248$71598889-206C-44F4-B336-DDAEC60B9E1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2541aca0f73c0f7e02424a08e64d520a60d8e97f","datavalue":{"value":{"entity-type":"item","numeric-id":4039446,"id":"Q4039446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272248$AAF29ACE-11E1-4F0B-B2A6-740DB2DD5330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6978193f8a234b3fc14a9ae0c9f10fcd6350549","datavalue":{"value":{"entity-type":"item","numeric-id":3689169,"id":"Q3689169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272248$20E7FF9C-5E58-4864-AEC0-5B54660E49A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4de576ebefc67d6c6d5a6131e0f834e10d78f","datavalue":{"value":{"entity-type":"item","numeric-id":918968,"id":"Q918968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272248$10E13290-5C59-439B-9B27-AC1505CD9476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2de0f94c3ec0e55334da1e774f49c33c52e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":2758397,"id":"Q2758397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1272248$6B39D316-C2EE-45E8-AE67-9B41D9361E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc363e688c75d82586774efcb6f006f42ab2227a","datavalue":{"value":{"entity-type":"item","numeric-id":4039446,"id":"Q4039446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85af27eeb8abd0f0fef4fe3631a8bfa5b653df42","datavalue":{"value":{"amount":"+0.8783409595489502","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":"Q1272248$8249AFEE-50C4-416F-88DE-17EF7EFFF179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a11d937e7f62c55007c7cad4ac6b71740367eee","datavalue":{"value":{"entity-type":"item","numeric-id":4459598,"id":"Q4459598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac05668685bd49bdbb9c342fbee3cd0f0bfdfd65","datavalue":{"value":{"amount":"+0.8659595251083374","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":"Q1272248$DD26DACF-ADA5-4367-9D23-CBCF53D6CCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d70dbf2842643503168205651fa1a7eeb7b3b79","datavalue":{"value":{"entity-type":"item","numeric-id":5286078,"id":"Q5286078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a12655e925f9d7060561dcbd6c82e35eaf18ba","datavalue":{"value":{"amount":"+0.852476179599762","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":"Q1272248$2ACB1A60-75FB-4C5D-BF5F-9EEE90AF2AEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on HSI-algebras and counterexamples to Wilkie's identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_HSI-algebras_and_counterexamples_to_Wilkie%27s_identity"}}}}}