{"entities":{"Q1173660":{"pageid":1184409,"ns":120,"title":"Item:Q1173660","lastrevid":66431367,"modified":"2026-04-12T10:02:21Z","type":"item","id":"Q1173660","labels":{"en":{"language":"en","value":"An algebraic proof that pseudovarieties are defined by pseudoidentities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7192"}},"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":"Q1173660$E9C8906F-8C3D-432B-9642-F59806321731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2063594442f5da93dde308786d5e95c82a6f4f29","datavalue":{"value":{"text":"An algebraic proof that pseudovarieties are defined by pseudoidentities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173660$18111887-3486-4414-AE99-150313AC8E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e029e1ef5712eb8db3efcccc6860931a9a9576","datavalue":{"value":"0760.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173660$3ECEFE0E-508E-4F6B-BAAF-D7DE9A2071AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ece66bdb03ddea6706e89565a6f912c04de3c699","datavalue":{"value":"10.1007/BF01189004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173660$31BFC38D-C165-4E17-81F7-36D66A357C7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"115c6ab0bdd53b9213bd526331fd7f449d26ad48","datavalue":{"value":{"entity-type":"item","numeric-id":444661,"id":"Q444661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173660$F0563BE1-9409-4095-87FA-78B5CAB5469C","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":"Q1173660$B387890B-BC19-4E62-A93E-27A68F6947F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173660$5D08822E-8BB5-440B-B963-7EB98B717B9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6effbc3b24e658b1cd19d34baf9838f5f43f817c","datavalue":{"value":"An algebraic proof of Reiterman's result is given which shows that any pseudovariety of finite algebras of a fixed finite type is determined by a set of pseudoidentities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173660$059ED73D-8573-452D-8BF3-BB32A025AA56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173660$494450E9-135B-4987-8DB8-7877CC480AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e926d28a695299c97b190b18ed7efb8d86932d1","datavalue":{"value":"7192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173660$98AE60CE-F61B-484B-81B7-C5B1A8D81791","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27edd794f4029b5ccbcaef2324b8d7af8d4447b","datavalue":{"value":"algebraic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173660$D0DE546C-12C1-409A-A7ED-C76264FA0D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71efe47d4a227806650854d7d9c48bc4e6eb0dbe","datavalue":{"value":"pseudovariety of finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173660$BB07805D-E7D3-4CBC-8D9A-14AB4518FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d432283c5734386ad60a6b53fc100e8665d074c","datavalue":{"value":"pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173660$62626CD1-225C-41E6-9465-A3E87EF9800E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"501cfe30a4ec27729b88954a82206635d87d237f","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173660$7B990B63-AD82-46CD-AD06-3796A7A61746","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":"Q1173660$E2E4B04A-18DC-4E70-A077-C5DC1A6FDDC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e9153f84509918b1cdff2da2b3c58d58f51201","datavalue":{"value":{"entity-type":"item","numeric-id":790139,"id":"Q790139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173660$C1D9A4B0-2B9A-4B96-A5D3-193607060E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fcc8e820c1cc4ac6c486483d65c4601fa543e","datavalue":{"value":{"entity-type":"item","numeric-id":1235274,"id":"Q1235274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173660$D66062CF-4374-4DEA-A672-D82FAE6A7D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173660$4428BB59-7158-4605-BA78-C922BB4559A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04885c7779f2488bdb2208208b7b57752c27de9","datavalue":{"value":{"entity-type":"item","numeric-id":1901895,"id":"Q1901895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2855356f517f247fef420c10fbe4950e355a4458","datavalue":{"value":{"amount":"+0.88493073","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":"Q1173660$4FF2C66C-6D4C-4209-8409-8F5E5782543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29539803aaec8455cc1fa74988d47fd4a30eabd8","datavalue":{"value":{"entity-type":"item","numeric-id":3140285,"id":"Q3140285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95a2166ce88f6e57b4b2c6c84ab9c1fad96b033","datavalue":{"value":{"amount":"+0.87456393","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":"Q1173660$571ACDCC-6E54-4977-8E4B-AB94544A052C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02591e5ab7cc13f5fa08ef1b30ee1dd79b6c007c","datavalue":{"value":{"entity-type":"item","numeric-id":799720,"id":"Q799720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b95be5c039c4ddc7143184736d5ab38e59a622a","datavalue":{"value":{"amount":"+0.872474","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":"Q1173660$8155E013-4515-4F5A-9E02-C809A9E9ECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da22c3b0a8df862e1209c5ff82720f1b2c26abf","datavalue":{"value":{"entity-type":"item","numeric-id":4870560,"id":"Q4870560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb6ac38ffbff4aafbb500fb26a46c23e385e1b5","datavalue":{"value":{"amount":"+0.872448","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":"Q1173660$6EC6AC8C-5CEB-4F3A-AA60-717C03B846BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808a2251748a7f263aa8b5681d806a6a1e98a264","datavalue":{"value":{"entity-type":"item","numeric-id":1357932,"id":"Q1357932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaada7f572ca78cf2cdf23f722d25ebc7b230a4e","datavalue":{"value":{"amount":"+0.8719073","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":"Q1173660$B2F9227C-9099-42F7-B90B-DFC5E5B53B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02f1b431100fd90283146797f6f5da23b6cd590","datavalue":{"value":{"entity-type":"item","numeric-id":2911872,"id":"Q2911872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac2630838f7c607adf409820dd92e0790bb09a1","datavalue":{"value":{"amount":"+0.87077963","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":"Q1173660$E834E8CC-B68E-404F-83D0-B5D1D393903A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd41e341486d30753e5c5ca66b8725e5743ce864","datavalue":{"value":{"entity-type":"item","numeric-id":1894555,"id":"Q1894555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acfb7d11edf7bdd2f1d155ed8af92947f91f07e","datavalue":{"value":{"amount":"+0.86430013","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":"Q1173660$4F0C63A7-A080-4011-9D8F-2EA5CC1E3A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fb2e2fea5cd83127f1bd5adc219b63c1d0eaec","datavalue":{"value":{"entity-type":"item","numeric-id":3810849,"id":"Q3810849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb85c2d37a042b6435f8aac19a174320d86bf05f","datavalue":{"value":{"amount":"+0.86417735","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":"Q1173660$32D0E3DE-86C3-4B31-9A48-66354E77E995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b759d503b30c503abe7c0aec007e96ed51c600","datavalue":{"value":{"entity-type":"item","numeric-id":4453870,"id":"Q4453870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b923f234b27cd3d8939c3bdf8b6cdab6347645","datavalue":{"value":{"amount":"+0.864102","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":"Q1173660$EF75B691-9F97-49D9-965E-9A558DE96D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7333661d771484a6a2751100fbe6f9bfd9a99b43","datavalue":{"value":{"entity-type":"item","numeric-id":4339470,"id":"Q4339470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b9e473169bed2794a5abbdbb2f52ca2590c6b8","datavalue":{"value":{"amount":"+0.86291486","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":"Q1173660$CF5B1339-2F1C-4072-8D19-D58DBC4689E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic proof that pseudovarieties are defined by pseudoidentities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_proof_that_pseudovarieties_are_defined_by_pseudoidentities"}}}}}