{"entities":{"Q1583965":{"pageid":1594705,"ns":120,"title":"Item:Q1583965","lastrevid":73972272,"modified":"2026-04-14T17:54:38Z","type":"item","id":"Q1583965","labels":{"en":{"language":"en","value":"A note on the extension principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523560"}},"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":"Q1583965$DF0FF6C3-AA39-4DA1-86CD-5AF12BA6474B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdabbb1b5fea72a51d3a728bfe29afe9fb127719","datavalue":{"value":{"text":"A note on the extension principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583965$307B5E65-0E75-4379-97B5-B3492509D66B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca56e34a03970369ffddac2f2b1c4bb309160dc8","datavalue":{"value":"0965.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583965$F892E7AE-D240-49E5-B8D1-65EFDE47D7FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dedf5ac4920c49d1b1f5ba71ec39cf19a7fb7ed0","datavalue":{"value":{"entity-type":"item","numeric-id":192274,"id":"Q192274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$A1AD923A-FB04-4814-95F0-1A624CBB4D39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$0EC36E4A-262D-4F86-919B-BC5906FFB20D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583965$6BE367F1-3F41-409F-B0A1-B982B8F3D2DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"583740de1f111d6f749ed0b8b50a0f7f4285b48f","datavalue":{"value":"https://semanticscholar.org/paper/1bb69e6af5f6e837ed0927be337a9698cca20981","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583965$0D9289F4-984D-4AC4-90FB-815F4E547105","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7159b0f9eacd7056e00046d8a0a79b04cb8c2a2","datavalue":{"value":"Let \\(\\langle L,\\otimes,\\to\\rangle\\) be a complete residuated lattice, i.e., \\(L\\) is complete, \\(\\langle L,\\otimes\\rangle\\) is a commutative monoid (with the unit being the top element of \\(L\\)), and \\(\\otimes\\) and \\(\\to\\) satisfy the property: \\(x\\leq y\\to z\\) iff \\(x\\otimes y\\leq z\\). Given a map \\(f: X\\to Y\\) one has a powerset operator \\(f^\\rightarrow: L^X\\to L^Y\\) defined by \\(f^\\rightarrow(a)(y)= \\bigvee\\{a(x): f(x)= y\\}\\) for every \\(a\\in L^X\\) and \\(y\\in Y\\). A map \\(E_X= E: X\\times X\\to L\\) is called a similarity relation if \\(E\\) is symmetric, \\(E(x,x)= 1\\), and \\(E(x,y)\\otimes E(y,z)\\leq E(x,z)\\) for all \\(x,y,z\\in X\\). The author shows that \\(E_X(a,b)\\leq E_Y(f^\\rightarrow(a), f^\\rightarrow(b))\\) for all \\(a,b\\in L^X\\). A similar result arising from a map \\(f: X_1\\times\\cdots\\times X_n\\to Y\\) is also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583965$F25A6F2D-382A-43F0-9E4E-CECE809BB804","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf594a733f6f329ba0b0f821ced8f4f29d296121","datavalue":{"value":{"entity-type":"item","numeric-id":412004,"id":"Q412004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$BB876277-596E-4416-A9E4-6ED85304A3FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9038fbc6c9eb2d241eed759e44bf47d202533f7","datavalue":{"value":"03E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583965$F424710A-7CFE-434C-9986-5726573EC627","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c977aebbdf4f2677cc7e878d283002c37d25544f","datavalue":{"value":"1523560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583965$F8DECD9F-C342-4AD8-BB4F-CDB24D1A30EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188777fe07aea93356fc3c9a70e23029a4d931b5","datavalue":{"value":"extension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583965$7D962AAD-B8FA-4F38-9982-2680B0E38089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c5f585079e3d7c3ae2f79c8e89a52b221b8118","datavalue":{"value":"fuzzy set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583965$81787FA0-0343-4146-908B-5DE61FC8601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46d82d79b0d26704a3f86c3baaa34c2bc97f9f4f","datavalue":{"value":"similarity relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583965$D18A20A2-7C1E-49B9-BCEC-ADD7570225DD","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":"Q1583965$F67EF566-5037-4A38-B002-714D5F7C8DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2e034a4631ff8f966360f4cae42f8fddfd92f79","datavalue":{"value":"W2134965646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583965$78010329-430A-4A1D-8DBC-E774B6249FFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"687312d9a6a489bbaf88cc4786915b141058ac40","datavalue":{"value":{"entity-type":"item","numeric-id":4528039,"id":"Q4528039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$2AA90269-ED58-47AA-9E43-A2A42CFF840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348626b76337418115742bce9a0b318997421ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2523884,"id":"Q2523884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$7E3A17EC-0C21-49AB-8F25-45D1B53AC840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$FDBD6540-2BFF-43D0-B667-83AF1D172D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa99dcc26109a28df283661201563bf8c4b9642","datavalue":{"value":{"entity-type":"item","numeric-id":1922962,"id":"Q1922962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$18A6F981-DFD1-4C8D-B9A1-982E3E59FC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9e99c550acb73dd461febae9a3738f88082517","datavalue":{"value":{"entity-type":"item","numeric-id":1253933,"id":"Q1253933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583965$1B3486FA-0C8A-4984-A018-A64A62585CE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45bbc7e4067ec721ad8290518cbd1be153de8860","datavalue":{"value":"10.1006/JMAA.2000.6970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583965$3FD3376A-10A3-4936-8274-6185E49B88DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5288f3666be240c1e2ebe0d3464065f400cb34cd","datavalue":{"value":{"entity-type":"item","numeric-id":1092905,"id":"Q1092905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14d0dd51501d5c8789bd968fe196ed6f7b92589","datavalue":{"value":{"amount":"+0.9147786","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":"Q1583965$759225B3-022A-4A64-A0BA-E100920D445B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ef91cc9c72b3f5966b3ca3515f15e5279129c6","datavalue":{"value":{"entity-type":"item","numeric-id":1814182,"id":"Q1814182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2deeac0e0b556fc389c27ccf77f7e0400bfa454a","datavalue":{"value":{"amount":"+0.9064265","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":"Q1583965$0EA63FED-9FC7-4CC9-8DBB-49E8ABA5F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f536966ba53a95cb3ae1f0f99e378c950874ab0f","datavalue":{"value":{"entity-type":"item","numeric-id":1812810,"id":"Q1812810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb9a15a5b575b2676f9af50fef985095d9d0262","datavalue":{"value":{"amount":"+0.90503615","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":"Q1583965$15DA7CE7-FBF7-463F-84DB-433300C72029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48ddd48264d66514b550898520b685d1fbbcabe","datavalue":{"value":{"entity-type":"item","numeric-id":1822816,"id":"Q1822816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000df89be3c697aa0a76a91f89c42a1f8d5f9bb9","datavalue":{"value":{"amount":"+0.9045301","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":"Q1583965$889A50C6-19BE-4AA4-B5DC-5D4810282910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdaece97a7af066ccc3f63f4b6a3cc4161fda99","datavalue":{"value":{"entity-type":"item","numeric-id":2947246,"id":"Q2947246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e02135e9250d6f28cf00744b3c886a5fb58445","datavalue":{"value":{"amount":"+0.89547414","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":"Q1583965$88E89247-FB9D-4EEA-8D66-B97F77310700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da36290781a0f4b44ff0dd880fbd3b3a1ee49d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4868946,"id":"Q4868946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac831b0a5a52cd1f7b78a0cb99a13fcafc7ff85e","datavalue":{"value":{"amount":"+0.8931341","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":"Q1583965$61E16D6E-6037-4DF0-8E97-E4596DB45F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca2d5a98798e4286a0c65bb6ae190603b0cc18f","datavalue":{"value":{"entity-type":"item","numeric-id":3726297,"id":"Q3726297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49dbd55ab7a59f89082b35fd9c1ef01e32ed8db","datavalue":{"value":{"amount":"+0.8891019","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":"Q1583965$9D0329AF-D181-49F7-8D88-C23271724F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59053080959275acef06794e415ab357563623f3","datavalue":{"value":{"entity-type":"item","numeric-id":4271782,"id":"Q4271782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e68a2a3895a40a0f6b5bec1be223119232ebc6a","datavalue":{"value":{"amount":"+0.8877706","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":"Q1583965$6D0FBF27-31DE-4C85-99FD-A0C0179504D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f07c671a1d174aa3654d71d0c544f079e02d88","datavalue":{"value":{"entity-type":"item","numeric-id":1639950,"id":"Q1639950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629e291ddff350cca06b0cf04e80dee96c9a69c6","datavalue":{"value":{"amount":"+0.8811597","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":"Q1583965$FF1BA37D-F1A0-4E73-863E-FF71B14E5FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac27ff3b8f416de3fed97d1c19e077c7727ffa1","datavalue":{"value":{"entity-type":"item","numeric-id":615886,"id":"Q615886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8e49c9ec0236deb70e070e0c3df8313a1b4cc3","datavalue":{"value":{"amount":"+0.8746586","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":"Q1583965$639403FC-A40B-44C0-9063-5605C679FB2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the extension principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_extension_principle"}}}}}