{"entities":{"Q1771949":{"pageid":1782691,"ns":120,"title":"Item:Q1771949","lastrevid":69291264,"modified":"2026-04-13T06:01:33Z","type":"item","id":"Q1771949","labels":{"en":{"language":"en","value":"The finite embeddability property for residuated lattices, pocrims and BCK-algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2158809"}},"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":"Q1771949$6A0DF2BD-6C84-4E4D-A07E-AB8214DCF387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6200fd5e5e55090c130bdc4ef37eb2183ac37892","datavalue":{"value":{"text":"The finite embeddability property for residuated lattices, pocrims and BCK-algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771949$5494AB9D-5688-443F-B6A7-E3E471F196C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47d0453b1f567bd27a2f4757b54d53bf4a016846","datavalue":{"value":"1058.06016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$4FDEB444-F879-4B37-9152-D5C39E38AC8B","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":"Q1771949$FA41E487-1568-4C09-94B1-B3B9DDB69C3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb70300f99f400e55c13fd1158ba931b60602038","datavalue":{"value":{"time":"+2005-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1771949$AAD83713-00B3-48C3-B723-0197AA7FDDB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$A5DEF7CD-1EAE-401C-B93B-652595698121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$42A9A9CF-9BF4-460B-B26B-7F4914369963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$DBFB501D-C4C3-4278-874C-61F465BE567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$77061B33-12B1-4650-97DB-8F157189B008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$008740DE-3306-49E2-86B3-14DFF3953301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$B328DF9A-39C1-4A29-A662-F94D70EC682C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$BC04FBBF-41C9-4A54-B8D2-CA0602E49A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$E27DE728-7FE2-4304-9633-19F5AAE7695B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ca922e6ab87807b7720c3cb304d3e3a5842cc45","datavalue":{"value":"2158809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$6552BA69-4444-4FB7-ABDB-B2DDAB0CA7A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771949$1EFCAB2D-704F-4FCF-BAA2-5536E730D160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771949$882825D6-2179-4B26-A18E-80202D80D5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771949$F7879F8D-072A-4A81-8BCB-FEE4009DDA7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771949$7CC23E41-44A7-48A8-8838-80D5B2EEB069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771949$DB9A0BF6-9FD3-43FC-AF3F-D0EBF79539E6","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":"Q1771949$D77B2B7E-7D18-461F-A486-2B786625A9DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d6c40f540e34fec677310dbe63cd1ff1ae00562","datavalue":{"value":"https://doi.org/10.1007/s000120200000","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771949$8FF198C9-FF15-45DF-8BD3-84F205D80CBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27556b8d24ce1defb072c14a9a7fbb8d8f0336e1","datavalue":{"value":"W2003364215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$3F154F2F-98DE-4B39-B29F-6C04F8EABB1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41d1fbfd161d6296c0f10911793fd7bad428f5a3","datavalue":{"value":"10.1007/S000120200000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771949$249C153E-49D6-4780-89A5-2FBFEE740BF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b817dd6c4edd45be1c6730fb7170dbd8a26f27a","datavalue":{"value":{"entity-type":"item","numeric-id":2752417,"id":"Q2752417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca25618a05f8882f811418de4800735d1373142","datavalue":{"value":{"amount":"+0.9906945","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":"Q1771949$EE294A3C-09BA-4A0E-963C-E204E4492ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3eed53a5699aa5e087612bf42bac76dc8dfa06b","datavalue":{"value":{"entity-type":"item","numeric-id":993327,"id":"Q993327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8ef7150f0f3055ad8310572c194a5ff20cfbf5","datavalue":{"value":{"amount":"+0.9175814","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":"Q1771949$167094B4-2DC7-4677-98E0-A43DA1066450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31df8d4aeeffbf11d36c4116defaf3568e2cf56","datavalue":{"value":{"entity-type":"item","numeric-id":2510712,"id":"Q2510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263bc927ffd96ad61699974dbebc36261a4c1f75","datavalue":{"value":{"amount":"+0.8965143","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":"Q1771949$F948051B-7FB5-4B9A-AA16-20CA7739A7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4a1a130827ca173ce1d0ecf4f146f41ec2c139","datavalue":{"value":{"entity-type":"item","numeric-id":5701829,"id":"Q5701829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a24b5a6b63815e4b6c2c0c72c31eb375ad91b9","datavalue":{"value":{"amount":"+0.89022356","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":"Q1771949$78B0A1D2-5E71-43B9-8C6C-E66AF04FFA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c64cbf2ba807127745e342414aa40e5909a92a2","datavalue":{"value":{"entity-type":"item","numeric-id":2466509,"id":"Q2466509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba4a358cc5abcd39b90da07cc1f2bd7ebfc6882","datavalue":{"value":{"amount":"+0.8864855","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":"Q1771949$478B4C6F-1E86-4A51-AE9E-408A87B60D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c44498a5b46914ddaf12a95212465fa818f95e","datavalue":{"value":{"entity-type":"item","numeric-id":3505075,"id":"Q3505075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d69524af8b9be347c35359900069d9d98660e6","datavalue":{"value":{"amount":"+0.8863874","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":"Q1771949$3FBA7A85-1526-41A6-91C6-8D751192DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5044c5636ed689c59048b75511787f87317cba9","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8335614162d86e094684ea34372cedfea55ca501","datavalue":{"value":{"amount":"+0.8828912","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":"Q1771949$07603BAA-93CE-4BA4-A019-C6C428A30C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510127c014c24c05d427aaee9d2c7ed1c5119e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3701425,"id":"Q3701425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c3715e03d5fdf731591991e1fd39e5f4175fab","datavalue":{"value":{"amount":"+0.8813796","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":"Q1771949$93BA8A07-7A12-4E61-A872-8B9F2E0F1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d825c4e0faffb0a04df2b27e3d42aa50990ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1402589,"id":"Q1402589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81229a13b2a8f730d5b240624587cffc98a8d147","datavalue":{"value":{"amount":"+0.87838006","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":"Q1771949$AEFF8090-F6CC-4759-8013-DF726F3FEC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2836b4ed6af4484f2a632b9e27ea7a605dc593","datavalue":{"value":{"entity-type":"item","numeric-id":2791223,"id":"Q2791223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d50c93fbb7e24411bc5c77808b54905f5c4de1d","datavalue":{"value":{"amount":"+0.8783318","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":"Q1771949$88AC363B-1922-4C5A-B9F0-BA7C7DA7FE4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite embeddability property for residuated lattices, pocrims and BCK-algebras.","badges":[]}}}}}