{"entities":{"Q1902536":{"pageid":1913278,"ns":120,"title":"Item:Q1902536","lastrevid":74253054,"modified":"2026-04-14T19:12:04Z","type":"item","id":"Q1902536","labels":{"en":{"language":"en","value":"Finitely axiomatizable quasivarieties of graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 819279"}},"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":"Q1902536$4D0381D8-097E-4B8A-B373-68CA375C4E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85501846e462563000b25e2c28ad0a3e95a677f2","datavalue":{"value":{"text":"Finitely axiomatizable quasivarieties of graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902536$472E6418-20B6-442E-89CD-F3B3F60E93BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54c0ffcaf9c63482f4e73c8fd652b920c22d1aaf","datavalue":{"value":"0837.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902536$256F759F-ADC6-448B-9DBF-4DF9D1ABAFCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68a4818116c71f03292e4b4d90961564ac7bb9f4","datavalue":{"value":"10.1007/BF01204787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902536$26B87DFC-8501-4492-A964-44E261CF51D9","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":"Q1902536$8835A249-CB4B-43B7-8FB8-B267B7BD266D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b94ab033811e5d990b59b864246642d77c86d4b","datavalue":{"value":{"time":"+1996-05-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":"Q1902536$595490E9-6F3A-4107-91DE-993B6CD821BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04d68a63dc19d6e0d9b1ea9c6d032d80748c20ad","datavalue":{"value":"A quasivariety of the form \\(\\text{ISP} (A)\\), where \\(A\\) is a finite set of finite graphs, is called finitely generated. It is proved that no finitely generated quasivariety of graphs is finitely axiomatizable, except four quasivarieties. Also the author shows that there is a continuum of universal Horn classes of graphs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902536$E806B787-3ABE-4AC4-BEE2-70F3D7019273","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902536$F5A4447E-8883-468B-82CA-115271DB1E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902536$5E3614F2-5CA5-4684-8EF9-63927FE6BA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e1d37f7af326e81241264fd43449a58f0f611f4","datavalue":{"value":"819279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902536$1A5B7F3D-E56A-4094-A8EB-0392E2DED6B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902536$817E4430-FBB7-4139-80CC-DF495193785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ebd95ac1b275f0f0a9f8f7885467b67adc2324","datavalue":{"value":"finitely generated quasivariety of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902536$411FFBF5-A57D-4DCC-80EC-7AE4862142D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9bc78879d5d3623fc50b70a91eddf411f247924","datavalue":{"value":"universal Horn classes of graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902536$03CF8222-4D7F-4CDF-BE62-86A654D5A288","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba5fea770f53a4430e6cf9e42db7e9527e8313a","datavalue":{"value":{"entity-type":"item","numeric-id":810006,"id":"Q810006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$C8B64E12-A1C2-48E9-AA74-BE09D6DE21C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"708e006c4f72e96d711dfc54a5ca7128a402a212","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$1DA6D851-C9D6-4029-971A-78314601AA3E","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":"Q1902536$EC8CA81A-DE6F-4DAB-95E8-81EB7158C9E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$5C229B25-E3C3-4922-A2B2-EDF027E75D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$15CB229F-E7C8-4484-808A-207295E97425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01874425d018f2c41712bb3fb8e538c43c3a3a01","datavalue":{"value":{"entity-type":"item","numeric-id":1250117,"id":"Q1250117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$E5548793-E305-41EA-A936-F2FABDAF520C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26df3270fe5bfe21fe16846d37bdd8243f9df59f","datavalue":{"value":{"entity-type":"item","numeric-id":3487457,"id":"Q3487457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$7F7A8640-6750-4AE7-82EF-9C97AA25558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$363CA71E-5D6F-4D1E-8416-38C864A89458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a31ca9e39bd854a09edb69f0591bbe1940abbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5572360,"id":"Q5572360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$D4A4E417-CA7B-4BCD-90B1-D46D7FD7B1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e16dff06587882485e4f01e772607d0da12b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3864495,"id":"Q3864495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902536$E39B323A-D825-4DFF-8B75-E1ABA70CC631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5407b063385d09f59a5ccba5add9841075ceea5","datavalue":{"value":{"entity-type":"item","numeric-id":5374070,"id":"Q5374070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6595d26d6af2def566ed67531871e9cf7931c4","datavalue":{"value":{"amount":"+0.95316213","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":"Q1902536$C76EBE6E-C8DE-451A-B7C1-2621AC74CC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"264bdaef74293c4d0a34617bbb11f212fb82b84e","datavalue":{"value":{"entity-type":"item","numeric-id":1920803,"id":"Q1920803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c02b51fa3e3ee39f2a68950ad878657ae5e7a00","datavalue":{"value":{"amount":"+0.9345521","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":"Q1902536$DD664238-38BD-4C33-9D4C-30ECE1719B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43dbcfa63edf2a706a5461bcd70093fcf1ee6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":5126099,"id":"Q5126099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa636e456c09ccd8597b127ef1cdbb1b14b67ba5","datavalue":{"value":{"amount":"+0.9273348","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":"Q1902536$0F643446-DB2B-482A-AB32-D40C3DD2E7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cfc0b376392ab20be9e5387191930542071d49","datavalue":{"value":{"entity-type":"item","numeric-id":4677700,"id":"Q4677700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369240e4ed81d10c830073009b11c920d23516c8","datavalue":{"value":{"amount":"+0.90987355","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":"Q1902536$F44F7A89-A83E-42EC-B88A-6BEE1D80613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b95b2df74977eff4c018a4670448bcda1c63a97","datavalue":{"value":{"entity-type":"item","numeric-id":5936019,"id":"Q5936019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abab5aad2f176442b0f234e26a4ac5f29a6a9187","datavalue":{"value":{"amount":"+0.90489155","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":"Q1902536$3725F26C-0684-4C8D-8CD5-21CBE5D442C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee32a3115804b94b3009913fc34f50d818237052","datavalue":{"value":{"entity-type":"item","numeric-id":4352947,"id":"Q4352947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d929ad605514edc7f2e24ba6fdd0b4f710a9b3d","datavalue":{"value":{"amount":"+0.90287566","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":"Q1902536$89DB1D0E-B83E-4FC4-8F1F-B8E98CB5AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52b1882ecbe4666525516cb895c249d7043906a","datavalue":{"value":{"entity-type":"item","numeric-id":1771893,"id":"Q1771893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1be998a7b99f34ed5039ac0c07b94f39165056","datavalue":{"value":{"amount":"+0.89697033","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":"Q1902536$1EDA7A91-88BC-4D35-8BE3-3F7D749256E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb490353489ec2e5b067cf34b2d4becc60f307","datavalue":{"value":{"entity-type":"item","numeric-id":803149,"id":"Q803149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b404b47ee18d70016a2cd3e49522a91fe6c58ec6","datavalue":{"value":{"amount":"+0.8883137","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":"Q1902536$A19ED710-D1DD-40C7-8F67-3A70EE8D4502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0522a9817f48b5fc07c7f5f4862c7890f836a5","datavalue":{"value":{"entity-type":"item","numeric-id":5308020,"id":"Q5308020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74c4df85eea2e40c6c9d7ec0ee8b3c442be0922","datavalue":{"value":{"amount":"+0.8877894","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":"Q1902536$AA4B96C9-DE29-441E-9986-63A734218F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05568cc2c7611dbde9ea404d956f131d28664fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1348147,"id":"Q1348147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2ec05c92291d239ad7b62c914fd7311d043003","datavalue":{"value":{"amount":"+0.8852676","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":"Q1902536$05E66E94-3770-465E-83DE-59EF44DA0E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely axiomatizable quasivarieties of graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_axiomatizable_quasivarieties_of_graphs"}}}}}