{"entities":{"Q1840970":{"pageid":1851712,"ns":120,"title":"Item:Q1840970","lastrevid":69047928,"modified":"2026-04-13T04:04:09Z","type":"item","id":"Q1840970","labels":{"en":{"language":"en","value":"Many-valued points and equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568512"}},"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":"Q1840970$020F4969-BB1E-4D55-9D58-D04C1CF51F42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bff9765875675cbae98bc4b6bda19b76d191fcf","datavalue":{"value":{"text":"Many-valued points and equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840970$80A85781-0341-41EE-9E01-CDBC25BED823","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26e5db24e456473364b684262c8dde560376fe98","datavalue":{"value":"0968.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840970$B68F50C5-A90A-47FA-9795-F5E2F5B97668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fe4f39fc84d96eee7a28b655b8d899d284d806","datavalue":{"value":"10.1023/A:1005291917995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840970$B36B7F13-861D-433E-B141-E640B23B7B80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840970$24FA1156-6425-4EA1-99D7-12FAD62E3A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400b442d134c62ae35f3a54433a5c2dd26c038cb","datavalue":{"value":{"entity-type":"item","numeric-id":1151689,"id":"Q1151689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840970$122FF24A-D381-4E09-8BA6-C6A8557C87B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840970$8D856A2A-17E2-4734-8A47-491D125C992F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3bd111750c8b25e26eea9a9c3e259543f891eef","datavalue":{"value":{"time":"+2001-09-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":"Q1840970$1AFC266E-59EF-4718-956E-8CD30BF16AA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac243afe0b8e93cc2b654f015721f6494be596e8","datavalue":{"value":"Let \\(A\\) be an MV-algebra and let \\(G\\) be an abelian lattice ordered group with a strong unit \\(u\\) such that \\(\\Gamma(G,u)=A\\). Further, let \\(E\\) be a nonempty set and let \\(\\delta\\) be a mapping of \\(E\\) into \\(A\\) such that there exist elements \\(x_1, x_2,\\dots,x_n\\) of \\(E\\) which have the following properties: (i) if \\(x\\in E\\) and \\(x\\neq x_i\\) for \\(i=1,2,\\dots, n\\), then \\(\\delta(x)=0\\); (ii) \\(\\delta(x_1)+\\dots +\\delta(x_n)=u\\). Then \\(\\delta\\) is said to be a generalized point of \\(E\\) (with values in \\(A\\)). The equality degree \\([[\\alpha=\\beta]]\\) of two such generalized points \\(\\alpha\\) and \\(\\beta\\) is defined by \\([[\\alpha=\\beta]]=\\oplus_{x\\in E} (\\alpha(x)\\wedge\\beta(x))\\). For \\(a_1,a_2\\in A\\), we apply the usual operation \\(a_1\\odot a_2= \\neg(\\neg a_1\\oplus\\neg a_2)\\). The main result of the paper is the following theorem: Let \\(\\alpha,\\beta,\\gamma\\) be generalized points of a nonempty set \\(E\\), with values in an MV-algebra \\(A\\); then the relation \\([[\\alpha=\\beta ]]\\odot [[\\beta=\\gamma]]\\leqq[[\\alpha=\\gamma]]\\) is valid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$36C3105F-CDAE-4B15-AEAB-F3D550ACC61D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840970$470DE4A9-2FCD-471F-8D00-E8546AC8227B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805055606bd52c176c941287e7d1633a4f1a79a6","datavalue":{"value":"1568512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840970$1E1A165A-D1F2-4D9D-BB00-CA7DC766A429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$11E5EF51-6DE2-4D11-8BA5-7E73E5C39C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7517f03207ffbfc80eefe4c441a494e728bde150","datavalue":{"value":"abelian lattice ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$ECC11117-5BB1-44A1-869C-8A95E50ADE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e0ec940e6c5c0cb9eb5aaa8fa2bfa552a5b3a02","datavalue":{"value":"strong unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$621FD202-28E0-40D9-8801-22796DCAC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a62131139368af110dd316a49677f5b036fadbb","datavalue":{"value":"generalized point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$00442B3D-2CF0-4C21-AC42-FF887B56CEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7150356833b60a3b5e06b50af73b9a3426cb7f68","datavalue":{"value":"equality degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840970$47DC2539-70C4-4E97-B1CD-2C038A29DC35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840970$6B20E913-8C86-4A21-8F06-6015108F63E9","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":"Q1840970$991EB854-C3B9-4CAC-88F8-283377BE6DBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2a7350cbc18c219bc4c148ac4c964981b962e52","datavalue":{"value":"https://doi.org/10.1023/a:1005291917995","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840970$38E27E97-472D-4B82-99CD-C362BCA209C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d99fa46b112e8c01252435a969ce29db56dd861a","datavalue":{"value":"W1531878119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840970$3E6F5AB2-3DB8-4623-A663-E3DB8EA193D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2060e1dbb92fa6c5329375118b866388711afaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4511497,"id":"Q4511497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff797a509e8b7bd50a49fb1cb7a12c4b827b4168","datavalue":{"value":{"amount":"+0.7451530694961548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840970$35AA2647-719E-4D85-BD4B-EF31FE249E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd65463b6dbaba06a662e3470d628c339cab081","datavalue":{"value":{"entity-type":"item","numeric-id":4466666,"id":"Q4466666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1286d77d8b300d248799d8f87abfebeef6022cbb","datavalue":{"value":{"amount":"+0.7439277768135071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840970$611F05E5-F20B-4895-9385-C0323070C580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae18a8c620ccf9e51d5f5c45cb7bb62ee718b04e","datavalue":{"value":{"entity-type":"item","numeric-id":1770501,"id":"Q1770501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a2070f9b6efedc731c325bb6bfed9b392f08f2","datavalue":{"value":{"amount":"+0.7413235306739807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840970$89044355-E324-4819-8865-6E76A8E73F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f52f4f5de808c95d49e5f08f9f4aaf49ccf0db","datavalue":{"value":{"entity-type":"item","numeric-id":4836216,"id":"Q4836216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c8d039e03a19581e011b615af418d60510ffaf","datavalue":{"value":{"amount":"+0.7381264567375183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840970$74200F40-190C-4F20-AEA8-D1D55AFEFE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5f9dd1d90598c348ce25439728c39c9e294884","datavalue":{"value":{"entity-type":"item","numeric-id":3366596,"id":"Q3366596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfd37a011509e66c378ab4d04efcfae6ade0ff5","datavalue":{"value":{"amount":"+0.7370032072067261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840970$9EF0D98B-29F5-495D-A4D6-5A724C6AFE59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Many-valued points and equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Many-valued_points_and_equality"}}}}}