{"entities":{"Q2946570":{"pageid":2957290,"ns":120,"title":"Item:Q2946570","lastrevid":52347080,"modified":"2026-01-22T10:11:19Z","type":"item","id":"Q2946570","labels":{"en":{"language":"en","value":"Proofs, tests and continuation passing style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483079"}},"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":"Q2946570$9CD2F68E-C73B-4E9F-BCCB-FF8D4A5E6060","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ddfcb244361dbf41fe7934900d18062888586f","datavalue":{"value":{"text":"Proofs, tests and continuation passing style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946570$4B53202C-4894-447F-BEB5-7E51F0BBF21B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e70944802bdefce10970c52e70eea0a9466b448","datavalue":{"value":"1351.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$94FED9CD-A467-420D-AAEB-E577530789E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f72c876e07daa5e71504407c36d59932e6026f","datavalue":{"value":"10.1145/1462179.1462184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$8A92FF61-8257-48D2-9A46-4A2A6C77A265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946570$04F68630-E130-44E7-BC59-A9AAF86BF168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946570$55AF4805-6479-4E4B-827C-C1224892EE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$5BFE7DC7-E8B9-4AA6-8E03-BF4D149BAB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$D803F50A-B243-41A6-BC97-1C88F283AEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$5C9FF597-F430-4B02-9544-07D4BBE153C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$58072BAF-0955-46C6-9D7D-25EFC532D09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$3DE7B849-9575-49EB-825E-4FC398BE7848","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70735a925b0150a69680d5d2c4dec7c0fb3f67db","datavalue":{"value":"6483079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$3C2D4A67-DFDC-4FF0-930F-74DFE11EFCA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$AD9BB5D1-E191-4CB2-AF0B-67045993C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$B06C9635-B473-4C08-A374-AAD5D3D01BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$E7655D41-9CBA-46CA-A1C2-ECD94DF85AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77589ec3dcbbd1dc6023ae7d57b3eb47cc9ea5a7","datavalue":{"value":"continuations passing style","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$1E5EC99A-9A0F-4CD0-B591-6F2FEE064490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$7CD810A1-0465-48A6-8375-623BBFACBD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$3D3FD3C6-D830-4AC0-AC8E-DE8E6F30CB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946570$1B533A24-6F4D-464F-AAB3-7D8513C85EF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54493f09366d013460fab20d41ad3e9ee49fb384","datavalue":{"value":{"entity-type":"item","numeric-id":534704,"id":"Q534704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946570$36331856-E86D-4EAC-8483-F470C413D053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946570$FF0F46F7-C8EB-4218-B084-9F4DF0F874E0","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":"Q2946570$A36290A7-FC1A-4BC3-9301-2E127F94F625","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"064404af233d6ecd11a020f6498c2028fd76d676","datavalue":{"value":"https://doi.org/10.1145/1462179.1462184","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946570$DE150B2C-72FA-4EC7-B1F0-38D4CCC85C82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86662b5e64c18f6d2f127157ce9a12e4241e6b18","datavalue":{"value":"W2112607161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946570$C3123832-6AD9-45D1-BED1-5DA0B21914F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d550264b6e0b9b9e34fc68c3834fa65e248c7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf02877fff2f83a466a526d2123b09a4deabfaa","datavalue":{"value":{"amount":"+0.7553144693374634","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":"Q2946570$B770826B-1235-4D43-B3DC-8E57A21DFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a458238d85fa2292ae683f46194b052e8ce270a6","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b016adc457689a64022c178fc7807887b9a9e208","datavalue":{"value":{"amount":"+0.752032458782196","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":"Q2946570$2F4F6287-5EED-4944-8A28-AD0871F91106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711dd7a3624c26147aae5bda2c74b485a53d387d","datavalue":{"value":{"entity-type":"item","numeric-id":4411843,"id":"Q4411843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d16ac85dd14312dbcaafbc9f14e9d440bb7b435","datavalue":{"value":{"amount":"+0.7457866668701172","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":"Q2946570$97017D44-2FFC-4471-8573-A01641BD4C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8412822ad68aac4c5d21a72f0fb6255d26dd9554","datavalue":{"value":{"entity-type":"item","numeric-id":4357067,"id":"Q4357067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3494947ec9ccd56aedf3613cf210aebbe039af5e","datavalue":{"value":{"amount":"+0.7400701642036438","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":"Q2946570$F25D03B5-B22A-480D-B24B-287E347007C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947d3efa76f4869e1353a25924768953a39b048d","datavalue":{"value":{"entity-type":"item","numeric-id":2929866,"id":"Q2929866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3494947ec9ccd56aedf3613cf210aebbe039af5e","datavalue":{"value":{"amount":"+0.7400701642036438","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":"Q2946570$C3DA71FC-5F6B-4D71-A2B4-C2EE235B9E9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946570"}}}}}