{"entities":{"Q2931792":{"pageid":2942512,"ns":120,"title":"Item:Q2931792","lastrevid":52145753,"modified":"2026-01-21T00:56:23Z","type":"item","id":"Q2931792","labels":{"en":{"language":"en","value":"The lambda \\(\\lambda\\)-bar calculus, a dual calculus for unconstrained strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374670"}},"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":"Q2931792$40E838D5-94C1-4A77-822D-88AEAD111DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"968744f863adcf5492dd1fdbf4b0d7852d7685a2","datavalue":{"value":{"text":"The Lambda Lambda-Bar calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931792$1B56EC6D-E100-4CE7-A35E-128E9F2DAC10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82f50de17d9a354fa9874606869027e65d154647","datavalue":{"value":"1301.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$F49849F4-998A-4F5C-A264-ED0C997A2E8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9484850333fcb5bc79e9504d909aca62f5154654","datavalue":{"value":"10.1145/2429069.2429089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$198C0E46-0119-4C4B-8544-DD0B95433BE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40d2323388059f4b57d65a1d67a8983bcfd69165","datavalue":{"value":{"entity-type":"item","numeric-id":2931791,"id":"Q2931791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931792$ED65FBFE-9F19-4CB5-8AD6-4C16BBBF9F6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931792$248C8BBB-CF95-46A2-AF48-A24ABE495893","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931792$E0E96164-4AC3-4FB7-BEB6-411C79186FE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$BAFBE858-9946-4F72-B4B9-70E1F33DC890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$A685E1C5-BFDC-4D85-957D-FD01C987C4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$FB9732CF-D5F6-4B3A-985A-4E0D194C7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd56112d1fbb35227c46e5988416735c636aae64","datavalue":{"value":"91A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$69605891-BD23-41B1-985D-F2A81F4E2178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bc7eb0f462deb89a5bf6af1abf9a96ba13c81d67","datavalue":{"value":"91A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$76D6F682-C82E-4C18-9FE9-CF28CEDA5528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"506a84127ad3fea917fdc19e3e5c3d07407373ed","datavalue":{"value":"6374670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$D19860A9-514C-43B5-B0F7-795FA0E74D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931792$93C4C40B-0606-4586-B541-86B75507CB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931792$C90D815D-DDD0-4D98-B50E-0FA6AB6D4349","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":"Q2931792$79BFE50E-5A82-4893-AC38-44676CEE8136","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb7a9152ffa9858014629a25ff1fa7743eedbc2","datavalue":{"value":"https://doi.org/10.1145/2429069.2429089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931792$ED24EE97-B2DD-4C35-A34C-2CE6181AC024","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98467922d9132f3586b093058b11caa22fd2c6a8","datavalue":{"value":"W1979984986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931792$9779D833-6650-4808-A1F2-8DA1093C3DA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4657d37690e084d0c8fc38c63b6f07d44d27a71d","datavalue":{"value":{"amount":"+0.764508068561554","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":"Q2931792$8EB5CA5F-9A13-4AFD-A591-A4EB02AFD4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5879256715cd8ac7bfe0f819550c00faf62100","datavalue":{"value":{"entity-type":"item","numeric-id":2503039,"id":"Q2503039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4657d37690e084d0c8fc38c63b6f07d44d27a71d","datavalue":{"value":{"amount":"+0.764508068561554","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":"Q2931792$68DE00D0-67CB-4014-9797-E239D5C08056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4efa83f01a39f241097ded4482d17adf0aca9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2778818,"id":"Q2778818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a09e685144cd48cbb9e9804a99dc0b629ab6f7","datavalue":{"value":{"amount":"+0.7462664246559143","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":"Q2931792$4F225CE7-B77E-4426-A2CA-03409A389287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d550264b6e0b9b9e34fc68c3834fa65e248c7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc42fab75b7e967f70cde2428f9c54a6aa809a3","datavalue":{"value":{"amount":"+0.7428496479988098","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":"Q2931792$8CAF7B84-B952-4776-93C5-30E7A0F607BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c770a9e212cf0d6a6a0d84f6bb07cd9b3868904","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5115e14e21c9b2745d26927788acadfa758eff","datavalue":{"value":{"amount":"+0.7420904040336609","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":"Q2931792$22447825-CFB2-4767-994F-0828AD7A387B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931792"}}}}}