{"entities":{"Q780122":{"pageid":781971,"ns":120,"title":"Item:Q780122","lastrevid":64285374,"modified":"2026-04-11T18:50:35Z","type":"item","id":"Q780122","labels":{"en":{"language":"en","value":"Left residuated operators induced by posets with a unary operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220620"}},"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":"Q780122$A9C8C505-19F0-41DF-9555-EAFB03028AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701a9791fc8aa06d78f74840cac11464d2795f9c","datavalue":{"value":{"text":"Left residuated operators induced by posets with a unary operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780122$4BE302A4-D26F-4DE9-844B-8998F0215E12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9647944525d05ab408ab406b628eae7f06b7d225","datavalue":{"value":"1446.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$8F33991A-518A-47BD-8068-33DB61EFBD2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$5433300C-700A-4F59-8A23-7C4383654EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$0ABE3658-9FAC-4792-AD40-EF9FEB9477E2","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":"Q780122$88DDD953-9565-4AE6-BFAF-1D6D1CED7947","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e350fc7c195d16f814c187ed9a5e8197e91de136","datavalue":{"value":{"time":"+2020-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780122$A335C8C0-D5A7-44B1-9F37-84F6CACB94A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e41f74464c45d67f19a309a73aa5f99268905a","datavalue":{"value":"https://arxiv.org/abs/1810.07214","type":"string"},"datatype":"url"},"type":"statement","id":"Q780122$DD1FC7C4-FDE9-48AB-93DA-E3C921BE5E7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$C2210A3D-EF7F-4A28-8C18-0A82208D7E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$14611CBF-A03A-42EC-A669-93F58125F535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$D0EB6308-A853-458D-801B-6690CBCC8854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$28FCD591-051F-4CEC-B4EC-5D46E9D2E08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$A2B66669-3796-4550-BB21-A7A8927F545A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dd2cb4e1f92af28c8b52a2515822b49e0d983b2","datavalue":{"value":"7220620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$C3DEADF4-EC65-4058-999E-E265080BCE0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9672698236f5d00e067f45ef74c8da523c55a0","datavalue":{"value":"operator residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$FA09D9E7-88D5-4B2A-8E88-D848510CADA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692f5b6e52e6931b92651e3178c9d5596164f42e","datavalue":{"value":"operator left adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$AE1ACB8F-0004-4596-8D59-7079C40E9928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb3fc0d1eaf5164d14f88155cffd6e520d9e6f4","datavalue":{"value":"Boolean poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$69ED0B8A-CA12-4F7E-8F97-28E9E028A33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53edac1536b530fa8307bddd19081333ccbac6f8","datavalue":{"value":"pseudo-Boolean poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$593BB7EA-D8C8-4B1D-A727-9F8D11328F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79345875bacb65514b374f0e768964da4b8d9de6","datavalue":{"value":"pseudo-orthomodular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$CA442025-C76E-429E-AFC1-CC89F23CF05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e09883ac27b8b1e3685447498fe909bf8d1ae10","datavalue":{"value":"generalized operator residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q780122$357E91F6-FF24-40BB-8782-73EC67C543ED","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":"Q780122$710CBAF4-F9E2-4974-9CFD-3E99AABFD76C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"932fa12c94c727fe69d23c034c69806fa12bb002","datavalue":{"value":"W2963407668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$62A030A0-63D2-4F19-9448-46AF0C92D5AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$76BB2335-A304-445C-8B44-1924AF0E2A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e480ef79890eba2bee2b5d3655306bd7f95e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2358204,"id":"Q2358204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$1F8C8027-A5FB-4846-A0D7-5AE8B21552BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75f0da0a20fa8ad88b0bdb0e13d2822167571f","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$B6E43163-3E9E-482F-9468-0FD55FFB588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b9f494df846b091a898855b5725fc66a6b849b","datavalue":{"value":{"entity-type":"item","numeric-id":4562781,"id":"Q4562781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$29EE8798-9821-4E75-8CAA-C312735D2D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8803366aafd6ad35cd94800335550897ffdb863a","datavalue":{"value":{"entity-type":"item","numeric-id":780267,"id":"Q780267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$CA3CEDB6-A69F-4C3A-A998-F6D7D26165E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa83c3e733620aadc8a83a35b0f06be1aa95cfef","datavalue":{"value":{"entity-type":"item","numeric-id":1121294,"id":"Q1121294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$2205AE3B-E0A0-4D35-9017-98C0B1773E35","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":"Q780122$C842F94A-9151-4C5C-937B-DC5C330D57C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1a88eef8ffaf0ff951924b2e957276bee71d6d","datavalue":{"value":{"entity-type":"item","numeric-id":514507,"id":"Q514507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$FDC821CD-334E-4C6F-B448-29B130CFD563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a45f09e41ba295ac4e71bf538abecba12f2834","datavalue":{"value":{"entity-type":"item","numeric-id":682648,"id":"Q682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$E2C69ED6-23F3-41F9-87D9-95065EB58A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$64D6DAD0-EB87-4E22-8C96-B21DA4FC32AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"04b730b6d1720bafdf96fc22f9a51ef3f3d06f8d","datavalue":{"value":"Q127928115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$5287D460-1D9B-4F0D-AB97-AEDFD19E00D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94804b065a715e7e7cdd59f10c721980f2a2b11a","datavalue":{"value":"10.1007/S00500-019-04028-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780122$41637213-68F7-4515-A831-88C885A086CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9a0a3ec49e1036aaf82951ef29bb204704803c","datavalue":{"value":{"entity-type":"item","numeric-id":4562781,"id":"Q4562781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ad6fa1e6ad3407f145149c47a1ebe26f9eebbf","datavalue":{"value":{"amount":"+0.8694763779640198","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":"Q780122$24BF3C53-3080-4392-9786-E6825F7ED73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3045dc6722caed98a030fef0cebbb2fbedab2c55","datavalue":{"value":{"entity-type":"item","numeric-id":780267,"id":"Q780267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5189624879c69fe58b345da2c6cb45ef07f1e91d","datavalue":{"value":{"amount":"+0.7953439354896545","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":"Q780122$798FA71C-D308-4ADC-BDBD-887DE4B10841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea70fa64046b8a48f1e1dae24d5ddbd6d5c055f","datavalue":{"value":{"entity-type":"item","numeric-id":2122477,"id":"Q2122477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7870132ee45ac4623343f0b6f0add96be6fcd5b7","datavalue":{"value":{"amount":"+0.7782360315322876","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":"Q780122$0FE84E28-B578-40D6-95DE-C61DB2CB1015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747ed6afcac902b5af01aae9b2a2975ba5c18e42","datavalue":{"value":{"entity-type":"item","numeric-id":4631118,"id":"Q4631118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7089ca8c7ac89abb50dde5ef7c2dddf376273877","datavalue":{"value":{"amount":"+0.7720056772232056","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":"Q780122$F22A2DAC-C5A0-4793-99F2-D0093EC9695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf286c39042262ae640d3ffd6860b9b03f153f48","datavalue":{"value":{"entity-type":"item","numeric-id":5179144,"id":"Q5179144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0f7126c7c1b0686cde28fac4fea14fd3aca904","datavalue":{"value":{"amount":"+0.7698107361793518","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":"Q780122$E51C4B5F-67BD-4E24-9CBD-9A5BB274C97B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780122$2F752D0B-EB30-4496-AE33-B22DF5833996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left residuated operators induced by posets with a unary operation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_residuated_operators_induced_by_posets_with_a_unary_operation"}}}}}