{"entities":{"Q428894":{"pageid":430661,"ns":120,"title":"Item:Q428894","lastrevid":61766286,"modified":"2026-04-11T01:31:30Z","type":"item","id":"Q428894","labels":{"en":{"language":"en","value":"B\u00f6hm theorem and B\u00f6hm trees for the \\(\\varLambda \\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049403"}},"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":"Q428894$D39649B4-EBC8-4ADA-AB1E-2A0205D19BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2931d68641f2d470a741fc233415a69015bab819","datavalue":{"value":{"text":"B\u00f6hm theorem and B\u00f6hm trees for the \\(\\varLambda \\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428894$CA2E6B49-C058-4177-B894-C7E590F943AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"429e798e177496605281c8f00a6f82afee1670eb","datavalue":{"value":"1244.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$4E22D311-5D70-4E18-B33E-90F8EE60E99B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$515853D6-3EB2-44E2-A412-01FC082F2D34","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":"Q428894$BC8EF711-C5E1-4986-BB04-0B9B8B0C27FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428894$76B4AA50-EA7E-4352-A825-ACD6293D8F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$ACDE218B-7309-4458-8765-4FC6EE13586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$E1C11841-8986-4544-ADCB-04F47CE775BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f80bc40d55137bb72889d8e5f0458c06a62695a5","datavalue":{"value":"6049403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$D1ABC3E8-5C4B-4387-B42A-DE50CBC4A51A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ff3ce088f68c430abeedfe461960e04cf5544","datavalue":{"value":"\\(\\lambda \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$0641BFA5-D491-4A14-862D-FF02CD4B0A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b06d3ac0b4973984b5c205a90eeeae4133f1c6","datavalue":{"value":"B\u00f6hm theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$9B8F32F5-A142-48E8-A890-4242E3BC516A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$76307944-715C-4D20-9F28-948243C6494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cc30c03f732bebe0012a6c15381da640950cf","datavalue":{"value":"classical \\(\\lambda \\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$FAD7C6EF-6F49-4FF5-9D4F-9FE6A21FD6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442954d3f17ff15e3739b7b61d7733b286b43ce2","datavalue":{"value":"(delimited) control","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$232D5F07-8158-43A1-8D7E-D7A67627709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac60e84007f1473e45a583ffe8789a36e2800ff2","datavalue":{"value":"infinitary \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$4B29ED51-C65D-481B-8519-D3F720882E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c016621abfe8965879d06c6c7c95d9a281610fb7","datavalue":{"value":"separation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$28CA6A77-362F-407A-B5D6-B366419E85C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0869222eed5863d62d92442b3d59218c7e62b62d","datavalue":{"value":"shift/reset","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$E737B1F8-979E-429D-BD6A-0801FCFA87A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q428894$5613CA91-83AE-4116-9BBA-9F5870C4FA4F","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":"Q428894$9B033713-8F6C-48A7-BEB9-54AC3C58E989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9563a0738cd532da3a459d396b588266e9a2f478","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.02.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q428894$7A60320E-044F-4E36-AAB0-17DE7498C07A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d37c4da17d08cb00391c072db9167f0234005912","datavalue":{"value":"W2044279448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$6460E297-3AAB-49F3-A025-EFBFA15C5024","rank":"normal"}],"P223":[{"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":"Q428894$6BC2E05E-E29D-4814-B2D4-4D101FACA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$9E45DB03-0742-4EBD-AB51-7F2D2DCD3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$CB6188EB-6D7D-47C5-B3D4-BCD95BE24C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$4B009D69-2A84-42B4-9953-B99AAF02F450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb3a78bbdc3452fd4009af98c6e088b6a28ed53","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$DDB8BB45-583A-4BF4-A4E0-44B0A79B9AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$14B90095-355D-455B-97CC-BC2C70706F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9a53038a3e03bede13deef3624bad6ce441e04","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$E622120A-9DDD-478C-A033-5F8162C5148A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$1A660143-C340-4129-936D-415E654A1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$8285E0A5-9435-49DB-8A7E-B70DB108359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$8BF77E67-2F52-4EAA-B445-D55B7211D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f7da21513c3e54b493fca964adead13ded567","datavalue":{"value":{"entity-type":"item","numeric-id":3189857,"id":"Q3189857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$F7BD4BC8-A513-485A-AE74-A139204BF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$2DCAE71A-0441-40B1-92F5-2C70F93B6E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3460129c7b89fdf84f737e2b61ee4d23c2b0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5055835,"id":"Q5055835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$6BAD6E67-F70A-4231-8AF2-12FD132CCD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$6692F9CD-DDF5-4036-8D52-AF6B63656074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b992789dc6a373764c584611377191d36e19f1","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$9273F965-773D-40C5-9830-468D4684479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d246d04d1b3de7e3bfde60c8a57f11cd4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$6F3E5FAE-7063-4BEC-B1C7-29512630CE91","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":"Q428894$0ADC29A6-4AD1-4EC9-BFF6-DBA17A68203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$01D44BA3-B806-4640-86DB-A7F08F070800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e071b82df678c6ec0f432c6d3d6c2abc01699489","datavalue":{"value":{"entity-type":"item","numeric-id":1314351,"id":"Q1314351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$7239E66E-E20C-4D77-8175-C1E92066A874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$821CA05D-9706-4FF8-BAC9-E75026521139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$EC91C8AC-D80D-4F26-8913-0CA545405E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489a47940ceae4cbb0e073a78fad86f30d28f992","datavalue":{"value":{"entity-type":"item","numeric-id":2724040,"id":"Q2724040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$DDF83E85-4C6F-4F4A-8A32-062F36F22A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f12726e90794380dd81264e93de3b1d3cf4f88","datavalue":{"value":{"entity-type":"item","numeric-id":4916173,"id":"Q4916173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$D256DCF0-83C4-4A10-8DD1-271E425BDB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fce346af8ad8eed60230e11cee99a093b89a02b","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$E3DE8040-3DEF-4EBD-BB36-C1307D9CC92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14d7967fb21e1684a2efd177087149a79f15644","datavalue":{"value":{"entity-type":"item","numeric-id":2703743,"id":"Q2703743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$E283F13F-2F9A-4C39-933E-C13874A2928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$29E5E84B-6D29-4E6E-8E1F-14F13C382DB6","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":"Q428894$41EF1A34-6170-4BD5-884B-E42A55CC3982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$8D6CFD7C-17D2-482C-8355-E77A63326F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33664ee3ea0d3997e437fdd06eb4f41907efa8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$24795DA3-D1AA-4C99-A40C-ADF2434AFFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$5075DD2A-AD36-41B5-B96F-B85DF1519DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$80112A0E-468A-4B81-92D2-FEB37D66F3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$6D83E554-F167-4C7D-A657-834072EFA5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615f3cd43bda9bcc08ad43c0e060b9ad9cf5508d","datavalue":{"value":{"entity-type":"item","numeric-id":4530146,"id":"Q4530146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$52AF0B44-EF80-42E4-8A66-5894C53B3172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9857dbd858d115214819c225a403f3f5e8efb794","datavalue":{"value":{"entity-type":"item","numeric-id":3557863,"id":"Q3557863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$1B73711F-6CF0-4920-9A8C-F08123A75BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f064cf159579794bfae00dee95adb9cea90f6","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428894$9FF54BDF-A883-42B2-9D62-132D940D5ECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcda5f69abec397505c2b59231ae41ac41167cb5","datavalue":{"value":"10.1016/J.TCS.2012.02.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428894$DFF6ADBF-C1F2-49C8-BD92-1CA7399F32C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1405c8437cd0b11039779d32ca90754b67047c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3558334,"id":"Q3558334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133c43824e6525b09fc6f8bc559208c19f3ddc52","datavalue":{"value":{"amount":"+0.8910531997680664","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":"Q428894$566011D8-8958-4EA0-A83D-62FA17869433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec592ef1b4f40e9024fc14a0160cd15e30434ea","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b4b921eea3385554adfacb9fa24c6b633da604","datavalue":{"value":{"amount":"+0.8796769976615906","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":"Q428894$6EB3AD45-4B83-4143-A59C-3EB7BBAD1422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e43db8af2de792edfe496108214f7668b61ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4992395,"id":"Q4992395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20426e40b8afbe802edd8836fbff876edb0e2543","datavalue":{"value":{"amount":"+0.8103085160255432","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":"Q428894$C0518CB3-16AB-49D2-AC5F-B6E068FFF178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95e7bd79db6ca56521ad6b79f2aa2e7a405332","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94033f8647ba4e877014a6821ac42187556e5f2","datavalue":{"value":{"amount":"+0.7942699193954468","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":"Q428894$F9A66CBC-9782-4D54-8776-A21D6C335613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4470dbea6a40b40b3daed6ea4692ae8fc057fd","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a45f4dbb393209de58a8adbd460b49974f4925","datavalue":{"value":{"amount":"+0.7891273498535156","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":"Q428894$A41E40A2-17D2-4312-B673-E2FD121B9A17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B\u00f6hm theorem and B\u00f6hm trees for the \\(\\varLambda \\mu\\)-calculus","badges":[]}}}}}