{"entities":{"Q4993547":{"pageid":7023124,"ns":120,"title":"Item:Q4993547","lastrevid":98431601,"modified":"2026-06-05T17:30:42Z","type":"item","id":"Q4993547","labels":{"en":{"language":"en","value":"On the number of variables in special classes of random lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359757"}},"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":"Q4993547$5CD29D7D-6067-4DCD-9F63-56F029FF284C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2fe5aaa601b32d85b1c59f6a376ef1bf9dd5c1","datavalue":{"value":"1486.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$4E05C701-661C-4C9A-ABC1-D0417DB724F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2f9f0b94cc510bc7f520f1fa4df4eed82481530","datavalue":{"value":{"entity-type":"item","numeric-id":396959,"id":"Q396959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$2A8634AB-AD6F-435A-8CC4-4FA3B01D203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6023efcefa14de7ea6a76cee39bfbf2e6727b6","datavalue":{"value":{"entity-type":"item","numeric-id":2088691,"id":"Q2088691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$FFF9E8C7-1C4F-49AD-BC28-75E9D18C7C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993547$C908A5E9-3EF9-4E36-93CB-13486610FFA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$992C47DC-2F3F-483C-AA1C-805281A6B992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$D8BC18D1-9163-428D-8BA9-2C903F82C417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$33B88241-0E96-4435-BDEA-A8FFC939CB88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d15b8897676778c0d8c630b3c3ae111441c0a791","datavalue":{"value":"7359757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$9F2FB1C1-6E2A-4CC2-BCCF-E5F5729D177A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0fe550386ff0b89bf1e7bb414d72a0f372935c5","datavalue":{"value":"lambda-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993547$E8C715F8-8B17-4A04-9539-9D68F8905E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2155b1f0f1b7934ea2f00e74be522bfbe52774","datavalue":{"value":"directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993547$1982B9FE-4D11-4FF3-9113-B11E8EFD38DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c354da87c1a36fa51af15f540b15aa92e0cba767","datavalue":{"value":"singularity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993547$40BCB163-736E-4FCE-B5C4-2C76767B25B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb0b3b9917fcd05bead92f1173c0814cf634922","datavalue":{"value":"limiting distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993547$14520456-206B-4886-AA80-F915DE417409","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":"Q4993547$30512AE7-9232-4178-9A77-588952D8DA02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$55C0B6CD-68E7-4909-9AC0-3322E175B25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b7eced053de1f14f1e8f5dd6ed91a27ebea1d0","datavalue":{"value":{"entity-type":"item","numeric-id":391429,"id":"Q391429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$8D8D7ACC-BDED-48CA-B29F-B7DAB9A1056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8be9e405b66250551af62b1aff8084b733ee11","datavalue":{"value":{"entity-type":"item","numeric-id":5194688,"id":"Q5194688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$321006CC-850B-4035-9E12-4D101EADBF3B","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":"Q4993547$E3FA1789-987B-4020-90D7-A4956A2D6184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c95f88b4babbea24c23f616b328f1f6b3b7853e","datavalue":{"value":{"entity-type":"item","numeric-id":5194754,"id":"Q5194754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$C06925C2-6B59-4B95-ACF0-739EF04B0273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$130D2264-DE36-4F45-9995-8A6C990FBFF1","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":"Q4993547$93B074A5-38F4-4B16-949F-6DA4EC7D51ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50675d80dc6312b94a500549b4e06e58043f00cf","datavalue":{"value":{"entity-type":"item","numeric-id":5300586,"id":"Q5300586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$C4A5E93C-26A5-4638-8D10-1E38D07FD53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a212d94041651846427629c9da54a7590a399e","datavalue":{"value":{"entity-type":"item","numeric-id":1266390,"id":"Q1266390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$7AAA05C9-1B65-4732-9846-E34A44472C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e022a9aea9657fd3c0ad2ce8ab7a082905772c","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993547$89DE0F17-E158-4CC2-9248-B360C023E297","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45ae642aa58791fd72678939bda0a0ace2ea36a3","datavalue":{"value":"10.4230/LIPICS.AOFA.2018.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993547$CF409D93-6A46-4A8B-8684-01A31DB60621","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee025cfff4cfec5f73ae7c744a26167524c6a856","datavalue":{"value":{"entity-type":"item","numeric-id":5210975,"id":"Q5210975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b3a1bf97b639dbb51341c68df6b7caafb960b2","datavalue":{"value":{"amount":"+0.9096071720123292","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":"Q4993547$80D99212-79D1-4388-8AFB-41493E590009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e289fc416153162241f8a464a997cf38eeb87c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398332,"id":"Q5398332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8be59736ad76ef6e9cec51f49100e794e2df40","datavalue":{"value":{"amount":"+0.8392035961151123","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":"Q4993547$AECB6457-4C8D-4C26-9BB9-0047D0B4D608","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":"7b3113acf4d1350b4e2ccf624f839e7d59287dfe","datavalue":{"value":{"amount":"+0.821085512638092","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":"Q4993547$0984C9D9-9591-463E-B120-D3DF739C4766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ff4291c24f5c08115fe8653662be172601c197","datavalue":{"value":{"entity-type":"item","numeric-id":1944777,"id":"Q1944777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08db42c59bad156bea9f9fff733ba1ca3f96dc4e","datavalue":{"value":{"amount":"+0.7937659025192261","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":"Q4993547$13A6E736-E323-4500-AFDB-E403A77F9093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64620b7eef9143bbd01b29eef671e6b3c17ef770","datavalue":{"value":{"entity-type":"item","numeric-id":2794357,"id":"Q2794357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9952804f42765bc985f9e1eaf55b1d74c25a1a","datavalue":{"value":{"amount":"+0.78742915391922","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":"Q4993547$5CE5F2E5-32E4-4CD3-938B-07A5FECA10F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the number of variables in special classes of random lambda-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_number_of_variables_in_special_classes_of_random_lambda-terms"}}}}}