{"entities":{"Q2713367":{"pageid":2724106,"ns":120,"title":"Item:Q2713367","lastrevid":82966826,"modified":"2026-05-06T22:33:48Z","type":"item","id":"Q2713367","labels":{"en":{"language":"en","value":"An adequate and efficient left-associated binary numeral system in the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1595946"}},"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":"Q2713367$11907167-A365-4F9D-BA08-69AF2BD973C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ab5b80e3acf574d78d31f4bfe71963cf4db0bba","datavalue":{"value":"0974.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$A82E000F-CA4D-4D5A-90A8-61BED4380283","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d848b7f15fcab5f4236b66753124a3d468394b2","datavalue":{"value":"10.1017/S0956796800003804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$1E77F6E5-9C46-4017-9C4C-8CDDD4DF0772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06faedd9e195bc435901be02e1baaf30d3515170","datavalue":{"value":{"entity-type":"item","numeric-id":294780,"id":"Q294780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713367$0511E9AB-4805-497E-BD03-AC170F54E1B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2713367$F65D35EE-2D8C-4A89-A6D6-74D2A1D9F0DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2713367$BACD9BF6-02F0-40B3-83AB-02A4374845B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$35FF4DCB-E212-47C9-A80B-7430DB7A538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$8C17039E-C62A-4211-8BA0-8F7945A41FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12f4a52dd0c18c9be7c327eb520a82b7abf4f1c2","datavalue":{"value":"1595946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$6C22DC08-EFB6-4411-9865-A80D691C03E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713367$27C34AEF-24CF-4A45-8B62-8E0D8AA7760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b2852743b9b60daac987e54bc749c6903a256a","datavalue":{"value":"binary expansion of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713367$C94F6AFC-7EE5-446C-B540-D0D6583DCA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2838d4bdbd1a4f206cca314c09fd286d35f43816","datavalue":{"value":"numeral system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2713367$C72EAA03-E340-4B10-B61A-9C2ED33938C5","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":"Q2713367$5B79F244-3E55-4606-9E0D-CA739C9813A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b484900d9350438fc6c2d3163ceaa2560d33cec","datavalue":{"value":"https://doi.org/10.1017/s0956796800003804","type":"string"},"datatype":"url"},"type":"statement","id":"Q2713367$AFD70D43-6EF3-4229-80C8-65DF1987A840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cc673b0f22fa53db766e8c89aa8f578931f1f21","datavalue":{"value":"W2116408615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2713367$5F001097-593A-4E8A-B7AE-B95C0D16BDAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54b787ff8c390338f0e82666f9a860822d06fda7","datavalue":{"value":{"text":"An adequate and efficient left-associated binary numeral system in the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2713367$077E5394-A2F4-4A22-80D4-7ABC9F9520B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6437449001dcd2004228e0d42eab1c88ccb8ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":1903129,"id":"Q1903129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f31729ee5a02c47a81e1c98d204519f3d4b7b7f","datavalue":{"value":{"amount":"+0.8218737244606018","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":"Q2713367$B80A01D7-CCEB-453D-BBB0-6B7831F82ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84666230437d807e66683e1dd4dff573b84817fb","datavalue":{"value":{"entity-type":"item","numeric-id":2005559,"id":"Q2005559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a72abaddfbf03b4fb6bf5022e4dad4bed3eccc","datavalue":{"value":{"amount":"+0.820264995098114","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":"Q2713367$0AF55168-6D90-470E-849F-D9F1C36AE9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e496f1645323a0d54b87304923eff3bc6e8f70","datavalue":{"value":{"entity-type":"item","numeric-id":3043823,"id":"Q3043823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823f663a0160294721c6db3a6dade5d660a31a88","datavalue":{"value":{"amount":"+0.8076319694519043","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":"Q2713367$C4AF738A-7308-4C91-8076-C1D052844D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d9afc997d6ccab041c96d717e2ca9ecf4ea6e7","datavalue":{"value":{"entity-type":"item","numeric-id":1381438,"id":"Q1381438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0993e92d735172d14f36c550adbb30f015a5c32","datavalue":{"value":{"amount":"+0.7914448380470276","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":"Q2713367$10495C1F-0179-4F0B-A778-665AC376F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ce9a4f203e55f37fb33e73f450618654cab652","datavalue":{"value":{"entity-type":"item","numeric-id":2789550,"id":"Q2789550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0993e92d735172d14f36c550adbb30f015a5c32","datavalue":{"value":{"amount":"+0.7914448380470276","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":"Q2713367$F8BE3C9F-951D-42C8-BC4D-6C2CAD26598C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An adequate and efficient left-associated binary numeral system in the \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_adequate_and_efficient_left-associated_binary_numeral_system_in_the_%5C(%5Clambda%5C)-calculus"}}}}}