{"entities":{"Q1821134":{"pageid":1831876,"ns":120,"title":"Item:Q1821134","lastrevid":69038598,"modified":"2026-04-13T03:56:32Z","type":"item","id":"Q1821134","labels":{"en":{"language":"en","value":"Remarks and problems on a lattice of equational chapters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997885"}},"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":"Q1821134$632A0EA9-F5F3-4983-9D08-127A15AE836B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b28bfca73476351fe0db5141148d3237a8b6d436","datavalue":{"value":{"text":"Remarks and problems on a lattice of equational chapters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821134$A5CB5354-B266-4C3C-B19D-B61AAE910006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ec17aabb0ebfa476a26e0b3adb5bc54f6d3851","datavalue":{"value":"0616.08014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$4C5AFB48-8D7A-47D8-98F4-0E7134DAFD20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c05ed6755b2ac1de8fd6237f026e9eed044502f","datavalue":{"value":"10.1007/BF01190908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$EC9894EB-BB6E-4286-9F1B-2C5E27F2BAC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d03b245e867f1f311b613f0b6303a0b1665815","datavalue":{"value":{"entity-type":"item","numeric-id":416396,"id":"Q416396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$AF6EE7CC-37AA-4C82-9228-A63194EDE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cde636da1aeb45bcdff6969fecabafc9240d9ab","datavalue":{"value":{"entity-type":"item","numeric-id":758497,"id":"Q758497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$99861F6F-B38E-41A6-80F6-AD37AE1E44A1","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":"Q1821134$F7CB35FE-7324-402D-A98C-992AD27065C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1821134$9E61125E-8BA8-4968-99D0-8968D3D42CD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1756414031f51e637f48183e90936fddde318893","datavalue":{"value":"Let S and T be two equational theories with at least one individual constant. S is said to be locally interpretable in T (in symbols, \\(S\\leq T)\\) if for every finite part \\(S_ 0\\) of S and every function symbol F of \\(S_ 0\\) there exists a term all of whose variables are assigned to some argument places of F such that, if we replace the function symbols of \\(S_ 0\\) by those term (equal for equal) then all the equations in \\(S_ 0\\) turn into theorems of T. Let \\(S\\approx T\\Leftrightarrow S\\leq T\\) and \\(S\\geq T)\\); \\(| S|\\) is called the equational chapter of S, where \\(| S|\\) denotes the \\(\\approx\\)-equivalence class of S. In this clear and readable paper the authors study a lattice of equational chapters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821134$7DF8C655-A2FB-4BB4-B35A-CAF6EC9024E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$6BD30DBA-CC77-48B2-9364-4C187A23EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$06FFF906-5933-4F82-9175-72C9C410EC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$584D44D6-6720-4E36-B7F1-D9CAEE8C252B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5cf0e51cfac59adf4f1b4ae5e08cfc1653e6a6","datavalue":{"value":"3997885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821134$8F4BC149-BEE4-4AE4-ADBF-DE07082C65E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821134$A50EADD7-4CEF-403B-AFEB-72D1BC4F38AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98036e4b1b7df19973387af2e57bc30a96bdcc39","datavalue":{"value":"locally interpretable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821134$F0C0D8E2-F018-4F83-9E9E-60DCC70BAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98169fc17668d78c9c55e4e17a8c084fcc3afa04","datavalue":{"value":"equational chapter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821134$58E69CC9-31D8-4AA8-872A-C021C87A41C4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$A25A4528-945A-46FB-A0C2-A7D53C5E6E14","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":"Q1821134$A41DCDBF-3CD7-4C4B-A6BF-4645C8E1DB91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e9c81beee90f32e6c1811b131dde5eceb174dd","datavalue":{"value":{"entity-type":"item","numeric-id":2532610,"id":"Q2532610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$92B93FAF-2A7E-4D3E-807C-B6196AB15F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85438f12b2728ba9c19aea71f3be4f00937583b1","datavalue":{"value":{"entity-type":"item","numeric-id":3347940,"id":"Q3347940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$F1C560B0-E56E-4CEB-AB80-F9D93BFFFE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$43F1036F-4AD6-4161-90B9-302836792DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$7E7A16A7-26E9-43B6-B37A-5CDC41F0189B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341958ec89d041932d4cfd4ad548102d0aece66","datavalue":{"value":{"entity-type":"item","numeric-id":4146729,"id":"Q4146729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$62F3FD55-AF14-4E77-A772-80FCD0A2B796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d924cd66b30d8646af6100b0d2b8decf96705","datavalue":{"value":{"entity-type":"item","numeric-id":4046098,"id":"Q4046098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$4EBF261B-6469-44E3-9A3E-B701C6AF5C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$EECA4456-FC19-452A-8B69-7BB438842909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899a190f8b9f07830eeda0a31ae8d716d2ea8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4193434,"id":"Q4193434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821134$3F0A9340-4D0B-4C30-A7E6-985614354C98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650318b2f99476aa090c2f6b7b8fbd16eccc7e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3472098,"id":"Q3472098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d6bd4f0488b79b3213fc69610f33f06c0d8fbd","datavalue":{"value":{"amount":"+0.8488374948501587","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":"Q1821134$53DD300B-2FB1-4009-9B5F-CE2942CF6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ceccc966fea64888385079a139ca970c56d5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3829549,"id":"Q3829549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c620fb8535a913ada2d3776ebd597096f980e1","datavalue":{"value":{"amount":"+0.7708033919334412","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":"Q1821134$A102E310-10D4-4B5B-8B2D-2293F33443CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f600c8c091aa7d897376abeb78c6079ce91e6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3743360,"id":"Q3743360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528641feec1d0c0a61ba862fa45a34e2a281bdcb","datavalue":{"value":{"amount":"+0.7453143000602722","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":"Q1821134$9DABB475-04D6-46FF-A285-FB10DFD5BDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dcf222bbd287941fd7091011051e716690a549","datavalue":{"value":{"entity-type":"item","numeric-id":1802249,"id":"Q1802249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c733ed32392b0a7986297384f4b4086802c6a3","datavalue":{"value":{"amount":"+0.7423785924911499","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":"Q1821134$2EAB0A16-3738-432B-9D4A-5ADBE81F2654","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":"58c733ed32392b0a7986297384f4b4086802c6a3","datavalue":{"value":{"amount":"+0.7423785924911499","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":"Q1821134$A5C3E66A-0D52-4703-95B8-6BD329F03A62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks and problems on a lattice of equational chapters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_and_problems_on_a_lattice_of_equational_chapters"}}}}}