{"entities":{"Q795074":{"pageid":796922,"ns":120,"title":"Item:Q795074","lastrevid":42698485,"modified":"2025-07-08T14:34:17Z","type":"item","id":"Q795074","labels":{"en":{"language":"en","value":"On regular identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861229"}},"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":"Q795074$75E62395-B848-4238-8F22-D2C3A9D3758C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"463d57f6a93e38ec70e4d1ac7196eee0d6674406","datavalue":{"value":{"text":"On regular identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795074$D69AFF93-CA08-435E-BBEB-25318ED73C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"280b1ee09edbc792f0e8a0ecde06ddfdc761884e","datavalue":{"value":"0542.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$1632274D-1E23-4D15-9449-B0492D912049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c2628b048607b1754189eaa5a1d49bdcff0747","datavalue":{"value":"10.1007/BF01194544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$6494DB62-E779-4B32-82B5-9C1A5C5E4E1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8588ec913dd4f8053c54b3bed94f40ddd9f126b5","datavalue":{"value":{"entity-type":"item","numeric-id":749562,"id":"Q749562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$AB7D2BCA-6401-4F32-BD39-52782CA19E21","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":"Q795074$EAD1B345-EF02-4A07-853F-D323E755A8D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q795074$ECE544A0-A308-4911-937E-D029B7AB9091","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"911dfa22d8a5b9adfbdad0f92c5e95ca93391f0d","datavalue":{"value":"An identity \\({\\mathfrak p}\\equiv {\\mathfrak q}\\) is called regular if the set of variables occurring in \\({\\mathfrak p}\\) is the same as those of \\({\\mathfrak q}\\), it is called normal if \\({\\mathfrak p}={\\mathfrak q}\\) or neither \\({\\mathfrak p}\\) and \\({\\mathfrak q}\\) is a variable. The author proves that the regular and normal identities holding in a variety K of algebras form a basis for all the identities of K. Further if the type is finite and \\({\\mathfrak p}({\\mathfrak x},{\\mathfrak y})\\equiv {\\mathfrak x}\\) holds in K for some polynomial in which both \\({\\mathfrak x}\\) and \\({\\mathfrak y}\\) occur, then if all the identities of K have a finite basis, so do the regular identities of K.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795074$83C1BDCB-FFB0-4AA5-880D-A33CD951920D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$480A27C5-938B-4011-891E-B19356D60372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$5E65007A-6138-44D2-BD65-4A4A517F246B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1113ad4e1aa5858d1439e52415c143081498574","datavalue":{"value":"3861229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$FEC936C4-117F-441D-8992-CE45B0AD2756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d80bc08775c48cca3079848bf94a51eb0100f1","datavalue":{"value":"normal identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q795074$3FDA267C-BB3C-4E1E-91BD-BC247348F7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q795074$EF59A243-793D-4A99-BF5D-C77DECBE328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q795074$EE4C1586-ED04-4C1B-9402-1970E33A813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa4d46bb04c71a0c9e8c1ddd7e881296ef543c7","datavalue":{"value":"regular identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q795074$0222E8D3-C6C0-4D4C-AE55-84417D4568BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17bbdbf95c31d821baf8c3c834f2f465951d50b4","datavalue":{"value":{"entity-type":"item","numeric-id":587143,"id":"Q587143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$2B23BE0B-42AB-40C2-B466-2A8C7147B1C2","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":"Q795074$62F64D34-87B5-4A93-807A-CAB0A134AFC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd0677badd3af7b9f13141430a60324715e2dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3939863,"id":"Q3939863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$155E3E7C-EBB7-48C5-A731-1E0728094EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19ee1ef02b33e6245450b6e5eea8af74a62d096","datavalue":{"value":{"entity-type":"item","numeric-id":5661552,"id":"Q5661552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$24D2D32A-575E-48CD-AFA0-BA624561CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8858fc58547a323f2139a135787e33aa5b44bce4","datavalue":{"value":{"entity-type":"item","numeric-id":5579047,"id":"Q5579047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$AF749A19-BB2F-4091-BAAD-814D1B9E9D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5577eda790f72336f5129528695f979717fea95a","datavalue":{"value":{"entity-type":"item","numeric-id":4777361,"id":"Q4777361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$1474E7CD-DF29-4D5B-8295-0BC3CE38D353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed2969dcdbfabc761b716bc5b090a1d4d5c71b3","datavalue":{"value":{"entity-type":"item","numeric-id":5609363,"id":"Q5609363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795074$EF15A090-D33F-4FB6-84EF-0BCBB3A445C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f881ebe94e5c6ad7f3e9697c277b7ead9d0d3fdf","datavalue":{"value":"https://doi.org/10.1007/bf01194544","type":"string"},"datatype":"url"},"type":"statement","id":"Q795074$953F485B-0C3C-4CF0-8336-ED1234F56139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30919593bd938db96e8e54e5487c5193879ab92b","datavalue":{"value":"W2078802264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795074$B81A78FB-47D7-4BAD-8BA0-9F7662C87B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b851ff41eb33bfd48797e922c06dda417329041","datavalue":{"value":{"entity-type":"item","numeric-id":4311856,"id":"Q4311856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc40e24127c22d05338aad7d46e225c4327eeda3","datavalue":{"value":{"amount":"+0.96305215","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":"Q795074$F7706104-21C3-4CA0-8537-A3AF561F0B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03abb953c347187dbbf0b2b229954c8c27f20e0c","datavalue":{"value":{"entity-type":"item","numeric-id":749564,"id":"Q749564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6120de841fe866ff10ce44fba2d3055c5fbc8c","datavalue":{"value":{"amount":"+0.9598173","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":"Q795074$8D97485C-BF9C-477F-BFE6-9F283EA4E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68154e7f46f25184e07dcb150962c74b8d5efaa9","datavalue":{"value":{"entity-type":"item","numeric-id":2769171,"id":"Q2769171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3b78cdbcd49a457bb825098715620441958010","datavalue":{"value":{"amount":"+0.9459518","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":"Q795074$1FAAA2B1-76DE-4244-8A84-C6A7DEB6F2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1231f0cc4fa48a6f36a9a9f04be4a7fae4835982","datavalue":{"value":{"entity-type":"item","numeric-id":3966195,"id":"Q3966195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3173880f69f0aebef5c222a17b7fd923013f31c7","datavalue":{"value":{"amount":"+0.92768794","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":"Q795074$716EBBC1-980C-42E7-9A0E-6EB8AF83FDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef5ac58fc1d69cff36d489bf3131990a79b30ce","datavalue":{"value":{"entity-type":"item","numeric-id":3979188,"id":"Q3979188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe68faa12b624623669521d8d539a99ae953ba21","datavalue":{"value":{"amount":"+0.9234513","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":"Q795074$0CE3E625-EC06-4959-8E03-09569193E747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023a73ade15aa6bfbc00d28efde5f3966b2bad55","datavalue":{"value":{"entity-type":"item","numeric-id":4763280,"id":"Q4763280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7a5fbcdc9b0e00b1fdf0c207f6050b981a18b9","datavalue":{"value":{"amount":"+0.9228174","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":"Q795074$2F294673-77B5-49E9-AD0C-A2CB63BA4596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47493a5cc5940e3d0cbeae606303200a2e02b3fc","datavalue":{"value":{"entity-type":"item","numeric-id":908902,"id":"Q908902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de5320d0a4e0129c278dc9029c7c1abf329d03f","datavalue":{"value":{"amount":"+0.903511","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":"Q795074$735F6D44-7DD0-4DFB-80DD-D288EE7094DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9001c897d89888794455658bf0b1e8171242681","datavalue":{"value":{"entity-type":"item","numeric-id":1820801,"id":"Q1820801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083cf590b9803dedba4284831b1b7c57352af18d","datavalue":{"value":{"amount":"+0.8846184","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":"Q795074$EA74694F-DFE1-4922-ADAD-2AD83236E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a965d01b362b52d260716478821c26052004ece4","datavalue":{"value":{"entity-type":"item","numeric-id":3333099,"id":"Q3333099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6fb4cc6f04001ab0bd57606f6c5c31b4ff78f98","datavalue":{"value":{"amount":"+0.88171446","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":"Q795074$26D8EE54-F825-4D90-9578-16DE4B30029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47570cf8e2983b089232b32735c171ce8b54b32","datavalue":{"value":{"entity-type":"item","numeric-id":583327,"id":"Q583327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47bab27e9b9a114d5464f2fe127fd1df1e2cd5e8","datavalue":{"value":{"amount":"+0.87841946","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":"Q795074$225906BB-8D21-496A-A7C3-ADF810FFC91D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:795074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:795074"}}}}}