{"entities":{"Q3166224":{"pageid":3176940,"ns":120,"title":"Item:Q3166224","lastrevid":45592594,"modified":"2025-12-10T23:34:31Z","type":"item","id":"Q3166224","labels":{"en":{"language":"en","value":"Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096739"}},"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":"Q3166224$9487A7DA-61CF-4CEA-8A83-7C8D4FB621E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33a009a5588a656057fe601abb82af118ef6e036","datavalue":{"value":{"text":"Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166224$8E3BA8C2-579D-44E6-8199-E09278CFE4A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ee611e4413dc47044ed357bfeeae4f5ccb8d342","datavalue":{"value":"1260.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$531AA87A-9149-4D2B-A0D4-154C0E6A8CE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82fb837618943b0ec9d156db34c7a51d0bd98ca7","datavalue":{"value":"10.2168/LMCS-8(4:3)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$C4D7298D-DECB-4861-BC26-C7658B874A7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166224$1C32E1EB-59D3-4D34-A49F-29F770019782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166224$6B9CD62D-6A54-4F82-9A24-05E7499C6D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166224$C7843CD2-EA0B-437B-976B-2460F2901C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49333e84b835a1566132140381f9e41e38acd7a0","datavalue":{"value":{"entity-type":"item","numeric-id":592096,"id":"Q592096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166224$9F14AB98-C0E1-4EAC-9F87-268416393213","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":"Q3166224$E6D00683-0174-4D13-9EB3-D31BA1056C7B","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":"Q3166224$459F91E3-61CD-4203-930E-0D36A9418378","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$B9190032-17C2-4EEA-BCC3-61E5EBECB63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$65B035C9-8A4E-4E68-87DA-66E04DC70A02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7d5886a5c408e0257d96881e0c5f3541fd8936","datavalue":{"value":"6096739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$B33838A1-808E-4ADA-875C-50CDD6459634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e02dcc8878af0b2a9706332c967e786b321934e","datavalue":{"value":"resource lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166224$D3C4C836-2740-44B7-BF0B-B70167B63E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166224$C2D98341-82E8-464C-AA07-4ED33786FFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166224$7FCFA9CA-AC55-4AD0-9CF8-45EC0430022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166224$B83FDACA-1632-4328-96DB-D0550F8E1C73","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":"Q3166224$6B6A9D93-B448-4789-8F81-7FF94D5AD68A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d31652143d657bfc1d911697ccfe3f445e63cd8","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(4:3)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166224$66D029B2-48F7-4640-B534-6DBF2261AA00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"422e29977bbc95f7c16b73e638b28f612d6913c8","datavalue":{"value":"W1973520397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166224$304AEE43-5CA4-4E68-B649-12DFD03FF90A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45a22afc5a7a77f2420be3307cf556f18dfbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60786759e1eb767fac24af7895b1f0dda02f898","datavalue":{"value":{"amount":"+0.9537746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$54CA9C2D-39AA-428D-9CB1-BD91D4C56DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12708bcb4342e6b0b166aa5bad99249043ce5524","datavalue":{"value":{"entity-type":"item","numeric-id":2915676,"id":"Q2915676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2867c27b176ed030a2f2f33206cb6405768462a","datavalue":{"value":{"amount":"+0.9082092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$E0B064C9-EEE8-4AC2-B548-32AF56846C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa6decd99dc7371790dca0be13cabfad7ab91fd","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06bd60254e0cf234bffce274aae36de7d53010af","datavalue":{"value":{"amount":"+0.8996687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$E410CBC0-378D-4FC3-A7BB-F29BF07C6D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991822040bb4d718814b5eab0aaf2072c7bda26d","datavalue":{"value":{"entity-type":"item","numeric-id":5144665,"id":"Q5144665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c1ab5d9e3b33ee452ae5520e8948adf0993ecf","datavalue":{"value":{"amount":"+0.8764634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$B506A333-A98B-4098-93FB-108E50C81ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0812c6adfb457a8fa97acd233144979042350d","datavalue":{"value":{"amount":"+0.87641823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$0C17EAD4-12CF-494F-8F29-6446BD9E291E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e33dbb9901a6fdb1dfa25bb5af1ce184da30aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4490718,"id":"Q4490718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1752321c78f68ce1161a740dd3b171a9001d9ad9","datavalue":{"value":{"amount":"+0.8753482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$71A2D06A-4A87-43D8-968E-2147843B5CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7331ae3e80c6ecf98c5b24197cf5cbf0bde4cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2474052,"id":"Q2474052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af2dc6f529cffeb57ddbad8e2b09c61db277b64","datavalue":{"value":{"amount":"+0.8734043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$9DF042E1-F754-42BA-AC1A-DFDEEF3608CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0078428b5e263c5d1c595011b892ba5a8b102a2","datavalue":{"value":{"amount":"+0.86891466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$00D5916D-0A6C-4759-A919-F756529AC1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d63d350f8cd41664dadc76367c176d12e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":1095880,"id":"Q1095880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40c4f6b54277e269f6f81e447329e1003725e3d6","datavalue":{"value":{"amount":"+0.8672378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166224$8DC60A1D-62F1-4665-A02A-E6CF4C829056","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3166224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3166224"}}}}}