{"entities":{"Q2352459":{"pageid":2363202,"ns":120,"title":"Item:Q2352459","lastrevid":52299611,"modified":"2026-01-21T09:33:00Z","type":"item","id":"Q2352459","labels":{"en":{"language":"en","value":"Strong reduction of combinatory calculus with streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6454998"}},"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":"Q2352459$837253C9-02DD-4A1F-889C-E2A297D9FAB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be8b7a4b8ff5d5009df32571709f7f0102d804a","datavalue":{"value":{"text":"Strong reduction of combinatory calculus with streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352459$9F2EA3C6-1057-4AFC-8F5D-057A4C194A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9e736a01f7497a0833182538a7ef0c1be74b8f2","datavalue":{"value":"1326.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352459$A739369F-A5E0-40BF-A414-F3505111DA52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbd3187d950ecd141481b362fa15a71f8566a6","datavalue":{"value":{"entity-type":"item","numeric-id":514510,"id":"Q514510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$418DD6E7-2D6F-49D4-81B3-99A3E42C4BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"519c672e4375489be656f5cb1c06929622d19e52","datavalue":{"value":{"entity-type":"item","numeric-id":2352458,"id":"Q2352458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$66EE89E0-1F21-4EB7-8662-17D4653C1C33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$777D6462-B200-470F-876E-C5B8A129B0E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352459$72EFF9E2-C7C6-49AF-A568-E281CC55AF77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352459$13234A46-DC0E-40C9-B61B-216BAEB84630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dfdecc45662174f5ddc66e01411a08c6889761c","datavalue":{"value":"6454998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352459$E84C570D-0F1E-428C-8E27-7574644439ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352459$73C6AC8D-7379-4BC3-B25A-19F5BD9FF952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352459$B4F27F11-A1A0-4D17-9BFD-73B30A9EC71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962dacdd382dbbc691c09f5e67b9d1679fc39a14","datavalue":{"value":"strong reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352459$7344CB5D-4F33-4AC8-B2B5-2DC93F2641DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352459$6F620998-0AA5-4BB7-AFB6-E3E17692D0FD","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":"Q2352459$1F3572C6-2102-4091-B391-6665BAAA4098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3432ef82c4fe0dfdb16a7f84666b31c467b5d158","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9570-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352459$A80256C0-2FF7-4EAF-854E-4A46B8C9FB1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"958998d919c95901b9d23d13dd6751cc9ea2f143","datavalue":{"value":"W2164728873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352459$B9BE5903-2508-4C02-84BB-9386702A73A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8efec1eb4d5e480af5223674f86a8c68bade85","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$862E6CC2-2F27-4252-AA58-96C927717855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46d804a5363d847a2e9e54d905ff7e520257179","datavalue":{"value":{"entity-type":"item","numeric-id":2016071,"id":"Q2016071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$481FA81E-DD21-49A8-886E-E556B3B57591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$DD1A5A79-C4D3-400D-9C1A-D518A0381B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55df57038e612ae33f89fa719efa760e3e6cf271","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$705FA5E1-3660-4465-A796-2462EBAE92AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5cc7ffa0185fbe29fdecfed565ba47a0565f92","datavalue":{"value":{"entity-type":"item","numeric-id":4986735,"id":"Q4986735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$864E36F1-7BDE-44BD-8060-6FB2E3186843","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":"Q2352459$60CFDC94-697D-42B6-8C02-5941ED72EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f3c17afa958f29207e47c52ca1f9f21683218d","datavalue":{"value":{"entity-type":"item","numeric-id":3558334,"id":"Q3558334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$E48F4D0C-3938-4855-ABD2-69FDBE705AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe9b14888d3874863453540ccf2b935b1e5e57e","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352459$BBD26396-4DF6-494A-9B83-0DC780FC5AB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0350b077598dbfedf38f3cf643673f2b2327204b","datavalue":{"value":"10.1007/S11225-014-9570-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352459$13DD0933-0583-47E1-9DC8-60FB3A262EAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa324d265ef7b57d065a7dd52fb12fc48ee9476","datavalue":{"value":{"amount":"+0.8145374059677124","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":"Q2352459$CA83BCA1-0DED-437C-A365-75380D44F3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1ac89803161c951e5bd389a782119d7c1d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092f64a0d6632645fab92adbea7fa6ecf15c4591","datavalue":{"value":{"amount":"+0.784857988357544","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":"Q2352459$72E8CAB7-E4B1-4249-B9C5-73CCE1328CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf2fab5b363b105785b75a93ff3c3004c472786","datavalue":{"value":{"entity-type":"item","numeric-id":654911,"id":"Q654911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4391debc452f48a344f8c07421a2b1fbd8b66201","datavalue":{"value":{"amount":"+0.7779338359832764","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":"Q2352459$06E7B4C5-53ED-4A8F-90A6-BCBB76E219F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab27d8a541602ffb3d78a9ee028720b387b8131c","datavalue":{"value":{"entity-type":"item","numeric-id":1014284,"id":"Q1014284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd4bd80811b5508de3913168148513eea5f3f9c","datavalue":{"value":{"amount":"+0.7770529389381409","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":"Q2352459$9CF01F9C-700F-4C2B-A935-2E145AAFCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d990a083f3bfadce4a1fc07e0db54d9e639c","datavalue":{"value":{"entity-type":"item","numeric-id":4986735,"id":"Q4986735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f3c07121606959e40a82ef402ee07bf4ab8f5b","datavalue":{"value":{"amount":"+0.7600275874137878","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":"Q2352459$52B4741E-8D10-4EDD-BCDB-D60A6C47642C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2352459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2352459"}}}}}