{"entities":{"Q4964706":{"pageid":6994285,"ns":120,"title":"Item:Q4964706","lastrevid":58379709,"modified":"2026-04-04T23:24:21Z","type":"item","id":"Q4964706","labels":{"en":{"language":"en","value":"Repetitive reduction patterns in lambda calculus with \\texttt{letrec} (work in progress)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317241"}},"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":"Q4964706$4AC20240-632E-4D7D-B95E-6A2A27EAC2FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3109181d429b0c18dee1d822a8ea940c54617ea","datavalue":{"value":"1457.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964706$F7A31303-8423-4600-AD71-1A2C9F8C0666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6c8aedbd8435f80c439baf323109f528da0c14","datavalue":{"value":{"entity-type":"item","numeric-id":2819666,"id":"Q2819666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964706$B75E4C7F-E919-441B-B925-3DB4106215FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964706$9487CB66-2725-4B03-B1EB-9173153E5457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964706$88065E2B-0D45-4649-85C5-F8858281F6F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef8e46ac9cfb3db9741841150c8d3c30a0e520b","datavalue":{"value":"https://arxiv.org/abs/1102.2656","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964706$D5192C3F-2DA0-4A56-A47F-F461F715A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bb38bd11b5b9444e7870640935d8c99359e077e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2011.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964706$01F1375D-F5B7-4C2A-86BB-FEE8C37D7E5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964706$B3973266-B751-45C0-ABE3-C0F528A580E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13b6854ee3d59f55368f224c19ed32fbb07d857d","datavalue":{"value":"7317241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964706$2FE3CB6E-E4DA-46E3-996D-6383F06409DA","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":"Q4964706$8CE2113E-3C99-4EAD-B586-480B8A661521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0d8ca38a8240505d958b8e0e65b93a4ececb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2819667,"id":"Q2819667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1932f5c4809166c189928cbc4cf05d45e5e9eee6","datavalue":{"value":{"amount":"+0.7548070549964905","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":"Q4964706$FE4D07F1-7FBE-46A8-8D5D-8C95C7DF33D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76ab0295fc0467218a9f23e19a5b632991a5cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396791da50496dae376e6b9e4630314e3c4c07b9","datavalue":{"value":{"amount":"+0.7258251309394836","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":"Q4964706$2D8A6714-E89B-40CA-BACF-0E2DD1A0D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4282e5fb3d705c97b31d2d7b2e3f3faf526b7b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4376489,"id":"Q4376489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89f2e2b7dbdbd4e7e18e60976224c58320e5bde","datavalue":{"value":{"amount":"+0.7252382636070251","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":"Q4964706$6D28B5D4-EAD4-44FE-83E3-33462F5CD244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188c4964a586803dde8e6f739bd20a6ac3045f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777430,"id":"Q3777430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f05061392d051a3b92bb198a3a1d2b893d207d","datavalue":{"value":{"amount":"+0.721171498298645","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":"Q4964706$72086E99-4404-40F4-8C21-A16371069153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d7d924fde776890ac71502db1f6424dfd0b7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1186104,"id":"Q1186104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53de0f46031da6d8e63ed6db17191ec9adcb98e1","datavalue":{"value":{"amount":"+0.7182508707046509","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":"Q4964706$CAB2B520-0669-455E-8C01-EFB2BF1D150B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964706"}}}}}