{"entities":{"Q930866":{"pageid":932714,"ns":120,"title":"Item:Q930866","lastrevid":65459697,"modified":"2026-04-12T02:44:42Z","type":"item","id":"Q930866","labels":{"en":{"language":"en","value":"The weak lambda calculus as a reasonable machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292216"}},"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":"Q930866$FCCC92BA-3BBC-4CBF-8996-AD6C3FF0321F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53507e8761970836cae19c8355a79686f69787fd","datavalue":{"value":{"text":"The weak lambda calculus as a reasonable machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930866$149B5729-69A9-4589-BF3C-C7E9644E1BE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ec5a996eb70a479dd9b0f3ba6b4d7bf433763c3","datavalue":{"value":"1145.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$95FB8FCC-AE2E-494B-9DFB-9B3C5A60216C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$D3CED631-A281-4CFF-BECF-D9148404B1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$054EDD75-8372-4718-9D6C-D0B011BCAD69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$BA6E64F6-DC0C-4665-A585-895A957648A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930866$A378D934-3174-4650-A297-570290336DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$B71FB666-662B-4FD4-8805-D8765A5F6DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$64D71246-CD42-457C-A8C2-05F6EFB100F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$4803E980-150B-4D6C-9CD2-340EEC680DA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc5854ad714cb91693cf6ce51c6d04bc3d6f74b1","datavalue":{"value":"5292216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$11B2E24F-DF29-409A-90E6-3E4CE1B2F5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930866$F9AF72D0-710F-4E1E-B954-DCD22628D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q930866$A4306DA5-CE9E-4644-904A-9BADFCBFFD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b0d10884c22a5c4cd1c635503e1bf5bcd24fb","datavalue":{"value":"invariance thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q930866$07C31528-87B5-450A-8996-0C0E3CF7542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf370948f44842238b034cfcb3554331db8ba6a","datavalue":{"value":"cost model","type":"string"},"datatype":"string"},"type":"statement","id":"Q930866$89923C28-84F7-47D3-BFDD-1DA9B74A0E39","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":"Q930866$00D18C72-AC8B-4453-B8E1-12C21C6A2C43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"434a8ec2b0b3e6aaa4dc7263b9f9b2e4c27d24a3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q930866$C4BA221D-DED6-4F08-BA10-17A5988EE9B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"224e8db3feff9244ae5c48e0804471d0108e649e","datavalue":{"value":"W1964861775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$D5F02508-EB55-4B63-AB8F-AEFCD1D68C2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$45B49A1C-96CE-4213-9512-9EA5E1957F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01aa2ed5e9d627304a8ca991a6b97789bc5d411f","datavalue":{"value":{"entity-type":"item","numeric-id":5898152,"id":"Q5898152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$AFC4CE7F-4F62-405F-A890-B18B32034925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1621b9ed49fbaf7b5b203bdb96207b475780b546","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$FA6D548A-EBF0-4838-8F1F-BEEE0B51371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3ca23894b3ffe90c195f250f318fd879e9e732","datavalue":{"value":{"entity-type":"item","numeric-id":5898807,"id":"Q5898807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$CB1B564A-EBDA-4539-9951-6FEF8AD41F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$B8226365-17AC-4B1E-BF06-28F4AD1B79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4aab3122d2756414ffcd339a7e7167d6a7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3858241,"id":"Q3858241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$2A8C760F-A5ED-4E47-BBFB-5D9988C2C82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d4f8d3f7f72cbd4f339eef4ada31dda026c1fc","datavalue":{"value":{"entity-type":"item","numeric-id":1210295,"id":"Q1210295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$68066210-5182-4966-B8F4-3AFA5CD8DC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a5a8927f019cbf5949048eaa2ee47d0dcb76ce","datavalue":{"value":{"entity-type":"item","numeric-id":2817687,"id":"Q2817687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$31D007F3-D329-45D2-8BC0-BB0D5028FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23eca1f5e479daba33c27a4907b9a413c3dbb75","datavalue":{"value":{"entity-type":"item","numeric-id":5348875,"id":"Q5348875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$ABF2D3EE-C442-462A-A0B7-132E84240203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa56ee55ee08ce37d14abf355cc8adb74cee1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1887148,"id":"Q1887148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$7E13BBAC-57B2-4F8D-94C1-A6943178CBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7435100e3d690d36fad3b0237a6b1d48437e9556","datavalue":{"value":{"entity-type":"item","numeric-id":4385524,"id":"Q4385524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930866$D1023334-BF93-4BC6-B461-F24920EEE036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afa4cb980b982a6dc7f69e4a9e29c8af62f18863","datavalue":{"value":"10.1016/J.TCS.2008.01.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930866$46B05E4F-B26A-41A6-B7FF-C81E6F6CB471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2069cca7704d3ff65bbd3dee2d017cabd588e9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2566028,"id":"Q2566028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89214541c1c96d6e9fdf0e06221263c9d1e62655","datavalue":{"value":{"amount":"+0.9088992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$8BE18B78-A4F6-4E9E-9BEE-80540E79EF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83043cfe6d55798b0b8c9e4fcba28fb686579fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d889b8cd9bd0220ff119b406a91faf572786ea","datavalue":{"value":{"amount":"+0.8757022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$7B8D95F3-D240-4C27-ACE7-381873CE3595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27554d705562e62b573142b54fbbe3b388fc3171","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cab2e462d4cac7e4a9584ae314068866bbab58","datavalue":{"value":{"amount":"+0.87350786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$777E6D9D-065C-4B4C-AC81-2C4E0CC87C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac5742ae7f2510a0e1da9af5b034165fde948ed","datavalue":{"value":{"entity-type":"item","numeric-id":1687735,"id":"Q1687735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af9ff7e694df262671c106f0ef4117567e65353","datavalue":{"value":{"amount":"+0.8734843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$3A50CC3E-33FA-4360-B59B-A2D67AC69FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67723b2a1ea63083a5b430791ed62b73ffec15b","datavalue":{"value":{"entity-type":"item","numeric-id":3599179,"id":"Q3599179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c683362d1391ae4ce87292791bf682508c4c4f78","datavalue":{"value":{"amount":"+0.8697703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$BB067955-C0C4-4D60-B52D-E1C9F5F72191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882254c66176d073d95052e9b9f2fb4a373ddf8f","datavalue":{"value":{"amount":"+0.86841995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$92FC7E8E-C686-421A-BD26-8392D2681D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56162aa8952aa1c5c60ad9056634518c27297481","datavalue":{"value":{"amount":"+0.86819386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$C90A06FC-69D1-4958-8E90-1CF937D3B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fee06aaea1851130eb429ad8fe17a6dbd1104c","datavalue":{"value":{"entity-type":"item","numeric-id":5101343,"id":"Q5101343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca661e0838a9a984e21820b9922d20ebcec7b1fe","datavalue":{"value":{"amount":"+0.86648303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$0A54A342-95CA-4DA9-AF70-3CE0977CDED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9c698094266160d032a9f9146d5f36e2dcf413","datavalue":{"value":{"entity-type":"item","numeric-id":4953356,"id":"Q4953356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d81b156303ad92705ac8db689751ee2b24841c","datavalue":{"value":{"amount":"+0.862724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q930866$B5F39D54-7D13-4F77-96A6-7BB32C13A642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weak lambda calculus as a reasonable machine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_weak_lambda_calculus_as_a_reasonable_machine"}}}}}