{"entities":{"Q1744389":{"pageid":1755131,"ns":120,"title":"Item:Q1744389","lastrevid":53070155,"modified":"2026-01-24T04:09:12Z","type":"item","id":"Q1744389","labels":{"en":{"language":"en","value":"Programs as data structures in \\(\\lambda\\)SF-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862931"}},"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":"Q1744389$BC96809A-0AF4-4540-A33A-3650634B0A0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"367109d39cc6ec892875e38917b583ecc75bfb3d","datavalue":{"value":{"text":"Programs as data structures in \\(\\lambda\\)SF-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744389$2F463376-343E-4EFE-ADF7-71EA365F6652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aefdd5fcef4fc7417a7a7051cf73fbf113948cc","datavalue":{"value":"1394.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$326AB7E6-6D2A-464C-ABF3-9B1776BDE53D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744389$4EC4614C-5F6E-4C5F-8677-E1EF9E25472D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$B5864AE5-FACC-4D69-A40E-DF53FF30F453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ebf03fc553ec5e0e99554cd5228a7b653504b46","datavalue":{"value":"6862931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$016AF936-14DB-4DFE-8083-BD026896255F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744389$F3214BE9-C4CC-49B2-858C-B28645178727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81483a78df1fdff598d0f5de5ed2b489a2327fe","datavalue":{"value":"SF-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744389$B1C6A323-FC60-4720-95F5-6E37580B9CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f33462de83f3c8ec0e31225526023938cc84f587","datavalue":{"value":"self-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744389$8EF10835-681E-4017-85E3-111735DFC7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d781b36f35ac7385ce0c010588a874c46deed9","datavalue":{"value":"xi-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744389$F7E58112-5FFE-4CE5-B55C-27C182FC06D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b90fa7a1210e62a50e28791a4ad13f433322428","datavalue":{"value":{"entity-type":"item","numeric-id":584379,"id":"Q584379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$D2C63780-6BF8-461B-8073-22D308F51814","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$9A18E3D1-E4F9-4DD3-96A8-A86779FE204A","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":"Q1744389$8A687BD2-497E-4BED-976B-5F49A83CA9E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45a8889fd610eae9a53b666f376b554ca3db0b60","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744389$E0A3C984-830E-405E-B59D-DBA8F4CBB630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fb48dad1153a886a7c1a10ea4ceae2fe5ee9d8c","datavalue":{"value":"W2528339563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$22D6F334-1BED-424E-B0E0-4E59EB5BD5E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"47c6daba9e2de09965f1400f0f343d236c9c27ab","datavalue":{"value":"Q113317632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$F943B1BC-1C29-4143-AE6D-03DBA85E0936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$FBE69B37-088D-4160-96C5-35413280F1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$D3DA1A32-5781-4D20-823F-A45D8469C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c39d7bfa80be3aed5196eb50744f007371aaa2e","datavalue":{"value":{"entity-type":"item","numeric-id":4283231,"id":"Q4283231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$E2714B33-4249-437C-8E0D-105FE81701B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178a305db70d063c9414f889befd07cf69660c2","datavalue":{"value":{"entity-type":"item","numeric-id":3629217,"id":"Q3629217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$B162AB3F-0114-499E-8B67-0433C56E1E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e34d77e8b982f1f9ff301adf3ae96fcfbb00c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3173527,"id":"Q3173527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$73C27914-6327-4055-858F-8D720801A17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6855737f65e184b6ceee78000387e49e4fd454","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$12817ECD-3C48-41C0-950F-8BB0A0155038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14540ae2ad7bf0b52cb06e5414a119f360639b7b","datavalue":{"value":{"entity-type":"item","numeric-id":5176979,"id":"Q5176979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$0CD93B59-6CAF-43C5-AB43-7059681954B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$F7F0AAB6-3DAC-474D-9B42-E321B3DB606A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5518e34b7536a8c7a1cf5bc9d876c46982dedff3","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$ACC60BA4-F8A3-4596-8E47-281EA909E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$815AFD46-E414-45D8-8F3F-0F5AC5EF6C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$55881B5D-56CC-4595-8256-EA69E20D94B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc17cd486925f1144c2dd094ab2dc5ecd042446","datavalue":{"value":{"entity-type":"item","numeric-id":5926074,"id":"Q5926074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$E330C646-FE16-4281-BC5F-C6C80B987C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$DF1D280C-A7AA-4973-9511-289CDFAB0412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc403408745e180e19dfd1932560d32af904c4ba","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$1B6FCBB6-FBA5-4953-952D-DBD8975DCF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744389$CB6CEA0E-9CF7-4B81-B9EE-54BB9B49CC0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"827c607b77395b9a8c75db3cd4deae1805ccf2ae","datavalue":{"value":"10.1016/J.ENTCS.2016.09.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744389$AB3D074F-E0CD-46D2-9CB5-CE710AF01781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78de665d2947bb484faa1fbf849804adf12c677","datavalue":{"value":{"entity-type":"item","numeric-id":5013873,"id":"Q5013873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e44a298f5fab318350e7a8e38d79353e37c30f","datavalue":{"value":{"amount":"+0.7289149761199951","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":"Q1744389$86057A3C-95BD-453E-9B79-DD10EE1C1BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7baf9edc098e029c6e96cc27acd223c5429daa2","datavalue":{"value":{"entity-type":"item","numeric-id":5410454,"id":"Q5410454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f607c20886e4c8c56f4fda5a6dfbdc3e15bc43","datavalue":{"value":{"amount":"+0.7121915221214294","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":"Q1744389$557BC0AB-9EA5-43A6-AFC6-1B819E907786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f01d56a15a7488a99c5dc8231f5efb610961c9","datavalue":{"value":{"entity-type":"item","numeric-id":3173527,"id":"Q3173527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d29c62f7a4154e1b576a45927fd3fc9ca2bcb7d","datavalue":{"value":{"amount":"+0.7012618184089661","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":"Q1744389$FF29B78A-8563-4CB4-8057-1121C5F2E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6d52a31ecbb57f0102e7444134345bd7739db7","datavalue":{"value":{"amount":"+0.6994003653526306","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":"Q1744389$A8A23159-3269-42D5-9C5D-62F0AFD65E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596095dd99dd684b60d6ccd6f7910efb1630ff4","datavalue":{"value":{"entity-type":"item","numeric-id":3980023,"id":"Q3980023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00733ee07f4640cfe473797f9cd992457870f038","datavalue":{"value":{"amount":"+0.6979519724845886","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":"Q1744389$52296AC8-F48E-4C88-B049-65560B7CEE6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744389","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744389"}}}}}