{"entities":{"Q391429":{"pageid":393196,"ns":120,"title":"Item:Q391429","lastrevid":61486743,"modified":"2026-04-10T23:41:36Z","type":"item","id":"Q391429","labels":{"en":{"language":"en","value":"Asymptotics and random sampling for BCI and BCK lambda terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244239"}},"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":"Q391429$674648F0-E6A2-478E-9F27-919A8A260BF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb01154176ddc6214a88c9300d90a55f7b904fb2","datavalue":{"value":{"text":"Asymptotics and random sampling for BCI and BCK lambda terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391429$02B39BBA-2089-4E29-9534-CF6994E7E1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb412acb398410281ee3b05448476d1f76f5caf","datavalue":{"value":"1297.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$E11C4F04-E28E-46BE-99FE-AB082BA780D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3fdaaac0e110cbc4c911ad49e4f3b8502cfbd1","datavalue":{"value":{"entity-type":"item","numeric-id":391392,"id":"Q391392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$1B357F30-3461-446F-8363-0E1922C4BB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5ee0a5e949ebe2696f3512690250d73c4bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":391393,"id":"Q391393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$ED33D258-0A39-43EA-88D5-BE4128EDF9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e549d6f3c94e54bcde904397ecde45a0745bc58c","datavalue":{"value":{"entity-type":"item","numeric-id":213142,"id":"Q213142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$08A9C896-59C5-401C-A437-3D7B5DA29937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$C4FF16FB-CB61-4FE3-881B-4D93337FCE80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q391429$8ACB7D2F-BAB1-4FA2-B60E-D45CA0F2EB7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$2DA4D4A7-7817-455A-B57A-CB92E225CDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$0438C9BE-1C23-43D6-B7FA-25E9D1DD74D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b85c221f9847adc30512692a640a50dd4e3d1cb","datavalue":{"value":"05A16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$82019A0F-B4A2-49A0-8EDB-0AE550CB3813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$9ABCBB12-2550-49E1-87DF-8B9C9A69A717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81af4ac3f709bdecd82f6236485bd026a4da1445","datavalue":{"value":"6244239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$984DF37C-878E-49E3-A572-D1DC64CCCFD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0001abfca96f91f69f1d41d36a753a7461d8f72","datavalue":{"value":"enumeration of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q391429$C12AA8A9-4705-44E8-8F99-93EB77F1E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6302409ec09fdeadc6bb9a580f9aea6765769730","datavalue":{"value":"random generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q391429$A8E60A7C-ECDA-4140-82E1-023ED30ECF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955f0d1d1717dc08466b9b43c48e0d3d03245bed","datavalue":{"value":"BCI logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q391429$12377482-FA92-4287-841A-9DAB2F1BD484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd8d1c038f24fbf09bec95f5a72c0feca8d4e82f","datavalue":{"value":"BCK logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q391429$223242E9-B1B7-4810-9E52-437F4A8B42D7","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":"Q391429$5823EAF6-02F5-4159-8794-32E71A348EB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86d2d90bbc9b3c5d94da8528b056f71f730eabb0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.01.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q391429$014D6907-0DA1-4AFB-97E2-A4E5EFF5BED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2167dd370ce2b77c3c886e764d822793e6a94f1","datavalue":{"value":"W2023605482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$16421C06-E942-4F6B-A649-09B2BDDB28A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff766f1dc4b05389d5c435a5a864396cc5a898d4","datavalue":{"value":{"entity-type":"item","numeric-id":2772920,"id":"Q2772920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$DF9A3AE5-BED3-4F66-BF8A-787E9C62595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a90c73bcf65723c5caa489891ceb2b9a228fc41","datavalue":{"value":{"entity-type":"item","numeric-id":4046051,"id":"Q4046051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$AE2DC818-6537-491A-90EB-DA61C1204B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7fb451cd334a87eafe9826c9961a47e98d4405","datavalue":{"value":{"entity-type":"item","numeric-id":1255501,"id":"Q1255501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$D855ACD7-BF51-4DA2-A5BB-7F2588D57E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a783e0287883b68fa212a38e520ab3ce242c015","datavalue":{"value":{"entity-type":"item","numeric-id":396960,"id":"Q396960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$12918287-E151-4143-9D25-4E165012CA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b07d6ae8072ec0b52d1a52248f558d67752e38c","datavalue":{"value":{"entity-type":"item","numeric-id":2743189,"id":"Q2743189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$1C97F65C-B048-45A9-8629-400856767735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db515ae73ede093f48b40eeaa4ab97952c972a69","datavalue":{"value":{"entity-type":"item","numeric-id":2959896,"id":"Q2959896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$FC57102C-0416-41B6-8E0D-1F5DDF6B2123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf540dac72bcd5ec964f271bd4451af06502cd55","datavalue":{"value":{"entity-type":"item","numeric-id":4071773,"id":"Q4071773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$00872099-BA6D-46C8-BF2E-2402BC0111DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$E9E7DBE8-5622-4CED-822A-7951E3A3DD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e992fdac545c09ed0723ce6c4b81879caf7dd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4670356,"id":"Q4670356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$C7EF8696-BEC2-4C2F-A421-8DB638362C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3eda8b3b438296589daf83bfa9911c315a8c37a","datavalue":{"value":{"entity-type":"item","numeric-id":5953105,"id":"Q5953105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$BF265339-ECC8-4D66-8928-17AC40ADBBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c9be289f301a62ec49ec26d1d8f010fbbb0c94","datavalue":{"value":{"entity-type":"item","numeric-id":1277378,"id":"Q1277378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$A0E5A669-A8D5-4A02-9DCC-3693925A2718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$7B533EF6-088B-4393-B5D6-A7B06CA8080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1d324cc9019a698adf4b1a1a457ddc273746c6","datavalue":{"value":{"entity-type":"item","numeric-id":3608412,"id":"Q3608412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$DA9EE5AB-890E-4332-8576-3ABC048541C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88702723fea5b6b97e1042d4acf67888c8df5c82","datavalue":{"value":{"entity-type":"item","numeric-id":3605535,"id":"Q3605535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$5217FA4E-4D01-4138-BEE6-9A6529D99C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$9DF04F16-594B-4D79-ABC4-0DD474F6473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$305A6C6F-2CE2-4A52-A8E6-880F42C01533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bd8c1433b334d5563b2f966c5aedcaf2ada96d","datavalue":{"value":{"entity-type":"item","numeric-id":4526148,"id":"Q4526148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$54FE3E66-F4EB-492E-8941-47D95CFB9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41df3ca97c9486fa9a9dc6a2ca591bda6414105f","datavalue":{"value":{"entity-type":"item","numeric-id":982667,"id":"Q982667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391429$2060E29C-5C48-4EB0-ACE3-5958A69C0FD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e79ff48c15d049ffe1ba1130c554f8d5aa5cfcb2","datavalue":{"value":"10.1016/J.TCS.2013.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391429$53B7E231-AC18-48C9-BD54-35EAF23798E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d79b6fca9736398c8e571623dca56838dd6b3c6","datavalue":{"value":{"entity-type":"item","numeric-id":396960,"id":"Q396960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad6f59212acc47b2f23c043b042d0820d176bfe","datavalue":{"value":{"amount":"+0.8162729740142822","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":"Q391429$A4D659C6-1E82-4F5A-9174-0AFF04B18ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09ea594816818355af14b33ce8c3c2cd6cbc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":5194754,"id":"Q5194754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07c51ffcf07be87ff90e290c68dd19d26ea5801","datavalue":{"value":{"amount":"+0.7920517325401306","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":"Q391429$E2FF2984-3317-4808-8FEE-06ACBCCF0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5801feb6c01293161e9f5886428d312de6f98ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4555458,"id":"Q4555458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af060c918bb96b7ee080fd380cc4a05031011513","datavalue":{"value":{"amount":"+0.7917101383209229","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":"Q391429$2508FFF5-CCB4-4F76-BB19-6AFC9B5C8CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f4c4289bc07fdbaf60858b8f8590841784e402","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bb70a60c264664142a9e4522046256d57b1b65","datavalue":{"value":{"amount":"+0.7828760743141174","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":"Q391429$3AAC6CAD-A49C-491C-86FE-36E2107A7254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b238689cbefdaee319aa98a033058b49e2d86683","datavalue":{"value":{"entity-type":"item","numeric-id":5371959,"id":"Q5371959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5507916bd808cec3cf501eea356a054c0cb378e7","datavalue":{"value":{"amount":"+0.7585290670394897","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":"Q391429$9D32A8D3-830C-4AB8-8C29-66F128583638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotics and random sampling for BCI and BCK lambda terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotics_and_random_sampling_for_BCI_and_BCK_lambda_terms"}}}}}