{"entities":{"Q908902":{"pageid":910750,"ns":120,"title":"Item:Q908902","lastrevid":65326221,"modified":"2026-04-12T01:49:42Z","type":"item","id":"Q908902","labels":{"en":{"language":"en","value":"On finite models of regular identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135925"}},"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":"Q908902$270F06D0-9E57-445F-965F-AF223ED66104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f181e7d5e00a4857c662d58b38b17c643513b007","datavalue":{"value":{"text":"On finite models of regular identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908902$4AFF09CA-1159-454D-A471-39B467ABB35C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ae875e3ff32dbd6342bce9ff20b86f4101d1a9","datavalue":{"value":"0694.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$15D79095-7A54-411D-AE38-3C063697CCCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40a058376c9f168a43d42dd034ee5ed8c44258a","datavalue":{"value":{"entity-type":"item","numeric-id":908901,"id":"Q908901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908902$B6264660-6904-4F3E-B404-34289D5CF17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbee602f10dfd485b9c86471b2bd23b957c2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":490319,"id":"Q490319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908902$257A3CD0-09DA-4135-A991-9FB172F3DC82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908902$3D0D146D-D307-453B-8441-9E47AAD434B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q908902$DD96F749-DD42-4BA9-9040-A9A31992A3E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87686094ceb43a50d052eb680c95a7501dd4bc81","datavalue":{"value":"A regular identity is one where the same variables appear on both sides of \\(=\\). For each finite type \\(\\tau\\) of algebras and each set A with a semilattice operation one can define a \\(\\tau\\)-semilattice on A. \\(\\tau\\)- semilattices are ``trivial'' models of regular identities. The authors give a finite set of regular identities \\(\\Sigma\\) such that each finite model of \\(\\Sigma\\) is a \\(<2,2>\\)-semilattice and such that \\(\\Sigma\\) has a model which is not a \\(<2,2>\\)-semilattice. They also show that a single regular identity has a nontrivial finite model (not a \\(\\tau\\)- semilattice).","type":"string"},"datatype":"string"},"type":"statement","id":"Q908902$757A7B07-7776-4948-A5BE-E0E6CE9A0745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$4137F44A-410A-452E-ADC7-871017FB4682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$AC8E306A-7F96-46D6-9825-4E64CE05D912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c34aed545de83f54ca81eeff1687893b9b9ef32","datavalue":{"value":"4135925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$83250EFF-94D8-4B41-83BA-86B566C4FE2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11859662c2cd9ee9ed34656c5a639e4edd25d5f","datavalue":{"value":"finite type of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q908902$C5BA3740-98C2-43AA-9EFD-3F5C6CF0994A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q908902$45A98D06-48F0-43CE-8A9D-8CF459489307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1604e33193397182469d22165038c29588c8af1","datavalue":{"value":"models of regular identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q908902$D3F941EA-8A1B-4F01-9427-5337FD63A5A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908902$11460704-3F7E-4922-BDDB-E7D8E6034F5D","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":"Q908902$BA261B76-AF59-4525-8057-1F19D0BA415C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f115b03148a9eae2aeca8a2087dfbe40ba76cd43","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635244","type":"string"},"datatype":"url"},"type":"statement","id":"Q908902$B949BEEB-2FDC-48F2-B700-EDA788AF15D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"438849157e53c3694cb561cd932ab035ab491922","datavalue":{"value":"W2083077037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$A5DFA860-9055-4800-8800-1689A7FE0411","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5fc79534863ffc88a9ae8948201c15ecf4976c8","datavalue":{"value":"10.1305/NDJFL/1093635244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908902$42AE9FE5-D55F-495C-80F8-415E82EF7E85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c966d528c082359b72650a112c2f77ca055d2a2a","datavalue":{"value":{"entity-type":"item","numeric-id":795074,"id":"Q795074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3303b5d2d76e86c926f01208209c57b37148b95","datavalue":{"value":{"amount":"+0.7947892546653748","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":"Q908902$B0010354-A2B0-4FAE-9143-D7EA03B7FB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c393b036d872ad9f50b44dbf8f134af5ae14c2f9","datavalue":{"value":{"entity-type":"item","numeric-id":4290236,"id":"Q4290236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0cec050f43d643ce71e6cc3dd1c552f19e6454","datavalue":{"value":{"amount":"+0.7917969226837158","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":"Q908902$39ACE283-504C-4C3D-96C5-472E92899442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449a18e32ae731f95f706f0287731d2aaecea7f7","datavalue":{"value":{"entity-type":"item","numeric-id":3140290,"id":"Q3140290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89e56bc31be651322a81b1da56e29ac65b96239","datavalue":{"value":{"amount":"+0.7894744277000427","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":"Q908902$18ED0DC3-4100-42C7-A613-CF5101A6C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a965d01b362b52d260716478821c26052004ece4","datavalue":{"value":{"entity-type":"item","numeric-id":3333099,"id":"Q3333099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687830f6d8224536445d606bb7e005ba193b0e6f","datavalue":{"value":{"amount":"+0.7703249454498291","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":"Q908902$54DFBA17-0284-455D-8624-53658C3B4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03abb953c347187dbbf0b2b229954c8c27f20e0c","datavalue":{"value":{"entity-type":"item","numeric-id":749564,"id":"Q749564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b121d98fad02a25a212adef70fb14f6ccab4cf","datavalue":{"value":{"amount":"+0.7675143480300903","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":"Q908902$B5FD18DE-3385-4E95-99CF-E355FFD0AEFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finite models of regular identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finite_models_of_regular_identities"}}}}}