{"entities":{"Q5055822":{"pageid":7085399,"ns":120,"title":"Item:Q5055822","lastrevid":47785969,"modified":"2026-01-02T16:50:04Z","type":"item","id":"Q5055822","labels":{"en":{"language":"en","value":"\u03b4\u03bf!\u2208=1 Optimizing optimal \u03bb-calculus implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631244"}},"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":"Q5055822$FDF0BA1B-5FF8-4E46-9C2F-6BA1F6701D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c06093f5b1ce9e349945323a57d4dd7f434cadc5","datavalue":{"value":{"text":"\u03b4\u03bf!\u2208=1 Optimizing optimal \u03bb-calculus implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055822$82818898-9C6F-48E8-8CFB-C2B77E6F14D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e969404407db3d1be0f10b2eb5e4dea6abef4739","datavalue":{"value":"10.1007/3-540-59200-8_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$91EA0460-E87F-40E9-AC41-ECE38F8197E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$3A2F5771-FF36-46E8-904C-EDA9B8D3508A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$65E75117-4412-4032-8DE2-10FD7CBF16B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055822$A546033E-EED0-4200-B637-A0C5087663D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$7AC4D3E2-32B9-4DC6-AA2A-D5D94DC4E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$033F514C-99FE-46CF-A33B-2F75B88F9FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$8125EBB6-2A14-42EA-ADA3-DA923AB6C6CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef5468ff7e95228321eb432ac195c5112e6c440","datavalue":{"value":"7631244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$9364668F-01F2-4F9D-92EE-783A6A7757B3","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":"Q5055822$88CB2433-0AE2-42A2-BA4F-343F6DC56944","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"784ead7dfcff9de279177e0e6f997a38599b4049","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055822$6ADA1800-ECA1-4A55-AF3E-941DAC97541A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aff21eafda4e72e257585cca1f058537a5bf1615","datavalue":{"value":"W50946012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055822$ABD5BEDA-241F-4203-B228-2A19BEDCC389","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6efb1b95d2b7ae9940263184dc766f4ccada64","datavalue":{"value":{"entity-type":"item","numeric-id":5044756,"id":"Q5044756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$7008DD4B-53A0-427A-9017-999DF8A5A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$459B87B3-F7EE-45F3-AA5E-F11333AA166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787cfe36425afbf1c65b0930e316699b5a054e16","datavalue":{"value":{"entity-type":"item","numeric-id":3024818,"id":"Q3024818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$C065789D-146F-4F2A-9185-C4DD513DD7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$67103839-5288-47F2-A71B-D3596DC6710F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1bd80ab943fcd1494b0aadc3e5364b81327341","datavalue":{"value":{"entity-type":"item","numeric-id":3203017,"id":"Q3203017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055822$497B502D-DEF1-4740-8E5D-0610DDE35490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e996cefa839fb2c788bf8d0f37d85f286e8c84da","datavalue":{"value":{"entity-type":"item","numeric-id":1392661,"id":"Q1392661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"209dbab4cfd0989bc6df57d74ee920576c32f42d","datavalue":{"value":{"amount":"+0.8816654086112976","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":"Q5055822$FA94A0F0-2D65-49CF-A23C-10D8ABEFCAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e60df0b1a2933b10baef047509fc4e44588249a","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85852c23c4938591e29fa8eec6b76941de69cf0","datavalue":{"value":{"amount":"+0.8816646933555603","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":"Q5055822$3F0EA04A-D999-4F4C-A617-B7F296AE7F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc84240eedfec5798f9f3e58c4c14a074c01e29","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494eecd62741a1352592077827ce107e8cf1fc06","datavalue":{"value":{"amount":"+0.8560997247695923","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":"Q5055822$A0F04498-364C-44D1-BA56-037C48F80F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338a3bd040d350e8cee8096f93739fc389c68b09","datavalue":{"value":{"entity-type":"item","numeric-id":5044756,"id":"Q5044756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6f9615a4e9777ecff17eda1d5b27c20d9c60c5","datavalue":{"value":{"amount":"+0.784018337726593","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":"Q5055822$B815FE92-C02F-458C-8745-747B2DCE7189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5aa11e2c3e4f3b072e3b677565a4176915e27f","datavalue":{"value":{"entity-type":"item","numeric-id":1350498,"id":"Q1350498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7b75ca1f146a1220453138bfee6c18a03b9606","datavalue":{"value":{"amount":"+0.7820412516593933","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":"Q5055822$73585CE2-9B21-48C1-B689-8C25FE6B31E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055822"}}}}}