{"entities":{"Q1797800":{"pageid":1808542,"ns":120,"title":"Item:Q1797800","lastrevid":72620430,"modified":"2026-04-14T06:07:46Z","type":"item","id":"Q1797800","labels":{"en":{"language":"en","value":"A representation of residuated lattices satisfying the double negation law"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6960161"}},"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":"Q1797800$EE9364E0-CF92-4151-A87E-3D03C5F0BE99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"886c1ad118f9f466352016af3d61f8defca6b856","datavalue":{"value":{"text":"A representation of residuated lattices satisfying the double negation law","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1797800$53B00426-07B2-4C0C-A0D1-A1433C3C79E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09060e05074344ca865fb40932fea8aa4bfb726c","datavalue":{"value":"1398.03213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797800$81171F1C-9F75-42D7-A59A-B4F0D6650B16","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":"Q1797800$AF0EBA3E-80C3-46EA-A9D8-3BA96CED97BD","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":"Q1797800$B44B73F8-62B0-4861-8912-31F6C6B17461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc1ec03d92652744a67d558a8c7ef5930869e38","datavalue":{"value":{"time":"+2018-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1797800$8BCF18FC-BC31-4059-932B-050ED511BB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797800$C3CF7B41-1754-4051-8179-6DB4A44FB52D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"499890695967773161ebe5f2a6c26bc1695d871e","datavalue":{"value":"6960161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797800$BDC8427F-AADF-48B0-BEA3-3D77FF73C06A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797800$F58B2C45-7FEE-4EA0-9AC7-8B5F5E492CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a861071c8d321f0d594e00d910275224375efde","datavalue":{"value":"double negation law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797800$D9B510F6-FCA7-47B6-9E9B-B0B31723572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20611a722c01108667a19bc8d985e35de09fbbcf","datavalue":{"value":"idempotent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797800$8BC2B87B-D772-464C-986C-8FFE0BD30AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c84a37522c4b2348089fa82eb7fe34d36063351","datavalue":{"value":"involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1797800$05AB7808-6E4C-4971-B1C3-D835C4654915","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":"Q1797800$EF79F23C-9B84-4F71-8C8D-9D488C7E1319","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd3def04618ef6c24d3a65680dafc46fe1303844","datavalue":{"value":"https://doi.org/10.1007/s00500-017-2673-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1797800$FF74131D-16F6-4CE2-87BE-823D1E55D4D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93d591e4e12a544bc1ccfa630e31079bfb9acc3f","datavalue":{"value":"W2624524300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797800$B1612256-1B21-4840-8E16-5F7BFAFBA229","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91692398d163b3ed575219d8b28591928ef30d76","datavalue":{"value":{"entity-type":"item","numeric-id":1943685,"id":"Q1943685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$D07E56AF-6EE5-4960-BE64-204B8CE79AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514ba7fc9fe0484bd56cc1d51c28cae5a266331","datavalue":{"value":{"entity-type":"item","numeric-id":4644568,"id":"Q4644568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$97979EE7-8F6C-4186-A38D-7C4703B51138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$11DE7B97-6D2F-4921-95BD-CD331CF0A197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7279dca5037480f88a2d513cbb7c55baae5b76","datavalue":{"value":{"entity-type":"item","numeric-id":2834199,"id":"Q2834199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$245BC60A-AC8E-42D9-BDC4-C34C156ED09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a7cf86178241025673175e2fa6534f03cb59cc","datavalue":{"value":{"entity-type":"item","numeric-id":5350062,"id":"Q5350062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$E2D5191C-B33C-40C4-B920-F2AE59374537","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":"Q1797800$409D2A46-9952-42B9-9092-7728D87E3FD7","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":"Q1797800$3DDF8182-6CBB-484D-845C-70571639A47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a63f680d76dad7cb9a38c192081e6821432d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4465174,"id":"Q4465174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$3B52B913-4F49-481F-8313-80E6AC6B207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297096533e5ab88f17fd5345d80476a13e267727","datavalue":{"value":{"entity-type":"item","numeric-id":4023553,"id":"Q4023553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$29CDAE28-030F-41D6-81B1-9A02C19099A0","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":"Q1797800$C5F3285F-BAB9-49BB-A9CB-F6889ED516B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$B50D2484-26E3-4E3B-8BBF-8D752D471898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bccbae2122d772ac2883b24a834b333ea6d8a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2440566,"id":"Q2440566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1797800$026521A1-47C2-4486-9C36-5FA6DC5779D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a36a421c2bab464ccbb993217dd2a8f57a92615b","datavalue":{"value":"10.1007/S00500-017-2673-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1797800$0DFA3D80-063C-4150-B4ED-C49B0A174332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ff786d124ff191cbd3d624b2836a296a411d23","datavalue":{"value":{"entity-type":"item","numeric-id":5136443,"id":"Q5136443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3f31027981b022c21f602cec7088282f0bdd3f","datavalue":{"value":{"amount":"+0.7906568050384521","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":"Q1797800$6C735608-E216-4050-BDEF-7C37E8679893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a23105aa0a80c7f6a10ec34e9a725512bfc9a0","datavalue":{"value":{"entity-type":"item","numeric-id":3181185,"id":"Q3181185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db63aaaf954ca2d8fcfa92b03a3ffc9dd86d413","datavalue":{"value":{"amount":"+0.7799444794654846","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":"Q1797800$BA3A3634-4A8F-4F7A-86D5-F70821992A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa56296b992febd53369f67c9d973b73ade4e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3639881,"id":"Q3639881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2c1ac9183e28ffc37b048678e534ad3fa95f84","datavalue":{"value":{"amount":"+0.7563503980636597","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":"Q1797800$CCEEC04A-66E8-47B2-A719-0BE1A5EAF200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95359fe0c61e10100162bab6e3159a3c73ec4deb","datavalue":{"value":{"entity-type":"item","numeric-id":2888151,"id":"Q2888151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b25ee050f736d7456ec355f76d6bf247e8659e3","datavalue":{"value":{"amount":"+0.7336123585700989","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":"Q1797800$95CACEBA-5139-422C-8744-D0B42F62E47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937b93b076862a61a35d89eccdd39c5d6a8d6343","datavalue":{"value":{"entity-type":"item","numeric-id":466876,"id":"Q466876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cab03964fa683891808ab1d13d3e7a710de0b2","datavalue":{"value":{"amount":"+0.7333487272262573","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":"Q1797800$1D5DCA51-5D33-4D93-A480-4C00BACC5334","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A representation of residuated lattices satisfying the double negation law","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_representation_of_residuated_lattices_satisfying_the_double_negation_law"}}}}}