{"entities":{"Q1802249":{"pageid":1812991,"ns":120,"title":"Item:Q1802249","lastrevid":43335004,"modified":"2025-07-24T20:37:30Z","type":"item","id":"Q1802249","labels":{"en":{"language":"en","value":"Non-covering in the interpretability lattice of equational theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 203146"}},"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":"Q1802249$4529EBCC-8CE5-4CC4-939A-F6BAD2E9B45B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10494daf2fa09ffc95794e71acc60ec21297a859","datavalue":{"value":{"text":"Non-covering in the interpretability lattice of equational theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1802249$B68ACB48-5353-405F-9485-27D1A3C195AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e189e7718121cd8a89902228d02f2fb8255c4774","datavalue":{"value":"0802.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$0F8C6818-07DE-4EC3-9089-2A07C676F815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b747a630c6709b7826a21f91602f2f5077c2efc6","datavalue":{"value":"10.1007/BF01196089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$E55E6904-9CB6-4AFE-BD5D-FA2F12BE14A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$C8E27577-17F3-40FE-94F6-200E9985CB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83658f6c32025ed0a01af4a43422ecbcf9960a9","datavalue":{"value":{"entity-type":"item","numeric-id":1802248,"id":"Q1802248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$617655BA-B997-4F24-BBDE-6687F4C2BAD9","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":"Q1802249$8E08B4EB-5D95-4744-9F75-CC898D6E8796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1802249$4AB48F36-DC93-4092-A42D-5CC4D45B69F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86e2bf1fadccaec9eaab24ed5c4caaed40a1aea5","datavalue":{"value":"This is a very well-written paper, a delightful reading, even for people who are not familiar with the topic. The authors prove some results on balanced equational theories. As a corollary, they present a large class of equational theories which have no covering equational theories (up to equivalence of theories in a natural sense).   To go into details would need quite a few definitions and observations. Instead I recommend to read this important paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802249$09B5F1AC-2200-4059-BF1D-9219BF86E669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$BE114AF3-E662-41D0-8C60-B07F511AE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$8B1EE871-85A6-4841-8C93-2551B1B7DC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf34c780f739e4007f8e2affcb0e1449fa04f36","datavalue":{"value":"203146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$76B96CBE-05EF-42E4-9639-DBC14255CB27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de4de14c9b387f70974172deb2933fea5b93488","datavalue":{"value":"interpretability lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802249$36FA8950-6CA0-453B-B7DF-CD0E5AE74406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71438b1bdd79613b5cefbcd5de589515a79ec8a","datavalue":{"value":"balanced equation covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802249$D707F3DD-2E2D-4D2C-B338-783D31BA37F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1399b600535a00c5635f1f24639d03908d9837ea","datavalue":{"value":"balanced equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1802249$E757D6C5-FC15-4CCF-AE61-D5B79F671A09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"172cc73a3282110845bcede4aa9f1220d7a3dce0","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$6BCC4E6F-E25B-4162-9307-1560539BFFBA","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":"Q1802249$D030380C-50FD-420B-AE1A-895F12C59BD8","rank":"normal"}],"P223":[{"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":"Q1802249$8CAC52B9-B2E0-4921-B6CD-97E5125E3E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f88acbba330cd229c3b183bc39608e3964bb88","datavalue":{"value":{"entity-type":"item","numeric-id":690111,"id":"Q690111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$C69DA4C5-D119-4A43-B9EF-240C994CC25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed7893b526cc9e9f9028691e634d5a1769da19b","datavalue":{"value":{"entity-type":"item","numeric-id":805646,"id":"Q805646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$F531B1E9-5285-4552-9D4E-EB69EB5C3F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d7592c413b0df02d8e7e85080ad4099b5fc2616","datavalue":{"value":{"entity-type":"item","numeric-id":1821134,"id":"Q1821134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$7A1B9992-EABA-4719-93E8-2C37D64D370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b6ef0c0d0837898ba741e2e1f7f769008ddcc4","datavalue":{"value":{"entity-type":"item","numeric-id":1103662,"id":"Q1103662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1802249$5C74A450-DDBB-4E84-B6D5-AC1299CBB699","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbb842881e4a91d150cd5cc07da5fa5a33eca29d","datavalue":{"value":"https://doi.org/10.1007/bf01196089","type":"string"},"datatype":"url"},"type":"statement","id":"Q1802249$FEFB38D6-67A9-4B84-92BC-92B72E810524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"499d62c88e696870962b2ad14fe0a4e3844df30c","datavalue":{"value":"W2072957414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1802249$49A294A6-9B67-4A1F-B22F-F6CCF914B228","rank":"normal"}],"P1643":[{"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":"1f93210d15f75ad98c56adf551043b5bd76aa04d","datavalue":{"value":{"amount":"+0.95191705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$D3058B49-179F-4B42-BE30-8CCA59DA2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3440cd2d08643694d8fd5247eafa23afe82017c","datavalue":{"value":{"entity-type":"item","numeric-id":4236057,"id":"Q4236057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35f38e253d069e740bead88c754e1234825cdc1","datavalue":{"value":{"amount":"+0.86383575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$EA4FE95F-9383-4CB1-8CC7-AA2994223161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35f38e253d069e740bead88c754e1234825cdc1","datavalue":{"value":{"amount":"+0.86383575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$E7CEDD33-1DB0-4181-96BE-40B0FFD767C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78627a591c60381305665703dbbf2780ded17dc6","datavalue":{"value":{"entity-type":"item","numeric-id":5410332,"id":"Q5410332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172fc67697a26646e7a20fcaa7b96b209fb719b0","datavalue":{"value":{"amount":"+0.8609316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$B9C3222D-1F13-4545-9336-110973D95D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1af2d3907f6f6349aba4ec732b1a33829a82fe5","datavalue":{"value":{"entity-type":"item","numeric-id":1180695,"id":"Q1180695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befed2fa5a9c6633d2a536a85a29e181219aa027","datavalue":{"value":{"amount":"+0.859697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$1C06D809-F386-455E-B096-C76FF49933C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431a8b78b29cdabfe7b94953278629663d631f45","datavalue":{"value":{"entity-type":"item","numeric-id":1949165,"id":"Q1949165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d33b1fac8396c47b6e59084d9bb388a9284d869","datavalue":{"value":{"amount":"+0.85781235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$06BF9A75-2C4B-4CD2-882C-BBE4EAF867DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b74cacfaee426ea987896803a0bf0b12e6ed1d6","datavalue":{"value":{"entity-type":"item","numeric-id":1181486,"id":"Q1181486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f654a8c9d6797c4edacb00347e33d098fdf86522","datavalue":{"value":{"amount":"+0.8569884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$4717A34D-2A92-4A08-9347-6C9CCEA62E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d4654d4ed738bb552002e89c188dd356aa271f","datavalue":{"value":{"entity-type":"item","numeric-id":4532124,"id":"Q4532124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65248a0a3e7c39c270b8e6578531aee73938b26e","datavalue":{"value":{"amount":"+0.85680664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$E241ECC0-525F-4986-9643-06AAEC9FA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec375cb422807d77654690f3feb6ac8bac77e4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3347872,"id":"Q3347872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7e6677be351842f1dd446aec62564a9e3ed840","datavalue":{"value":{"amount":"+0.85585916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$44D49A4B-4BB1-4C0F-B469-F14EB1539906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32d6b9d650b40bb4f5a90f869f721fb7569426d","datavalue":{"value":{"entity-type":"item","numeric-id":1825184,"id":"Q1825184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1720c857e3348487f437b8384e9797a03b1f9723","datavalue":{"value":{"amount":"+0.8552125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1802249$3EF04F62-42BD-4D23-B33B-999093EE516F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1802249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1802249"}}}}}