{"entities":{"Q3000285":{"pageid":3011009,"ns":120,"title":"Item:Q3000285","lastrevid":79691693,"modified":"2026-05-06T14:29:52Z","type":"item","id":"Q3000285","labels":{"en":{"language":"en","value":"Bottom-up \\(\\beta\\)-reduction: uplinks and \\(\\lambda\\)-DAGs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5896924"}},"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":"Q3000285$61CA3449-8BFF-43A5-A32E-496CAC0C07EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"005119818020fc741d43f880446150bced60c2b4","datavalue":{"value":{"text":"Bottom-up \u03b2-reduction: Uplinks and \u03bb-DAGs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000285$BFA0830E-A67C-4AB2-96EC-0E37CA9A1CEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211b3dfcfcdee3e17a29773882ad6a4b9953723b","datavalue":{"value":"1217.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000285$1E77ABE2-2A01-475B-8CA7-76EE0C2D81F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89822adcb7b813934cdc1ab7b7a958f548864563","datavalue":{"value":"10.3233/FI-2010-328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000285$A73420F6-E568-4BA9-8FDA-D0A4C942D6A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"996c43507fe1181760d05fae174e9d9f8409d80c","datavalue":{"value":{"entity-type":"item","numeric-id":879360,"id":"Q879360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000285$6CA46775-9920-4909-9790-6427DCCB0525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000285$91DFF410-243C-4FE5-96A3-538386EB753A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000285$C49E8938-DC3E-41E4-8BDF-72693CCCB8FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"582ddc080e0097b96146009353001f8291010262","datavalue":{"value":{"time":"+2011-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000285$207C1D50-A9B6-4B27-992C-9EE5CAA3BB6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000285$DCD18EB4-B037-410C-AE87-DFB89BB5764F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1373b1a79d5e05ae1fb14e7aa446cc4c155b64db","datavalue":{"value":"5896924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000285$E6F9BCE8-E8B6-46EB-95D2-C5785484DF63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275eeff5f305a401067b0c149ad22bd9c3317b1c","datavalue":{"value":"suspension \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000285$6B72B64D-2334-4FB5-B12C-2E270E0B153B","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":"Q3000285$E572CB38-750E-4560-9496-7FBEFE22157E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e25403bb5dade8067985ab9cb888fa84318a5e1","datavalue":{"value":{"entity-type":"item","numeric-id":5316566,"id":"Q5316566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bbb1046cc2333aacdefb459d4d5069b54b0840","datavalue":{"value":{"amount":"+0.9861162304878236","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":"Q3000285$9DFA5342-958D-434A-85D4-46608C94864D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f1c970bb0b5c329a546249fd14e0b7c0a8b650","datavalue":{"value":{"entity-type":"item","numeric-id":4222808,"id":"Q4222808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdec9f808fa69ea6c917c55f84811364cf6efaa9","datavalue":{"value":{"amount":"+0.7977008819580078","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":"Q3000285$1AFF9EFA-DB21-4255-B321-33856AEB251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3fa4553304c5827a48b407028136565d67cbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5111313,"id":"Q5111313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb226dc5e0f02b751c51d3352f43e2a905d86c9","datavalue":{"value":{"amount":"+0.7963420152664185","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":"Q3000285$A4409C26-3AC2-470A-86F8-C5BF8CEAC6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d7d924fde776890ac71502db1f6424dfd0b7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1186104,"id":"Q1186104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc704291779b59cf4e335103904508287b06f602","datavalue":{"value":{"amount":"+0.7940415143966675","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":"Q3000285$D91E1065-0B71-4D64-A7D4-9C28B2EEDC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939d7bb4d3addc0042cbf14534285113e0e36ff0","datavalue":{"value":{"entity-type":"item","numeric-id":5348875,"id":"Q5348875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6167e36da32096e03fcad2ce2b843d8f52060ef1","datavalue":{"value":{"amount":"+0.7879872918128967","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":"Q3000285$E4496720-62C8-4901-8EE1-53B7981C4E83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bottom-up \\(\\beta\\)-reduction: uplinks and \\(\\lambda\\)-DAGs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bottom-up_%5C(%5Cbeta%5C)-reduction:_uplinks_and_%5C(%5Clambda%5C)-DAGs"}}}}}