{"entities":{"Q2856480":{"pageid":2867200,"ns":120,"title":"Item:Q2856480","lastrevid":58030812,"modified":"2026-04-03T12:50:24Z","type":"item","id":"Q2856480","labels":{"en":{"language":"en","value":"Relation lifting, with an application to the many-valued cover modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220593"}},"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":"Q2856480$1B8BDC89-2C59-473D-98CF-06E180B240FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"160db942b1afe2236887c3920f8271050eabbeed","datavalue":{"value":{"text":"Relation lifting, with an application to the many-valued cover modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856480$5231542B-5BCB-4A34-9013-A48D6C370F5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b5def5ca171dff56ceaf7ccd113806a421585c","datavalue":{"value":"1287.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$E06ED711-EA89-428B-AFBF-CC97C3CF1C8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"244be82a6ba7b29e2c5a829bdc41c8dba2b29025","datavalue":{"value":"10.2168/LMCS-9(4:8)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$B3BF8319-F57D-4B7B-BEED-AADA845861ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac19c6003a814839a3f511f3b429af9fdef7758","datavalue":{"value":{"entity-type":"item","numeric-id":402118,"id":"Q402118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856480$E965B5F9-C9B5-4BE7-9A8F-1F9F0422C247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e59cf96319a2d9edcb34f80de5d6e5dd10c4b763","datavalue":{"value":{"entity-type":"item","numeric-id":523131,"id":"Q523131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856480$40D45828-E705-4E7A-AEA1-5FAD235728DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856480$1A1FCF35-907E-4925-B97C-FC1FA332CE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856480$091CA720-F499-4D9C-A5B5-0FEA57A0A07E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856480$DB301CFB-8CB9-4F58-8039-D59BB531BAB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13d892113b757c853e0bc4f886dd8886203ae619","datavalue":{"value":{"time":"+2013-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856480$818F3FFB-8000-44C3-9775-D38276DD94E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c560985dd1b2548da19bee541adcf724d206958","datavalue":{"value":"https://arxiv.org/abs/1307.4682","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856480$85A3FFD9-9E42-45F3-9566-35878C0E6E2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$B5A9CA93-51A2-42C7-BDC8-889604833DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$7DC82E03-E4A8-44F0-92B5-60B4BA2AD0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$B8177BCB-9E88-4BF5-BED4-4ACE7EE70765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$C2919B2E-9922-452F-82FA-09FB29306CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$9E917480-B2FA-48D6-B47B-0F5E935FE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$E96FBF76-F5CD-4075-A688-9997C6F686EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faea9f02324ab7f6b8982ce1450a8fce17a74734","datavalue":{"value":"6220593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$369CFE89-0413-415B-A719-C78D1DBC2CCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b116062633f8e94b73ced1384cff2c75544e02","datavalue":{"value":"relation lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$85A78C17-FA1E-4E46-A1A1-8A94A65FC659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$E21A5372-2CBB-4859-A5D2-4E13CBE19D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42033d06e75eda09c8606a2627d6a94c0bdfd407","datavalue":{"value":"exact square","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$500D5D83-5609-4B75-B919-625A5616D612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a77021b504e2d49176001a7202b1e0ff615e68","datavalue":{"value":"enriched categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$7F89737E-EA92-4A7E-99C3-892334B92367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf98130e96224d84c81067293b839d231839248","datavalue":{"value":"commutative quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$ABA35E4B-F7B5-4664-981D-C01698E8CFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$A1366CA1-0E42-4195-800D-2DA6CEB3B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$71E36DA1-595D-4595-A825-3BD7DDCFBAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1d50420b4855c6eb3bd0722fb85e5ba8fd838","datavalue":{"value":"cover modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856480$A73BB25E-294E-48E1-812A-190BCFBB4F41","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":"Q2856480$F10B442F-6B32-4F0C-90C0-DF1572CC3EAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"654bd153946dde9ab11df2d267282ae1aa360ae4","datavalue":{"value":"W2027667533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856480$A7BF1589-748E-4AFC-B92C-AD6AE6E0556F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c01c679692f5cda793b787521f8e35a00c8b236","datavalue":{"value":{"entity-type":"item","numeric-id":2848940,"id":"Q2848940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45e2388c1370ae01929d21d7a75f220b10e5a85","datavalue":{"value":{"amount":"+0.8514021039009094","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":"Q2856480$E49856D9-ED3A-4D5E-BDCA-D621AA9FF2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f06d0baa48aa7fbf082f0e404915b263b1cf745","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d898d7bfbf91500faed7d77249f1fcb682623e","datavalue":{"value":{"amount":"+0.836178719997406","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":"Q2856480$7DBAF212-06E4-4F4D-8CE4-A7C676130B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f54e21af719827e78e8714b13e996fc0f2767da","datavalue":{"value":{"entity-type":"item","numeric-id":3090865,"id":"Q3090865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b60c339119a4cba1464997de7f06ba40677715","datavalue":{"value":{"amount":"+0.8076830506324768","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":"Q2856480$697C73BE-817B-4733-86FA-4DF7167AA657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3adfbe0b27b5b469893f1f28c42620e9d066cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50cde81b5ff8dde35711817e203f5bb5c6a91835","datavalue":{"value":{"amount":"+0.7923738360404968","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":"Q2856480$1BF0B6BF-AA98-471E-88BF-86137D85D966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba769d7962627637b9e7e4ae7b50320932dd495e","datavalue":{"value":{"entity-type":"item","numeric-id":5492825,"id":"Q5492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac6792d401acfc1ff5f2aa7e182b7de49f0d059","datavalue":{"value":{"amount":"+0.7914257049560547","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":"Q2856480$49972968-5BD6-4B14-828D-3F96D90F4AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856480"}}}}}