{"entities":{"Q5074776":{"pageid":7104352,"ns":120,"title":"Item:Q5074776","lastrevid":91314275,"modified":"2026-06-04T22:51:15Z","type":"item","id":"Q5074776","labels":{"en":{"language":"en","value":"Unary profile of lambda terms with restricted De Bruijn indices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7524074"}},"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":"Q5074776$B1499708-8C39-4382-9A74-E3A28F060A86","rank":"normal"}],"P16":[{"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":"Q5074776$494E3D4E-9CA1-4585-B609-8F4ED3EC5DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab9c3115ba643d68fc4878b05a220fd5206e3717","datavalue":{"value":{"entity-type":"item","numeric-id":2376303,"id":"Q2376303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5074776$F7DEDD19-1313-46E1-9CC1-0ECBDBC62341","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef1a5dc3ffed41523f6fac98834a12dab2a5b9b","datavalue":{"value":{"time":"+2022-05-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":"Q5074776$3713F17B-7B26-4E18-AD58-6BA0D7C16F22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7dcd2d4ca3f199ce28fbb7f977e08e8b549d467","datavalue":{"value":"https://dmtcs.episciences.org/7135","type":"string"},"datatype":"url"},"type":"statement","id":"Q5074776$23440EDB-5A66-456E-AD00-6EE9553F51E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074776$5BA5D4E4-C481-4CFF-AD81-1348C0C32EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074776$164171E5-55E9-4BD2-BA8B-D8DA7652A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074776$5ABC5E56-2A87-4D03-A24E-B579B7A590E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b44e5c8b3f3d25501ad896ff8e597ae5bc57498","datavalue":{"value":"7524074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5074776$AAD8B331-4A73-4FF9-9B1D-CCB9D2FC9898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80219173010617bc156c7415566e1badec252dd3","datavalue":{"value":"profile of lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074776$8B580403-B20E-40C2-B9E4-AF3CABA9DCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c354da87c1a36fa51af15f540b15aa92e0cba767","datavalue":{"value":"singularity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074776$77A91624-24D6-44A9-BD73-EF120D2D786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8a2e8b272b61fc78f178c15fc88ba9b3fb40363","datavalue":{"value":"lambda terms with restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5074776$CE76AFFE-FC0F-444B-A62D-512DED381788","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":"Q5074776$072BD591-6A88-4FAA-9169-1059EF7BD95A","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":"0b2f99704f851f70a1771370ed9d5b74d7e1e6d1","datavalue":{"value":{"amount":"+0.8551622033119202","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":"Q5074776$C3133E2A-35A5-473C-AE85-A68449462EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fb797c9a10cc2f84124bc18e6ddc05240a8baa","datavalue":{"value":{"entity-type":"item","numeric-id":4601892,"id":"Q4601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806ef409726474896041b960545f12b935bce664","datavalue":{"value":{"amount":"+0.7909501791000366","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":"Q5074776$225100E1-05B5-45BD-A974-0B2E67FB9BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d588371dd4520447bca8b82b6c554c12d775b46b","datavalue":{"value":{"entity-type":"item","numeric-id":1706116,"id":"Q1706116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933557502cd9ad1f0c9c0433c53ea1534cdd7f50","datavalue":{"value":{"amount":"+0.7904055118560791","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":"Q5074776$8E969A55-2DC9-4A9F-BFC2-2134E29FDE8E","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":"90ebc1ee10eb331df81e4f3c5517108657ed17e6","datavalue":{"value":{"amount":"+0.783401370048523","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":"Q5074776$C1FC8269-FD49-4D60-AA85-ABB77C42DDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a5fda482f5fa1fca0733fc4ec7a86a6f1bf1c1","datavalue":{"value":{"entity-type":"item","numeric-id":1745901,"id":"Q1745901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6c67614b4212c3d4d430b05223de39f59d66b9","datavalue":{"value":{"amount":"+0.7822927832603455","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":"Q5074776$22C73615-87C7-4B0A-8D40-B7369582CF95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unary profile of lambda terms with restricted De Bruijn indices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unary_profile_of_lambda_terms_with_restricted_De_Bruijn_indices"}}}}}