{"entities":{"Q894392":{"pageid":896240,"ns":120,"title":"Item:Q894392","lastrevid":57218040,"modified":"2026-03-27T12:24:44Z","type":"item","id":"Q894392","labels":{"en":{"language":"en","value":"Boolean lifting property for residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514864"}},"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":"Q894392$F03E04C5-FC14-4B65-9671-CF5515DA72E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f59d9b6320edc2258a18be784986dd4ea5b7d1","datavalue":{"value":{"text":"Boolean lifting property for residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894392$F2EF9E53-5A28-4268-955B-71E653987F68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fc17077e7f58765d73d8027c926220eb0746919","datavalue":{"value":"1330.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$FE86BE7D-4FDC-4ED0-AEE3-3FE50F1D45E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb0bfd6631a1549ad4fd4e04d60519169799c2","datavalue":{"value":{"entity-type":"item","numeric-id":377476,"id":"Q377476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$B3298B42-4FDE-438C-9BA3-8F76F8D6A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"691c2c9aecff6e608ae8ba22ef2bb376752447c4","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$33EDF392-1BA6-4524-B538-3211CA0131DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$EB91BF80-6174-4416-9010-59D496B3EE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894392$CC7A1BA6-E806-44CB-A27B-0259A806F78F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"778a3acfe18b90c0fe18491213bac8b9ae6670c4","datavalue":{"value":"https://arxiv.org/abs/1311.5135","type":"string"},"datatype":"url"},"type":"statement","id":"Q894392$EB962E62-2A58-4AE6-AFC4-F689529F6412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$4F0C6444-E370-4720-96AE-0C5ABDD609CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$4C6DCD34-342F-415D-94D1-2C860BEA2D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79a78238c76f94403322edd2697d2134a0bc693a","datavalue":{"value":"6514864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$831FA93E-6D2B-4563-8C7E-EC53CAC766EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e190cd3e108b7a358174540d7901fc662cd97fb","datavalue":{"value":"lifting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$CB9FAC09-788A-4457-A92B-874B2E315B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$2BA7AC7A-6AC1-4E73-919D-876F48B0D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20caa0bf4d5dc51f5b366026bb2fe0908d0432cf","datavalue":{"value":"Boolean center","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$3C951614-A011-4359-8016-5505E8CB3A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ece46aa4a2bb45d6f71a860e8a2934c3979f8bc","datavalue":{"value":"nilpotent element","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$BC3F4296-ABBE-4D61-B69A-70E795E3D679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e69bba13483a67dd340155ec27240e7fda7df4","datavalue":{"value":"maximal filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$DC287074-3EA5-4998-B385-6C152DFA3FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f69bd769de1028fdfad55b09808e50efe92ddde","datavalue":{"value":"radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$B64E3570-79E0-4BFE-9BC5-2BEEAA4515F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q894392$C8520B0E-3CBD-40CE-AE1C-766F76F94CD4","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":"Q894392$76FF4C78-B12F-4C66-97DF-5B9EAF91F623","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e104c77d3f8093e6a12d8c856f851a6692d8464","datavalue":{"value":"W2094886903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$6FFAFFB9-14C3-4F04-B8B7-A5467F44A488","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5339008c932712fc740990185d2aa7e9b66043f5","datavalue":{"value":{"entity-type":"item","numeric-id":3146318,"id":"Q3146318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$79F32EEE-81BF-484C-A588-C1615D883799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$BD0EC8C9-D85F-4A01-A549-6830FAEDB8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3c5b6ed56edd914ad31b161022c052eb6c9f71","datavalue":{"value":{"entity-type":"item","numeric-id":4304208,"id":"Q4304208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$1297FB66-7FF4-4D18-BDC3-2D1FE0058E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833759f995591399dfb01d2ffde67a6ac5a0eda2","datavalue":{"value":{"entity-type":"item","numeric-id":1252873,"id":"Q1252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$7D76B951-021B-43C2-90A4-C8C3BDC61B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418171778236c5778f25a9c2fc1c145fb4a0ad11","datavalue":{"value":{"entity-type":"item","numeric-id":2847859,"id":"Q2847859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$C12815DB-224B-408E-8A4E-FEFF8C94E003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b4c504bccf06e3da85ebf071dc4e6c0a6e8a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1589950,"id":"Q1589950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$8426F6F8-A33A-4CD7-85AD-BE83D8B58874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d2b74065b079c6942b763aaccdf4bd7806ee48","datavalue":{"value":{"entity-type":"item","numeric-id":4347372,"id":"Q4347372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$FD754639-CB62-4961-A91E-5EB6907DE6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf9ce1db60da09d025b28afa2e3ca32e4c55ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4893877,"id":"Q4893877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$D414DEC1-739C-491B-9226-863F3E0FDC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$C64EF2D7-8D5F-4A37-AD86-BC6A503641FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7453a4f9f240ad3616d760d3ddd3d65df23342e6","datavalue":{"value":{"entity-type":"item","numeric-id":992014,"id":"Q992014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$3837A816-FE6F-4FE9-8A02-2E054ED58057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d51e91008e604186625ce09bd060653249e096","datavalue":{"value":{"entity-type":"item","numeric-id":2546865,"id":"Q2546865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$CBBA5FB6-7661-4631-AE8C-E5560295915A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdfd467ef47604fb851dea6a35936a7323cb6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5190972,"id":"Q5190972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$5802FB45-2E59-439F-8B53-D427942CDF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d259c4890498572413b0285e5321278e514797","datavalue":{"value":{"entity-type":"item","numeric-id":4224184,"id":"Q4224184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$0C99D38B-D2A7-44AE-8E43-99BC8E105009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65c0f19875330e8d4780ff812c38f203172d282","datavalue":{"value":{"entity-type":"item","numeric-id":5389297,"id":"Q5389297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$8BC2D9F2-5BCA-434F-AFD9-3F55DBF182B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e08fcc7b7beaeca17bce8cab5d1c28ca4d168","datavalue":{"value":{"entity-type":"item","numeric-id":5389299,"id":"Q5389299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$A6480B4E-27FB-4C41-B773-8D207DFDF081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf84d2c14eaf7b0a1c66df0e7f00b978e1ca7db1","datavalue":{"value":{"entity-type":"item","numeric-id":3558372,"id":"Q3558372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$0C18B580-F266-4A90-94A0-AE82CFCCD490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8762f8458bd20a17be0dbc0963d9af484c5437fb","datavalue":{"value":{"entity-type":"item","numeric-id":5402954,"id":"Q5402954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$D453937C-31B2-48EE-AE05-9609F62E7C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3c16747fd70bf12a191d53fb2b576c6f72660e","datavalue":{"value":{"entity-type":"item","numeric-id":4122048,"id":"Q4122048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$B9D9EFF7-97E8-4A16-A9CB-C7D8F6BB029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4085f6699a1b2def9a4cb6b95833924de9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3519700,"id":"Q3519700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$FE325968-498F-4F30-B3FE-1B45DC76D530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894392$8A5291D1-EA4E-4977-B0CC-A411BC0A8C96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87bea00e7d92da29141c6b44896374e806198225","datavalue":{"value":"10.1007/S00500-014-1318-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894392$965AA7A3-1D37-41FE-BB94-CC50E6289C33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08c8ce338f56bb122bb6eda8b5965325abfced8","datavalue":{"value":{"entity-type":"item","numeric-id":1677645,"id":"Q1677645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2c54dff4b61e67bf5225c621f1609c25e689dc","datavalue":{"value":{"amount":"+0.8565903902053833","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":"Q894392$703CF0F2-906D-4ABD-9490-3FBBAB11A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad479642a82751efaabc4b9c94ea1e9e12175dae","datavalue":{"value":{"entity-type":"item","numeric-id":4963161,"id":"Q4963161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b133f9cc488c1a76d33fe7638d7d2163c64cf980","datavalue":{"value":{"amount":"+0.8431556820869446","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":"Q894392$EBD8A2F4-2B04-4A9C-A95E-7AE9BB440E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ce8f335173cbdb25a0b9a08910a3bdd7d52342","datavalue":{"value":{"entity-type":"item","numeric-id":4621189,"id":"Q4621189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af172605ee736a2aacb651f2d29ea8f7d4a4ff21","datavalue":{"value":{"amount":"+0.8339534997940063","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":"Q894392$3160536C-42C0-4120-B5D2-488EAD3FD7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9917eb7761568aeb89416f0608a33a826c0c0ca","datavalue":{"value":{"entity-type":"item","numeric-id":4578128,"id":"Q4578128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03d92cfff1ef0500deae486d1786023dab5346d","datavalue":{"value":{"amount":"+0.8321281671524048","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":"Q894392$3A752974-44FE-4B41-A9E2-D2F20A88129D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87da1c853570dfedbd899616cfcb60a4a2fe606","datavalue":{"value":{"entity-type":"item","numeric-id":1643940,"id":"Q1643940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5ec9840176383793efe74caf6e433defc11a8d","datavalue":{"value":{"amount":"+0.8149582147598267","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":"Q894392$A389CCAB-6727-4A94-819D-7578E84AC158","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:894392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:894392"}}}}}