{"entities":{"Q918191":{"pageid":920039,"ns":120,"title":"Item:Q918191","lastrevid":65370882,"modified":"2026-04-12T02:07:23Z","type":"item","id":"Q918191","labels":{"en":{"language":"en","value":"A characterization of lambda definable tree operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157863"}},"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":"Q918191$5E207490-A588-494B-87FA-25E50CDDE471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1867b3bb230a6c836e099b738f0cf2fa59d37d0","datavalue":{"value":{"text":"A characterization of lambda definable tree operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918191$E19809E4-18DF-4BD6-8FC5-3E9E8432750D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"010934133afa1ba5c1085809e3573a8166a23107","datavalue":{"value":"0705.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$14A2B473-9F6F-46DB-830A-B3D480E6867B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d6442a29f985ffdc77e6f7244b8795e3674833d","datavalue":{"value":"10.1016/0890-5401(90)90019-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$27476738-84F2-4E37-A99C-E758EFE68FFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$FB73B761-27C7-4F35-8A39-1DF1F2E3D7CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$3E20EB30-0A1C-4002-908D-0B1EC339AA3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918191$132B4E09-38C3-4D31-BB94-05D7A3BCA506","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$F3C05D41-E1C2-4F0A-B5D8-D9DCB1DB9F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$4EB5F9D2-877C-4AE5-8EB6-2CCAA8203E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$80C29F04-8E51-40FF-B87C-CE73C869E7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$B3860E17-10F7-480A-B9CF-E6A51F6B7E57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cc3e99dc8c30f396992e3d215f4e8bb33b77cec","datavalue":{"value":"4157863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918191$EF844AA6-901F-4BE3-9A9B-708BB05653FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q918191$68ADD92C-1A2C-4AA9-971C-7AA7CCFFEB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cfab7320641965853a62ff5e5c00f87e266c99b","datavalue":{"value":"binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q918191$0F886A85-B890-4133-AF17-399DA3ED4540","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":"Q918191$65E25F54-D110-449A-87CD-5E9E2872D7B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$E8A4DD67-73BA-4684-AD8B-BF02B5ECA0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$1DE37B90-DA81-4BA6-BB5B-7C2945212467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$5688AA23-C739-4CA1-B821-B224594654AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$A394C73A-E73D-445B-8D99-A45E5446BF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$517670FE-C92A-4A30-AAE8-5F07F266149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$5F6E172C-BCCC-4562-B588-E17C76C92315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c93444ecfe5e57390b453a78b405e81b591c986","datavalue":{"value":{"entity-type":"item","numeric-id":1164619,"id":"Q1164619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$5158B12A-FE47-4F3B-B263-13ABBB290C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93f973f98b4638e8fbd5879c5084c6be77b8024","datavalue":{"value":{"entity-type":"item","numeric-id":3322071,"id":"Q3322071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$F2825963-DBD7-4033-A31F-F6715F2C0A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1001498dbf07b01f43f21bb5a8ee3d4a10f94d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3708774,"id":"Q3708774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$DA844723-A549-44AD-85AA-2DD9229A6ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98439a18f63832b13defd0133e599f5b2b5d74e","datavalue":{"value":{"entity-type":"item","numeric-id":1099156,"id":"Q1099156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918191$8B058E59-E45A-46FE-ABB5-8CBA2980233D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cef6f433968ba5dbde581891965886db0109c7","datavalue":{"value":{"entity-type":"item","numeric-id":4273488,"id":"Q4273488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802e7e480243d142419d1dddd9c58c859eec1e4f","datavalue":{"value":{"amount":"+0.9905837178230286","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":"Q918191$70235ECD-9215-4F74-9FD6-90DCA78194F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb60463fce1837f26088887052efae7fde5d0b69","datavalue":{"value":{"entity-type":"item","numeric-id":5249246,"id":"Q5249246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0253f441ca6f2251c402780b9e51e6369089d32","datavalue":{"value":{"amount":"+0.9902893900871276","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":"Q918191$A58C319E-9252-41D1-9FDF-CD28E83DC00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da89f4a0fe91e9ef5b801448543c2f1fc999b1","datavalue":{"value":{"entity-type":"item","numeric-id":4032312,"id":"Q4032312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6848f82ee2acf725ea9dc9541664b9d69db9af96","datavalue":{"value":{"amount":"+0.8652108907699585","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":"Q918191$6F312A05-1FA4-4DC9-9F87-225A3A75EA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96045619cb0dc4dedcc011c052fcc330f774da08","datavalue":{"value":{"amount":"+0.8647777438163757","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":"Q918191$4FA48404-9EC8-4CA2-AA2F-B15C5DCDD14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e350cd56034f2bbed6b45eada32092baab54cd","datavalue":{"value":{"entity-type":"item","numeric-id":803116,"id":"Q803116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6ad3498096c8260632aad4c8c02435eaeb2a02","datavalue":{"value":{"amount":"+0.8446402549743652","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":"Q918191$A9A40CCF-9A6D-47A2-9E2A-87421521A0B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of lambda definable tree operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_lambda_definable_tree_operations"}}}}}