{"entities":{"Q3178293":{"pageid":3189002,"ns":120,"title":"Item:Q3178293","lastrevid":52573799,"modified":"2026-01-23T00:28:03Z","type":"item","id":"Q3178293","labels":{"en":{"language":"en","value":"Continuation models for the lambda calculus with constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602848"}},"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":"Q3178293$856F048B-C043-43A4-8433-D6E7642291BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eccf47de66f27d6e1a30754955f92c10593b0b21","datavalue":{"value":{"text":"Continuation Models for the Lambda Calculus With Constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178293$5C7A1723-3476-464B-9E84-C5732CEAD98B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93afc6c3cd1bb649e182dea0696fb059372b97f2","datavalue":{"value":"1342.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$CEE4E5F4-FB5E-4548-A3BD-4DACB0135E50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61a4a3101962200d4129eb59dd3a57bf6b47e93","datavalue":{"value":{"entity-type":"item","numeric-id":2441512,"id":"Q2441512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$DF97AECC-6F70-4ACB-9901-9B172AAA8DC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$8333F534-79D1-4157-B7C7-D7AE42F6FEDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178293$C22B72CA-0F7C-44DF-AD9D-7C91DBE19338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$6A973C35-87EF-46FC-AC80-61735CAA756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$AC14EFE4-CEE0-48CE-8C2E-79E241FD2403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d25a497cbef2668fca5a623b5ded9d785eab1236","datavalue":{"value":"6602848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$11F843FF-6C78-4339-BBF6-ACD229CD1D68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178293$DBD29D0B-39DC-4072-8355-C5008AC9507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178293$5C0D1F6A-0D44-4829-BB41-701501AE5E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c390dfd4b3bcb6d80eed3a81dead4bee4c96b964","datavalue":{"value":"continuation-passing-style transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178293$81392287-9994-4026-8DAD-A26707380059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178293$C1D3BB29-798F-463B-A6BB-16FE7666D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9a8312c737cbe4c401f69e29e60e0cdf81b052","datavalue":{"value":"continuation model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178293$C68F6EFC-D8F0-4E8F-BD7E-4AF125E71D24","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":"Q3178293$386869FB-CED4-4E38-9B98-AFF4D3E27DD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4102d2bf3f285e6d75ac5c9fff2144df58765909","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178293$48DD8552-564F-4C44-AF45-DB588B909C76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16b7ed84b7650300ec36cf3212fcdffb7ecabfc7","datavalue":{"value":"W2012491527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$5D73FD47-3158-4FB0-A153-20851DA4F5AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"503903703373add9ee608dbecd6a8081e6411b24","datavalue":{"value":"Q113318055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$51EC5BF9-95A8-4B4F-BA5C-405697CDAC00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a1c5ed542330120f30fdfad43ebd2f30c1c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$F374EF3A-4BD4-44EF-A0F9-F3BC47783B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50b65778aa328b8858d8638847ccc7a1f88365b5","datavalue":{"value":{"entity-type":"item","numeric-id":5432334,"id":"Q5432334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$2F1E9523-9934-4F17-85E5-7EE3830862D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec87c156dbe51801120840ca8d8408a8a7144f","datavalue":{"value":{"entity-type":"item","numeric-id":2782483,"id":"Q2782483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$8BC035D1-D679-4D0A-BAE2-639DE1E389B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$08C54084-9813-4F7B-9B5F-2A50F85AF491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178a305db70d063c9414f889befd07cf69660c2","datavalue":{"value":{"entity-type":"item","numeric-id":3629217,"id":"Q3629217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$E9ADB3B9-39E7-49FE-9CFA-92D680F38EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$A4C6C79E-BF7F-4241-8C97-B3A23F1BB7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$44818CB2-E3F1-47A4-9542-1958799419B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191a40b46590e4a0090a6af61ed19d76be386d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3003303,"id":"Q3003303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$9923D7FF-5B8E-432E-B50D-FC99C0F85F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$11B686F7-AC08-4F9A-A173-EC6F4E2476E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178293$48BA7652-D74D-463A-9BD5-2DB58C947C2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a34205a87f4bfa6f64774aa33e48465d65e7b530","datavalue":{"value":"10.1016/J.ENTCS.2012.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178293$A2983C8A-0A9E-4023-BED5-1AB71F472E03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f8c0fbeea64824701aea37da08f76fa1a92c69","datavalue":{"value":{"amount":"+0.7895100116729736","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":"Q3178293$CB416AA0-E65A-486C-81E1-5EDE0133FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4807985e7470673d1e0e6ba44d6f3554a7a78645","datavalue":{"value":{"amount":"+0.7715561985969543","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":"Q3178293$03D441F2-2468-439A-A783-FB67AF66D96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20d72714c717e20fba1e075a9681b814fda31e2","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a061f3edea2340b4d5ea3f66ad759a953c2b52","datavalue":{"value":{"amount":"+0.7665987014770508","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":"Q3178293$E8E155B3-27E5-4804-82AA-769C07476DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e8356be2d62533834705232e97b52f0b5f5da2","datavalue":{"value":{"entity-type":"item","numeric-id":3003303,"id":"Q3003303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7b67734a19ee6ddb33557ea309aef3a92e6886","datavalue":{"value":{"amount":"+0.7607811689376831","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":"Q3178293$D05EC79E-F12E-4CF7-80C7-0EFE33878BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2abef9a91b77a8c202c21b3473aa71a8fef4e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4957790,"id":"Q4957790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08437841473a0b94aede7fdd0a1b4b11d5f9017a","datavalue":{"value":{"amount":"+0.7555913925170898","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":"Q3178293$CB9E794D-A52A-490E-AD83-6AE6C96E0440","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178293"}}}}}