{"entities":{"Q3166223":{"pageid":3176939,"ns":120,"title":"Item:Q3166223","lastrevid":58133646,"modified":"2026-04-03T22:56:04Z","type":"item","id":"Q3166223","labels":{"en":{"language":"en","value":"Linear-use CPS translations in the enriched effect calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096738"}},"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":"Q3166223$54F9BEE3-9182-4725-8488-0FBF874F6052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b8fb3b9d54cb624a8e2ec44af8bcfd9b55274f6","datavalue":{"value":{"text":"Linear-use CPS translations in the Enriched Effect Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166223$397115F0-8613-4439-A584-783BB5FC0615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d19e21c5d5fb508a17166946409c5fa3226246","datavalue":{"value":"1273.03164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$BFF34C1C-8AF9-4A7F-BC8B-77C933B7C40B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"409107de2d3f05b7bee0b2217af83789cebd73ba","datavalue":{"value":"10.2168/LMCS-8(4:2)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$62D440C0-1A93-4C45-AF36-949797C07278","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5279cbeefc0fb4fb3a12549a3abee58ab1133858","datavalue":{"value":{"entity-type":"item","numeric-id":456837,"id":"Q456837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166223$4D1F77E8-802D-4869-B0A5-07E1299BE5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166223$4CC71314-C303-4A6D-88C8-6A383BBD9525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166223$079C8805-EFBE-4C2D-9B7D-6501628B1F00","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":"Q3166223$5457CCCD-6179-4F4B-AD94-32AB7FD2FDA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-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":"Q3166223$F3B15908-21EC-4CAF-9983-44766CAD3903","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73d9b2398ce511f057f2bf227ebf1df15377e158","datavalue":{"value":"https://arxiv.org/abs/1209.4268","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166223$100C93AF-BB0F-4B10-9E0F-68AB39CC08BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$C0E712BD-1DD8-485E-B484-D50DC8D601CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$8CA809C1-83EC-4A3E-B7A4-670E2FA3F68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$E25408B5-FD53-4919-812C-48B1B45EEC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$5E985AED-A23B-4B8E-80DF-45B9DF3ECAB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b15bc3365a924b38cc21474e4f02ff8a1b61d06","datavalue":{"value":"6096738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$7ED93CB8-EB3D-47D2-9C7C-F4AE1DB0413A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae7eefe0d7f4f9af8a607f596da8cd25e9db538","datavalue":{"value":"effect calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166223$F5E2C48C-96A0-49A2-9E94-A652D78DCCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1831de850e701f6ab12311b52faacf100f7157","datavalue":{"value":"computational metalanguage","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166223$04AAC5CA-7BD8-4375-89B5-7A278A235F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c81a3b20596808c513d53f26f7a53abae59141a","datavalue":{"value":"continuation-passing-style translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166223$4EC59184-B7EE-4D30-BE7B-85161AECAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166223$44C6401C-FDF3-49B3-81EE-F2BF4AF388F2","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":"Q3166223$80F7AD6A-3811-4B28-84F8-81104E0B98BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"febb5bc1c65f048cb8738c66c38b09ab31077c05","datavalue":{"value":"W2014379452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166223$BF0A474A-D420-472B-BCDA-32F315163708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8367100144a950e463989395445e3bd96528e961","datavalue":{"value":{"entity-type":"item","numeric-id":3557841,"id":"Q3557841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cc0c0bd1fbeca607cda9b661305351fde6373e","datavalue":{"value":{"amount":"+0.9342800378799438","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":"Q3166223$259C0079-D60A-4D62-9C0C-77C5B8C2148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80de7fee97e637dcded7e37cd7e01b70d16baabf","datavalue":{"value":{"amount":"+0.8368251323699951","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":"Q3166223$C4496BD0-BC6F-45BC-9785-876625173504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea79bc2622693809ae52968ab411a2ff3d33530","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccab8a92d324d148b0e6d9db0136cc34faa5b6c","datavalue":{"value":{"amount":"+0.8307164311408997","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":"Q3166223$682388B7-E336-48BE-A883-A28E847070AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ba115be67b8e43217b3eea9ff84ee0ef03d35a","datavalue":{"value":{"entity-type":"item","numeric-id":4409158,"id":"Q4409158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fdec1aa0819270c0651b600b936694e8549b92","datavalue":{"value":{"amount":"+0.827111542224884","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":"Q3166223$1DBD7E74-A976-4056-A476-FC203BAFD662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee4196d905c2f20c2eff66ae0d85c3df629d148","datavalue":{"value":{"entity-type":"item","numeric-id":5408192,"id":"Q5408192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f3f28adc4b221381820a283663fddc592b3bf3","datavalue":{"value":{"amount":"+0.7879251837730408","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":"Q3166223$25DFC601-A61D-42AA-8043-6322DAB7B1A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166223"}}}}}