{"entities":{"Q5351981":{"pageid":7381555,"ns":120,"title":"Item:Q5351981","lastrevid":100961534,"modified":"2026-06-05T23:33:20Z","type":"item","id":"Q5351981","labels":{"en":{"language":"en","value":"Modelling coeffects in the relational semantics of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767619"}},"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":"Q5351981$69B67F83-1429-4949-8C7B-D9A3D5927448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4054578ae1c1028939ac8ab7a3e8d72660217e2e","datavalue":{"value":"1373.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$570D0B76-7131-45F1-BF99-8D2FD4B725A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7a08931572d51dca96859814cc7a2c7d9c203d","datavalue":{"value":{"entity-type":"item","numeric-id":2804202,"id":"Q2804202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351981$4A25D6AF-9A27-47AD-BD1B-166BB3381CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351981$9C2ACAE0-22E5-4A15-A0F6-D713FE7BD852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351981$5BA1231C-CF52-4AD6-93CC-D7D18EBF2572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$15F0DA7B-349F-44DF-93FE-EDE5B359CBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$1C8CEA20-7CAD-4D70-92AC-EC7E64A81E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$ED61EB59-22BD-4ADF-B108-F845129F9695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$87B1CFB4-E0EC-4D87-A424-0BFAA6B18B93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cc615264eb41f265faa2b584adc74b46f363915","datavalue":{"value":"6767619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$035BD746-05AF-44CD-9760-430AB1C7962F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351981$7190847C-87F9-40C4-9383-240FE523ECA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97048b76ba7c8b142030075ad403fd2f05a78ddc","datavalue":{"value":"bounded linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351981$AAF6BEE2-5E04-4DED-B674-82B506953A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351981$C9E2D444-4776-42E6-AF75-A953E96B1616","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":"Q5351981$B8027BE1-1193-4D4D-BEA8-EEB10ECD097A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4763c25d1f0527e4bc6a659eb849a0553099a4c9","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2015/5438/pdf/35.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351981$B9A00937-A03B-43BE-8121-6F2218CB229B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dca0a61156168a03ef08c6a76143922aec5ae26e","datavalue":{"value":"W2314990538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$D537B21E-F92D-442C-A54B-249460BFD86F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d5874a9045a9d786c4b6bf63962e723cc03eac0","datavalue":{"value":{"text":"Modelling Coeffects in the Relational Semantics of Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351981$387BF3B5-84B8-4EE5-9626-90DB1254DCD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fa3c1fcfee39eec8e0ab5ccd5e1bda9e65b04ca","datavalue":{"value":"10.4230/LIPICS.CSL.2015.567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351981$B42AC2B3-86B2-4FA8-B540-972BB3803FD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b6f096ab20c19989c32a439e840d463f9eea4f","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a129f686e86bcf4e0cadf1013c4e587fc6e71c","datavalue":{"value":{"amount":"+0.7944855093955994","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":"Q5351981$723178FA-22EF-4FD7-9C0F-FECBE6542A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbc147ff58141791856c42c017141265cfb2dd","datavalue":{"value":{"entity-type":"item","numeric-id":1781095,"id":"Q1781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f1d65d5d3f0f2badf158958f6ac9c9a817c1dd","datavalue":{"value":{"amount":"+0.7366069555282593","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":"Q5351981$75C8D285-D3A3-4317-A41B-952A77CDF265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7d9a7f5e2e335f80d9eb52c2a55457f11fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2874885,"id":"Q2874885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285031e071a832366876260899c0c944e315f7d4","datavalue":{"value":{"amount":"+0.7265262603759766","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":"Q5351981$2AA5F580-627D-4386-B6EA-7CC3EB9CE36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98346b11a4d982c75f39933a8a1f6f6adcc3735","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576fd499e2922af77b2a0e96bdade1f680e1b32b","datavalue":{"value":{"amount":"+0.7239246368408203","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":"Q5351981$33D0320F-4469-4954-9DEA-2F13701CF74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2764cdaeadbdaeff09cd28d2c1c27356dd0e700e","datavalue":{"value":{"entity-type":"item","numeric-id":2921113,"id":"Q2921113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4e08e1f703417b08360dc2f5f3aee4cb322fc94","datavalue":{"value":{"amount":"+0.7222621440887451","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":"Q5351981$093CE00F-1ECC-4774-8259-F14961F67FB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling coeffects in the relational semantics of linear logic","badges":[]}}}}}