{"entities":{"Q1125574":{"pageid":1136323,"ns":120,"title":"Item:Q1125574","lastrevid":69700488,"modified":"2026-04-13T08:48:24Z","type":"item","id":"Q1125574","labels":{"en":{"language":"en","value":"CPS translations and applications: The cube and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1375360"}},"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":"Q1125574$6ED940BA-95D9-4544-B8F5-0E097A4E565D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"077a29ee2c649dea97bfb6412805d386b7feb241","datavalue":{"value":{"text":"CPS translations and applications: The cube and beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125574$90989EEC-E5C4-4546-84B2-CA3FDD60BE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d7a084b13071936b38b51838f7ecc66f8a410eb","datavalue":{"value":"0936.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$EE34C20F-1200-48A3-B4BE-795C0676FAC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f5ab206cbf497bd10dc60eba976fddc5f9c26b1","datavalue":{"value":"10.1023/A:1010000206149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$6828D151-6325-46EE-A3AA-AB85BA5B97BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125574$BEBE62D5-5FB5-42C4-81C7-D63A9D542695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125574$0847C89B-3E50-49AA-80C9-7D1E110E3EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125574$0E450848-944D-4F24-B9E2-288E67176EBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125574$CD506936-ADFE-47DC-B99B-165AAE872ADE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a55f3aff8e421376e6a53544327002c7c786556","datavalue":{"value":{"time":"+2000-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125574$F7010582-38BA-4B15-B63C-D0F58A735BE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$3C63399E-C23D-4ABD-89D3-4F3A494A547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$C76BE097-D697-41EA-BA0A-B8F895CFD816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$687FB702-B1DC-4200-A300-D80370F97C0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c283d19b5127aa698dc0d9b32ae8b20491acc3","datavalue":{"value":"1375360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$6523F0ED-FF66-4D7F-927C-B6B14F338C15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c57cc0050c241ab5afdb4dfbdd4f69e733146882","datavalue":{"value":"continuation passing style translations of typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$AFDFAFB4-1A09-466E-8D01-70BFF8D3856C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7637aad025732c6c658905ac535029f964fba1c6","datavalue":{"value":"domain-free \\(\\lambda\\)-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$F0F38A2D-9016-40D4-8206-1D1FF8B06012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caaaf01611830d70bac20a1ceea3c9a3748972a8","datavalue":{"value":"direct style translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$5CA8E3E5-DCF9-418B-BE76-791F087D7F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$0347BAF9-9013-43B8-A2A1-03C8F982C5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$987A9C43-41DE-47BB-B583-64D4361A8CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$8D3331C6-6EFB-4BE1-946E-E93C3D7F8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$176DD9BF-B83B-4DFF-887A-F5C73103324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ba91e519bb8e9aff3b00cce7b45b415e05f6bae","datavalue":{"value":"domain-free pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125574$344E248B-B20D-484B-871A-3C05A5C5A449","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125574$C95C9D39-031D-41DF-AC72-33D263614C5C","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":"Q1125574$7042949B-4890-47D8-A62E-E743AA42B50D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2984e7ed1314a450bf9922ca5ef650bb41a5567a","datavalue":{"value":"https://doi.org/10.1023/a:1010000206149","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125574$A2271D72-AE47-4A8B-8D0D-3658D621990D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9824b9e4add7dd31e69f513d6bf3bc81038f38b","datavalue":{"value":"W1580682610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125574$3C4108A3-AB03-43FC-9BCD-35BE7B337288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c722f26c38a2a825b44456b0f3c7ba6a859352f4","datavalue":{"value":{"entity-type":"item","numeric-id":5958776,"id":"Q5958776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50d6125a17a0034954be8065864b42490a1b951","datavalue":{"value":{"amount":"+0.7677648067474365","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":"Q1125574$441C2D2A-F99B-4797-97C7-3830B3EFC6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d71d815952c66e2e616989a3315f2a8b1ea5912","datavalue":{"value":{"entity-type":"item","numeric-id":1044830,"id":"Q1044830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b094731a026f5dc2c6143b60ed3b7218ed290c","datavalue":{"value":{"amount":"+0.7619885206222534","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":"Q1125574$646A5725-FDB8-4624-BCD2-945D7E0048C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6aeb1ea1876ebe061525a5d0b259d910dbfc0a4","datavalue":{"value":{"entity-type":"item","numeric-id":5111314,"id":"Q5111314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c0cdc5f009b1866aae36295c790d93444720e3","datavalue":{"value":{"amount":"+0.7453837990760803","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":"Q1125574$B841CA5B-DBF5-4B97-BC3A-2C80F2CC3FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f12d85e7083dd8fe557efdade693911776d4540","datavalue":{"value":{"amount":"+0.7439354658126831","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":"Q1125574$1FA7189B-279C-4A67-9193-8CABA5C7C73E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CPS translations and applications: The cube and beyond","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CPS_translations_and_applications:_The_cube_and_beyond"}}}}}