{"entities":{"Q1307162":{"pageid":1317912,"ns":120,"title":"Item:Q1307162","lastrevid":70664535,"modified":"2026-04-13T16:02:16Z","type":"item","id":"Q1307162","labels":{"en":{"language":"en","value":"Conditional terms and identities on universal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1353827"}},"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":"Q1307162$7A3BD155-7354-4C04-812E-5B016EC5F38F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d50fc3d7646a8b057523dca85be6eab3a1f793d2","datavalue":{"value":{"text":"Conditional terms and identities on universal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307162$6508823A-4890-4195-A745-9557E1584BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917b26da7f2010d4cbe0320635d50eab96ccdb92","datavalue":{"value":"0924.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$AFE5FA01-BF89-45E1-9B45-0D30505AB737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307162$9FF7E312-6BE9-4328-B213-5243B9E89121","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307162$0EC59379-D8E0-41CA-BC3E-2D682DAE764C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a1d4dae232e2c5f1bc14f9cfd7cec8c3d309952","datavalue":{"value":"The author introduces the so-called conditional terms by allowing such constructions as ``if \\(\\ldots\\) then \\(\\ldots\\) else \\(\\ldots\\)'' over atomic equalities of terms and their negations. With this extended notion of a term, he studies such popular notions related to universal algebras as primality of algebras and congruence lattices and obtains a description of varieties (which looks easier than the usual descriptions given by the well-known Birkhoff theorem).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$8FFF76D9-6F55-4808-A0B0-5BA0FA4295D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$89DC059A-4C45-438C-A325-AC854BE0821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$81EB0D8E-8E62-4E9F-BE55-3E4B06AA9B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$99CD52FA-8344-482D-B4B2-E6F9E49E7090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$74613CFB-C796-4D1F-95E3-0780280D27F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$0C1CF4EA-788C-4D21-BF07-2C2DF54757E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d91764e58d04d2ad8251ed9f4c184c4fdbde2f0","datavalue":{"value":"1353827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307162$8A139520-6764-4EC6-8107-71BA29B02DD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438a8471c49d355a7b5309161f5d524038c974fc","datavalue":{"value":"conditional terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$42834DAA-A2CE-4A23-B70B-C5DF7AD7ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$8CE1EDF7-DA84-45CA-B8A4-6322D097B547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a104eacd7d66b783edc59d131b2fbc2b2ba7b419","datavalue":{"value":"discriminator function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$C37B3D09-3662-429B-83D1-6595F2908BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9847f087307eb878d21bad70eb41d8c9f3279d","datavalue":{"value":"primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$211ED32A-35FE-4840-A0E0-87B3F58B2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301a1051174f48493e1151243b7525c511bbdaa5","datavalue":{"value":"conditional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$9F64B630-5D01-4557-BB6E-FE95DC231BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82184f0bc8a3d0a89f750ef0b00ddb56ad6091cc","datavalue":{"value":"conditional variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307162$48990AB5-7A64-4498-97C8-1B86C1D84EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307162$A65F9C97-9175-4E41-9ECD-F265FF891B18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307162$0A48C1A9-D108-479C-BED4-21F5F0FFF036","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":"Q1307162$740AE66A-8DC5-418F-98BB-B4A8F6EBF534","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218a7593fb43f8558b39ee7c97e4f1c3df2b0673","datavalue":{"value":{"entity-type":"item","numeric-id":1129881,"id":"Q1129881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2916aaa584bc861b6416ac5c3fd36e96e69c6534","datavalue":{"value":{"amount":"+0.99316263","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":"Q1307162$B0DC9414-987B-4F92-B060-7DF27441B73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656f8048b58dcf9504b3e8457f591099c412bc18","datavalue":{"value":{"entity-type":"item","numeric-id":3365105,"id":"Q3365105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2916aaa584bc861b6416ac5c3fd36e96e69c6534","datavalue":{"value":{"amount":"+0.99316263","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":"Q1307162$8CCA406F-E955-4E41-906C-2FA48669A862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c05d1035d06786b26da3480edc8d34dc723eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3789626,"id":"Q3789626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a552928af4479d50eecd4ba95dfb733b2749a8c6","datavalue":{"value":{"amount":"+0.8872856","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":"Q1307162$1543537C-7808-4184-990E-EA0B991FE024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5045214f34c0c90d392eb46c74570b9b3e609b9e","datavalue":{"value":{"entity-type":"item","numeric-id":4709920,"id":"Q4709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7d6622245aeb10e28b9400a8b3b529ce1053d7","datavalue":{"value":{"amount":"+0.8823507","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":"Q1307162$5731B6E0-D7C5-45F7-A7B3-44C94FE4E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b780883b358909492594c41368c54bc830c9686","datavalue":{"value":{"entity-type":"item","numeric-id":515213,"id":"Q515213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5f8714ef56184b4674b7a1b3d68b75a79f2a33","datavalue":{"value":{"amount":"+0.88085365","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":"Q1307162$3945761F-11F0-4817-B74C-9B02E7EF8E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4be2eddf1f9299f3ece8c37ce1435e2b972b64","datavalue":{"value":{"entity-type":"item","numeric-id":3413482,"id":"Q3413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571e816cf7b90ac7230ba9c417d3535e3f0fd6b3","datavalue":{"value":{"amount":"+0.8765209","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":"Q1307162$F30CB138-DD15-4DD4-8E3C-EEBD743AC631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c75de4b7e09dc1afdeea56da4964b18795fbd6","datavalue":{"value":{"entity-type":"item","numeric-id":4517354,"id":"Q4517354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a096f39fe98ba95cd896316ca3eb9eb5ada2e3b","datavalue":{"value":{"amount":"+0.87602764","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":"Q1307162$5D4689BB-6CFA-4D78-8DBE-417A4A47CE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac57373b017d99be21ba76b7ee709fd5bf157dc","datavalue":{"value":{"entity-type":"item","numeric-id":4242576,"id":"Q4242576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8a4dc26d95bcb8300767c74c4cbd892c3efe5b","datavalue":{"value":{"amount":"+0.8715233","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":"Q1307162$4B83B6E5-E93B-4A77-9D0F-CE5374BDF41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e483222283507c421f6c763388d8744a79a8cb19","datavalue":{"value":{"entity-type":"item","numeric-id":3530612,"id":"Q3530612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b301a93075494d8e43895a7427c46b8327b3c1","datavalue":{"value":{"amount":"+0.87068826","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":"Q1307162$A84C8E2D-3A83-4EFA-844F-DE7E81E00800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59c72040c04bc53a66b43f37bf8ac4b26dce772","datavalue":{"value":{"entity-type":"item","numeric-id":4724692,"id":"Q4724692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618de2c7d4f483f92595951c719d4c7be6b08c5e","datavalue":{"value":{"amount":"+0.8697428","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":"Q1307162$211F12F9-024E-4B5E-A06D-B32D81850318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditional terms and identities on universal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditional_terms_and_identities_on_universal_algebras"}}}}}