{"entities":{"Q2946718":{"pageid":2957438,"ns":120,"title":"Item:Q2946718","lastrevid":52347443,"modified":"2026-01-22T10:12:19Z","type":"item","id":"Q2946718","labels":{"en":{"language":"en","value":"Three syntactic theories for combinatory graph reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483217"}},"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":"Q2946718$E8A5E10F-4019-47B8-8B88-17BDBC5BBC13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a4a58bec62e929a4f03408c5557264f44b4695","datavalue":{"value":{"text":"Three syntactic theories for combinatory graph reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946718$87E21444-8934-41FE-85B8-5374D76D2165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a030a14935be2517b574586441ff6c4a287693d","datavalue":{"value":"1353.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$098A84C1-9AF2-4BCE-9D58-1C218386EA15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15013def79e296c6938b4a3f3cebc433f2bf67ce","datavalue":{"value":"10.1145/2528932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$2A83FB77-8F4E-4319-8AC2-BF4558B7430D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7ebf08f82ce515e0740dc978f18c660e5f4735","datavalue":{"value":{"entity-type":"item","numeric-id":232933,"id":"Q232933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946718$A5B55E8B-8819-4989-913D-580B026B19F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d868a68fe15aed8a20d4ccd0f61ccfac9cd852e2","datavalue":{"value":{"entity-type":"item","numeric-id":428885,"id":"Q428885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946718$5BE8C548-3651-43BB-8C0A-9D51048D3FCD","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":"Q2946718$41132BCC-CADB-42B3-8FFC-8DA857309734","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":"Q2946718$AD953D59-30D2-4512-B76F-5E4297B41861","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$9A2ECCD1-341B-4D83-9585-D6E8CFF24345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$6A99DD63-33B1-4D02-B7F6-9376A68AAB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$2B27E018-3230-4AAB-8766-5B867BF976ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4009dd45ff7231a03e662f53db0084c6f73941","datavalue":{"value":"6483217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$BBD220A6-0D91-41CF-99BA-B0E400526125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26e40233afd4af678128085a70b4daf737ffb48","datavalue":{"value":"CPS transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$3052B7C8-43A2-48D5-B304-F5A2C31C4078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5154c9db50241222e325579ef8b64067c43530","datavalue":{"value":"continuation-passing style (CPS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$67B25280-CD31-4F17-B062-B51D96F8BCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d7341e821db6a66a3c39640c69902ab928e00a","datavalue":{"value":"reduction-based normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$13CB2597-A85D-427D-B04A-6F804CC9E9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$27E5FFA3-8F4B-4FB2-BF77-4FF0645618F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$880213CA-415F-4572-B3A1-FE81E9F177FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74261be4e8c8ef6eee96e7062b95918b27cb1d7","datavalue":{"value":"defunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$232240AB-8BF7-4B45-A942-3852FE8C09D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c23ea266b9330fd301fe817c70894b985a999a7","datavalue":{"value":"evaluation contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$317BCFC9-9297-4EEE-AA44-B1C1D7F21832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaa22f5a3d922e93fa50173b2ae1d57cc66c784","datavalue":{"value":"reduction contexts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$EA927FA1-08BF-480D-BA90-55C5CE984CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$6306309F-194F-4699-BBF4-2CAB3F58F512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6ca0f61523297da6d3998b722764ce188ec86b","datavalue":{"value":"reduction-free normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$402DA941-7D8D-488D-9EDE-66F7E6E14C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d3c9fe0c3e21f98bbb1e0c268bc7f0ea88ab03","datavalue":{"value":"refocusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$37E44E76-36CA-47D5-A8FC-E1A9D884A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe48754407a8ee0cde59d7c3dd662f362753ff8","datavalue":{"value":"refunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946718$B583B612-909D-4B9D-8930-8EB7AF884EC9","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":"Q2946718$4B07A559-1981-4DA3-8E92-62A592A0FE73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecea4beda7b5164220ae1c89a403cee597ba9df7","datavalue":{"value":"https://doi.org/10.1145/2528932","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946718$8278DE23-2B4F-4DBE-8CE6-185C7F3D5890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7df32ac2437a32698c419140a69f397dff372892","datavalue":{"value":"W2073131294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946718$D874F692-E02C-4BE5-8753-C0E5F773D7FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ded523aaf33f307e685577881d667b873f9cce","datavalue":{"value":{"entity-type":"item","numeric-id":3003482,"id":"Q3003482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314d7991f8d266b8784d5c30c8bf6f07781fd638","datavalue":{"value":{"amount":"+0.9774454832077026","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":"Q2946718$382B79E4-A3C6-4E4D-BBAF-8AC99CEBE97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7e5703882be5f2e46d03b7911b5423509a1511","datavalue":{"value":{"entity-type":"item","numeric-id":526460,"id":"Q526460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8f390b229dcd762f573b4aba4da2c682d3bfda","datavalue":{"value":{"amount":"+0.750175416469574","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":"Q2946718$36615F9B-BF98-4A6B-9017-60AB46B43484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0e594ccb6ea9574de17ebe0f03844381731034","datavalue":{"value":{"entity-type":"item","numeric-id":4027629,"id":"Q4027629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bf4b577ae4d2335aa04962642c2c0a932b2f25","datavalue":{"value":{"amount":"+0.7454803586006165","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":"Q2946718$14C18319-EDB6-4197-917E-9EF268403CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f54781337591b5083a1d2a3ac156773821e0616","datavalue":{"value":{"entity-type":"item","numeric-id":1575875,"id":"Q1575875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7d8f3d59b01d3452c804ba6088eb154b7a313d","datavalue":{"value":{"amount":"+0.7441534399986267","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":"Q2946718$711C3310-18E4-438A-A7D2-77A236D9E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac26c97ff77e029d73ba66676f2f4fa6486429a","datavalue":{"value":{"entity-type":"item","numeric-id":3997674,"id":"Q3997674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0de1fba37efd53908e91be5519cddd8e37d610d","datavalue":{"value":{"amount":"+0.7398039698600769","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":"Q2946718$C453F4CE-835D-48BF-B9C2-9D75D06CA7A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946718"}}}}}