{"entities":{"Q4635798":{"pageid":6665379,"ns":120,"title":"Item:Q4635798","lastrevid":53070779,"modified":"2026-01-24T04:11:11Z","type":"item","id":"Q4635798","labels":{"en":{"language":"en","value":"Polarised intermediate representation of lambda calculus with sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863383"}},"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":"Q4635798$1ACF75AA-D3E2-44BA-878D-9A3965B9969C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"751781444558adb6b5d90f6654efe1851e23a892","datavalue":{"value":{"text":"Polarised Intermediate Representation of Lambda Calculus with Sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635798$E09100C6-93B2-4E81-B15A-5D3B6D085C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00bfd558197c9c46d766abb276ed15c6478fefb4","datavalue":{"value":"1394.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635798$A8C83A2E-F702-4450-AAD6-44DBE23FED67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"766b009aab30e0b1c1949b5f02355874a5aa6649","datavalue":{"value":"10.1109/LICS.2015.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635798$DC8D6DC6-7CB2-4934-B819-F7A7046162BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69f47f99d084a0cb88dd9b6a1a09ca8176e924a","datavalue":{"value":{"entity-type":"item","numeric-id":2828242,"id":"Q2828242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635798$C7C98296-E178-4090-8492-6F43588D0FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d4f40940ae63e936c21b3ba75f359788c389e1","datavalue":{"value":{"entity-type":"item","numeric-id":1652973,"id":"Q1652973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635798$ADF173A5-0EB6-4AE0-8D07-FBDABAB6D310","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635798$9F396D87-0BB6-4DC4-9CAC-70665CBCE832","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635798$8D187C07-A4E7-4F25-9460-F0017B34089A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635798$28EBA2B2-7FE9-4660-898C-DD00266AB8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635798$41338812-342D-43E1-8D37-19A974D70521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bea7abad80abfd5e428122e59d671c5cf0b4f6e4","datavalue":{"value":"6863383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635798$10291E34-9097-46F2-B0D2-5045C78DCBA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635798$4B8F19FA-08C4-4E54-8CD4-1BA033228557","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":"Q4635798$59547D84-FECE-45F8-8E57-FF659CA55156","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64dbf5b58c942073400bfa1f887eeb83ebba948d","datavalue":{"value":{"entity-type":"item","numeric-id":1744450,"id":"Q1744450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f85a9592322e7391d094f4333513c4bdb80d8f0","datavalue":{"value":{"amount":"+0.7851500511169434","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":"Q4635798$0057BB4C-4064-4FB4-909C-B2A82BF80FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b86fc5e315f3c929a43bda53b8eb60a63d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092740435e7a7e0eb025889265a04d0f0a6d6c95","datavalue":{"value":{"amount":"+0.7523019313812256","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":"Q4635798$279EA30F-E575-4685-AFF7-4C5B5BC265E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf019fe8bdfb83e5c4d6e25bd18014512b360e04","datavalue":{"value":{"entity-type":"item","numeric-id":3452250,"id":"Q3452250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91170e70b50d6f42485f0cd5eec709179563e6e","datavalue":{"value":{"amount":"+0.7510197758674622","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":"Q4635798$E33C3DE9-387F-40D2-A421-7CB62BC270F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb44eaf46847fa5029c210077fa090fddef1b1e","datavalue":{"value":{"amount":"+0.7436319589614868","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":"Q4635798$3B8F79D9-00B6-4C06-938B-231339BF6528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b02514e25d1bb10193ff646a700dd1d89f642","datavalue":{"value":{"entity-type":"item","numeric-id":5370875,"id":"Q5370875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4225829c76ae5941e6391534afedeb9ddb1bd13","datavalue":{"value":{"amount":"+0.7428983449935913","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":"Q4635798$632DA644-297D-4C79-A8DE-CB4639E945D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635798"}}}}}