{"entities":{"Q4957789":{"pageid":6987371,"ns":120,"title":"Item:Q4957789","lastrevid":58363773,"modified":"2026-04-04T21:45:13Z","type":"item","id":"Q4957789","labels":{"en":{"language":"en","value":"Hereditary substitution for the \\(\\lambda \\Delta \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7393565"}},"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":"Q4957789$BC434B1C-4F44-46E1-87C6-5F249A62DADA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06f484633fc71546a2adbcfb72ac851688755f57","datavalue":{"value":"1471.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$343420FC-2972-4ED0-A61D-2A13C7DAC4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5717cd69276ad67376a7cd3a583eaef8897207e3","datavalue":{"value":{"time":"+2021-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957789$F282321D-6F2C-4555-B8E8-94652BE50D0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"788a54ed6beddbc97714839c4a5ef83c8c3827d1","datavalue":{"value":"https://arxiv.org/abs/1309.1256","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957789$43B17AB2-F24F-4C85-A612-9BB60ADCAFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e349db3d88b9d21b8184f47c41c0eedac325e943","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957789$13055D5C-E195-4651-9027-6B8C748B695A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$D0FE1AFD-06E4-407E-8BB7-4B2DF8BE284B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$6FD92DD9-2F8D-4C20-A6BA-599F5CF2BE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$0D5C2CB2-D0B9-4C89-9173-BFFE93BB2AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$5435D1AD-106E-4AEF-89D2-9E8BC1BAF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$598F5191-17A1-460B-8BEF-3BCFED6925AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5176b8fcc068ca939fec25f384ecdf72669b9b","datavalue":{"value":"7393565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957789$862B4E67-2B87-42BA-989D-8FF284B57ADA","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":"Q4957789$ABBD901B-72EC-4B99-BA4C-B2B74E225503","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42645e68a60128717df0f895886dd341b3855f26","datavalue":{"value":{"entity-type":"item","numeric-id":3638918,"id":"Q3638918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$88CD1A23-6339-451B-AC3B-40FEE2ACF52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be63832a05408b427f1ec7f7a9cbd2befd6fd344","datavalue":{"value":{"entity-type":"item","numeric-id":3540196,"id":"Q3540196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$57C37BBA-AD51-49B9-9A7B-9559CDEC188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7180bb9012ca387c7432e11ae515371cc2f05004","datavalue":{"value":{"entity-type":"item","numeric-id":5712301,"id":"Q5712301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$EB713E46-EA4A-45F9-A91A-15F8203FE30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$4618081A-AB0B-4B7F-82AE-8FEC74E541BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bba503ca0b5969142e3056aa23d82e5afa7c0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5958619,"id":"Q5958619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$2B95D2B3-A951-4303-8E13-5DF03EA13631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$8B857AEB-72BA-43F8-93B5-AE8E1439D968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4714151d6433009295b091bf40040bb50712ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":1175334,"id":"Q1175334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$7300D233-721B-4FF5-BAA6-43AB339E97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$A8622E9D-23A5-4124-A9C0-3FCA0C503A86","rank":"normal"},{"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":"Q4957789$2CD3223A-0D57-4F31-A46D-20699CD3F723","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":"Q4957789$8CFB30A7-38A3-4C42-80EB-E61BFA360EA7","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":"Q4957789$29ED65EA-5FD2-4A89-B925-AC97B00592AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957789$7D8DFA87-5419-4312-974D-1128B03FD97D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05af66315f322847ce1c53d5d5a42b20b0b7b396","datavalue":{"value":{"entity-type":"item","numeric-id":3638918,"id":"Q3638918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c56e4b0949559add9d1648ec918779de35ae51","datavalue":{"value":{"amount":"+0.7873764038085938","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":"Q4957789$9EAE6069-53D2-40CB-B678-F3A282EA6F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5dc303f3b1ad40fbd3260ea7a4c26ee1cdde02","datavalue":{"value":{"entity-type":"item","numeric-id":5308025,"id":"Q5308025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3817a093200bf45aa09bf72c96a464f32f34a99","datavalue":{"value":{"amount":"+0.7824037671089172","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":"Q4957789$D9DD761D-7AC8-413F-9190-822EC3894334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192793dfdd7f78edf981cb5e22311dabcb20a82a","datavalue":{"value":{"amount":"+0.7795864343643188","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":"Q4957789$A2F9D99B-3931-486C-B93E-7A6C1DEB3DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c4c3ab305f205539d668894a76d0bf674315c","datavalue":{"value":{"entity-type":"item","numeric-id":5432345,"id":"Q5432345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192793dfdd7f78edf981cb5e22311dabcb20a82a","datavalue":{"value":{"amount":"+0.7795864343643188","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":"Q4957789$50597ECD-0153-4BE6-BB90-46412C6E67C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b55c1e018dcc7d1fbd95aeb639eefcb65f04b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2785671,"id":"Q2785671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ea985607023a0cbacefa0f3140d1e2703d35db","datavalue":{"value":{"amount":"+0.756165623664856","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":"Q4957789$242AEACB-1509-49DD-9392-22890D42FC4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957789","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957789"}}}}}