{"entities":{"Q3521990":{"pageid":5551894,"ns":120,"title":"Item:Q3521990","lastrevid":50438681,"modified":"2026-01-14T01:36:05Z","type":"item","id":"Q3521990","labels":{"en":{"language":"en","value":"Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317304"}},"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":"Q3521990$781CDDD5-09C3-4307-A1B3-02EFC4C8103A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fcf08017648bedeb036906da9e7f23d2d3cf7aa","datavalue":{"value":{"text":"Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521990$5C3AF574-571F-4CC4-A957-99CF4C6044E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d6f8290d565f9be6415e5a9ff6cb5b15afc9168","datavalue":{"value":"1156.68483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$43D305ED-A320-43BF-8E94-C629ACF1CDAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d33da12468af99b9cf92664591269b7274f046e2","datavalue":{"value":"10.1007/978-3-540-70594-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$8F85EBAF-6F49-42FE-A54D-05AA1A1DB8BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521990$4F3210CC-284A-41BC-9AD4-24A76909ABC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521990$3AD75BE9-DC8D-488F-AFA8-183EAD105C44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521990$8DFFCF32-5A37-40FE-923D-E57AC8798099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$38C8DB6A-609F-495E-9859-C15039D6705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$573CBE58-D06F-45AE-8EB4-81D3317111FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$0D9314F1-D0E0-4D63-A1D4-5C918666610D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"181c5ae4266a174959123c7a29138e2fc0c93b77","datavalue":{"value":"5317304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$B7177168-E814-4507-B27B-0257FBCCCF59","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":"Q3521990$FF7A4CF1-65EC-4764-AEF3-519D26FD8700","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":"Q3521990$9AD1CE15-3C05-477A-86A0-907E06E37751","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d477a22d23ee648501f67132bd747a49a591fdb","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521990$377BE6FC-9ADF-45BF-82A4-0D3C62CFBD38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a639d1b6ba6a1a171c0060be2377bcef4af3062","datavalue":{"value":"W1579110349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521990$CF21BAF9-F79B-4E67-9D05-6B0BE74F4E34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e96a75c638ea07d906709b6f3d72e0361a09eb","datavalue":{"value":{"entity-type":"item","numeric-id":627204,"id":"Q627204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f92dc4bfd540605cd7ea13172d4bd69a4002032","datavalue":{"value":{"amount":"+0.8774302005767822","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":"Q3521990$7767CE06-8041-4807-AE21-FAD8164C0AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3528211c656f8da22dd5d08de4791f6b65975fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4417851,"id":"Q4417851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619854a9cb08d42e51b09f62577e83c9c5b9ea9b","datavalue":{"value":{"amount":"+0.8065692782402039","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":"Q3521990$7A712C93-5305-4145-AF0C-2EDA751D359D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8481af880417872a6aa16122fd2b04cd7ce47b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0557b6cf9c6a798b39a1e8f4ec235dc562549735","datavalue":{"value":{"amount":"+0.8028634190559387","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":"Q3521990$52E3290E-90E9-495F-BB4B-B146E3099483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96e5ab9adf8e1f1051043588a3b7b879c09e039","datavalue":{"value":{"entity-type":"item","numeric-id":3638923,"id":"Q3638923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3843fb11ee4dda7811057aa5af31cbecfb72a2a4","datavalue":{"value":{"amount":"+0.8004751205444336","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":"Q3521990$9D575639-EC39-4B96-A21E-6F5692EE4A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7f90919181d7fd39fe7ee9f5f53d1191d927ec","datavalue":{"value":{"entity-type":"item","numeric-id":3507459,"id":"Q3507459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410bbf5effdb3fbfe98ab1b4b9e16370db47f3ca","datavalue":{"value":{"amount":"+0.7866817712783813","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":"Q3521990$C685A23F-EBCF-41C9-AC73-6E83F3BFEBDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3521990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3521990"}}}}}