{"entities":{"Q5283442":{"pageid":7313016,"ns":120,"title":"Item:Q5283442","lastrevid":52864547,"modified":"2026-01-23T16:23:42Z","type":"item","id":"Q5283442","labels":{"en":{"language":"en","value":"Levy labels and recursive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751252"}},"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":"Q5283442$DDF1B815-8B32-474E-B413-7A32529239F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"585385bd1b687135817e88c1bda7694b8e7644a9","datavalue":{"value":{"text":"Levy Labels and Recursive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283442$FCD8D210-969B-4FBC-962C-594EC3023C61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e439f320a0d6dd952fd2c3e1830ff619b92ad1d","datavalue":{"value":"1476.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283442$96F4D6A0-4D4B-449C-AC53-CBC90A3DD678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21031a2411084a6f8a3636f80a7ce0db01b5839d","datavalue":{"value":"10.1007/978-3-319-27683-0_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283442$7D1C8329-A7CB-47D0-BAD6-DD53BB0CEA92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$A007B8C4-C70D-4E18-A201-266ADB33332C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283442$F73CCB3E-E8A2-4FBE-8E80-1D317D441EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283442$056B5CCB-F9A9-4C30-9B03-640AD82747CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"228a0124fb9309646101433b75d11cca52f02a32","datavalue":{"value":"6751252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283442$745E5299-8065-4992-8D7B-A745D4AA349C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283442$9C83BF03-872C-4CD0-8EE6-069232DBC296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283442$DECF0CEB-1D97-4469-AE45-2F1097C66A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31979bf0addea2bba6b9cee2f584a1c075bfc3e8","datavalue":{"value":"Levy labels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283442$FCF85619-F0F6-4772-8E82-673475B2EBE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$33CAC7AE-E447-4EB8-8C3B-A78D61DBDEC0","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":"Q5283442$F79DF042-FF52-4D1B-A6EC-23CAA95329E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09103ecfb54313b810099de1de94e65d6a2de337","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283442$FD4FF35E-BABF-4DB3-B25B-BEC63C2B18E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb82f1d393051d48441642d0a2e74a56ac52df1b","datavalue":{"value":"W2394877959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283442$0781EA4B-4B35-4DBA-A939-008B50D081FA","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":"Q5283442$B549F0D5-484B-41D0-9F5F-6482A4FBBD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$8A2688B2-22DE-4608-8442-B64C6B10CD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e15321bcad6018106602b17bbf0b694e2917fd","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$72D851C6-5D96-46C2-B3EC-D73E35D4CC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a80d1e65c61c7146b7cc0db8785b867f59c04","datavalue":{"value":{"entity-type":"item","numeric-id":4168908,"id":"Q4168908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$CE88A365-4983-4ED0-8423-1E72A6AEBBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$1088421E-77AC-4255-9EA5-2AC2579E8CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e384a648b452f8656c8a88f9cffb922d3750483","datavalue":{"value":{"entity-type":"item","numeric-id":4109652,"id":"Q4109652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$F2759F9D-CB6A-4BCC-9DCC-6A595E04EC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9767ef73bd83db05e9f9d7c54fa3d523e9773273","datavalue":{"value":{"entity-type":"item","numeric-id":3003364,"id":"Q3003364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283442$614C09BF-4567-4F61-BFBD-416F9A782031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec870847b0228c07b3ee3439e2296e8c06976818","datavalue":{"value":{"entity-type":"item","numeric-id":2704326,"id":"Q2704326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a32b393b48638e3580fcd9f895c3a90a991da7c","datavalue":{"value":{"amount":"+0.7459434270858765","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":"Q5283442$73EA6007-BD3B-4189-98B5-A77D0B88EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaed6badca06f6f99232033f8205ecc26e421547","datavalue":{"value":{"entity-type":"item","numeric-id":3976042,"id":"Q3976042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974d83b77ead7b6456690c49fb92599b20f59352","datavalue":{"value":{"amount":"+0.7459427714347839","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":"Q5283442$89D733DE-177E-4722-8759-4753FA6B0842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b86fc5e315f3c929a43bda53b8eb60a63d9ac","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d6674c9e7cbdfbb04758a88114cccda7fa2e0e","datavalue":{"value":{"amount":"+0.7155786156654358","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":"Q5283442$661B7945-D86F-476E-92B0-C2EFBDEDFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b6ecaa36f1609889ff1e62f4978e12bc0369cb","datavalue":{"value":{"entity-type":"item","numeric-id":2937686,"id":"Q2937686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e31684eb93d51b48cd6ae7122a6d784e91b77a4","datavalue":{"value":{"amount":"+0.7147711515426636","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":"Q5283442$DD47CEE8-54BF-4B23-B2FA-44B77382B425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f3df5e735b3edc313172b6b4c3dd3974d7199","datavalue":{"value":{"entity-type":"item","numeric-id":1819575,"id":"Q1819575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673ab487b60051d26211a4f81e7efc518564aaf7","datavalue":{"value":{"amount":"+0.706574022769928","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":"Q5283442$D3628341-BA30-47B7-9549-D8BC4CE9CFCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283442","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283442"}}}}}