{"entities":{"Q3006163":{"pageid":3016887,"ns":120,"title":"Item:Q3006163","lastrevid":79839614,"modified":"2026-05-06T14:49:40Z","type":"item","id":"Q3006163","labels":{"en":{"language":"en","value":"Extending the lambda-calculus with unbind and rebind"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907102"}},"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":"Q3006163$66925941-D081-4852-9CB9-76D9E5233CB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e38329d9554abb9a4af5840d3bdd1604b52f7209","datavalue":{"value":{"text":"Extending the lambda-calculus with unbind and rebind","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3006163$9D777A9A-B794-4B7D-9816-507A3D3730D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3f081dde28dc82200d82f2525d9b112d21485ae","datavalue":{"value":"1220.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006163$1465E7E6-3FB0-46E4-941E-D5A2D106BF8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$B077EACD-34A3-4745-B68E-345FD18EAE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$43EBCFC9-2C1A-4B0C-92DF-37EDB1C52681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$415FF18E-C088-49C5-BB94-C30236DF3DA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$D534006B-F157-4F7B-825B-5AA8C55B2921","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dbad52a0f817ae0f82292685951e6b502d167f","datavalue":{"value":{"time":"+2011-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3006163$2D9E6259-2507-4843-801E-54C0F636D0D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aae72d2a4f37b1e6cda4a54171d4f2668465c47","datavalue":{"value":"https://eudml.org/doc/221948","type":"string"},"datatype":"url"},"type":"statement","id":"Q3006163$3C4AFD47-47C3-40E2-80F9-3FB5971EB8EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006163$DEAE1782-4647-43D6-AAA4-D441D03DD6C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984dfd1824a4851ee6a1f9c44576b80338193d65","datavalue":{"value":"5907102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006163$3826AB06-3DB5-4857-BF94-DEBBA1B65CEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006163$C583D99A-9730-4F65-BBD5-AB06B5B3658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006163$76E584D1-9059-4A25-AD7D-2B01075F4A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09502df3538e1f09cc961484a71be3443a210a11","datavalue":{"value":"static and dynamic scoping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006163$854164CB-EE7B-45D0-AA72-E09A6488891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329155afb96797308697695bd91b82f5383651c9","datavalue":{"value":"rebinding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006163$17B03C4A-D298-4021-8FDC-3F773B3B2242","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":"Q3006163$02D8E7B9-E02E-4940-9EAA-7343E1AF7304","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28025d17b60922fb352279aa64685720a04af375","datavalue":{"value":"W2019672037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006163$79BBA691-0252-445B-A684-DBAEB9ABDF23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"381a784d805595b1ce1c15c499a4ae61a0c9ed3a","datavalue":{"value":{"entity-type":"item","numeric-id":2864499,"id":"Q2864499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$CDEBA486-A5BF-4EE6-8A00-5620228F493C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e44af9d9ad9619c62ace9cd8cf7831bbdd309","datavalue":{"value":{"entity-type":"item","numeric-id":5261269,"id":"Q5261269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$C479992C-DB32-4263-92B1-E884DD5C0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1887644b2ef4af5ef7c8805f46e5186aa6119bd","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$37C78506-58EE-4652-AFEB-66E57AE9BDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cfe7d014fa03a73709236d9af4cd455cc508f5","datavalue":{"value":{"entity-type":"item","numeric-id":3006163,"id":"Q3006163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$61838288-8782-4B5E-9D1F-406C6A424C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c6d6afdb85c0c418d2115da1abebf4577d3ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1290313,"id":"Q1290313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$68FA6B3A-9BB5-4732-9A9F-519B1A20B9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da80543676c842f3f42bede388cb140fa9759e04","datavalue":{"value":{"entity-type":"item","numeric-id":5308092,"id":"Q5308092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$E0E88CB3-45D3-48B3-90A6-BB7B783DF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006163$B04217A6-D01F-4ADB-84C1-31042D59A204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c95d372b898a66b014a919e3d28dde0b66a60f4","datavalue":{"value":"10.1051/ITA/2011008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006163$2E9C98FE-3FC2-481D-9D69-F86359DC23D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa7367992b967c85f1b32d26af08df3dad18c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2971056,"id":"Q2971056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611a789ee62a9eb37b9a98fd29af20ee22ef2605","datavalue":{"value":{"amount":"+0.8172791004180908","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":"Q3006163$7C277E1E-DCEE-4B6F-83A8-9F4F75B59C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c280e2b96ae269555ffd062d5c4f3b9b858d374","datavalue":{"value":{"entity-type":"item","numeric-id":1127514,"id":"Q1127514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a9fd90a404dadfb718930878b242fe12d3331d1","datavalue":{"value":{"amount":"+0.805966317653656","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":"Q3006163$E6962364-49FC-49BF-8482-6F71D2F29C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360aabb3c5b6a050e2629232e4328a1ff18fcaa2","datavalue":{"value":{"entity-type":"item","numeric-id":4964691,"id":"Q4964691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f69c168c679f32aa313ceeeead4051ebd2c9e3a","datavalue":{"value":{"amount":"+0.7958943843841553","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":"Q3006163$D18C4AEB-3BA4-4A4E-B24B-D8A28896088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa4c1640044dc69bffdf64e5cc6ab0a0c392a33","datavalue":{"value":{"entity-type":"item","numeric-id":5261269,"id":"Q5261269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4195775b297a24a5701bf11c8d4ad17b46dc64","datavalue":{"value":{"amount":"+0.7813781499862671","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":"Q3006163$943E810A-35AE-425A-B76B-B4AE427920AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea1991216533e12f65a5dab92ced721bf036472","datavalue":{"value":{"entity-type":"item","numeric-id":3520166,"id":"Q3520166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d4ba5cd8f0bcd101305c13e6fce7b4b4108860","datavalue":{"value":{"amount":"+0.7581362724304199","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":"Q3006163$59AC1D18-7F0F-40D3-9BE2-93C19D5EDD56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending the lambda-calculus with unbind and rebind","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_the_lambda-calculus_with_unbind_and_rebind"}}}}}