{"entities":{"Q2811355":{"pageid":2822093,"ns":120,"title":"Item:Q2811355","lastrevid":58016127,"modified":"2026-04-03T11:24:17Z","type":"item","id":"Q2811355","labels":{"en":{"language":"en","value":"Strong normalizability as a finiteness structure via the Taylor expansion of \\(\\lambda\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591833"}},"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":"Q2811355$AB1D4ED6-FB95-4E68-8A32-FB2003CD4476","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7d641bc14a81102ed83378628052e3f3d077e72","datavalue":{"value":{"text":"Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\\lambda $$ \u03bb -terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811355$5435D1B6-8BF8-4993-AD01-6C85D8CE71CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b76eaaf7abf9da7b561599bef285ae0be62f6c65","datavalue":{"value":"1476.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$7B32EA44-79F0-4D6D-9FD7-E58B34197123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8335354b2b1ced886950d8f7c615ea8e27bc8270","datavalue":{"value":"10.1007/978-3-662-49630-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$9F969391-3BBA-4D69-9FBF-41E867F8DC48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ab36af565d8772d4e2c198b9339781fbb08db6","datavalue":{"value":{"entity-type":"item","numeric-id":409320,"id":"Q409320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$85B530C3-06E5-4083-ADB3-2EF52348FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7061f0dc89ea4c9e92e579c2d5bbcbdff493dc","datavalue":{"value":{"entity-type":"item","numeric-id":891920,"id":"Q891920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$9DB5124A-5192-4EF2-9E39-8F92FB67272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ccf0a589fb3b807ef69a799e91744fd52002786","datavalue":{"value":{"entity-type":"item","numeric-id":2373710,"id":"Q2373710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$A741F749-1C8B-4F95-883E-788EA34DC5C7","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":"Q2811355$04C93ACA-9E61-4DA7-960E-4C7BB1B5E302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-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":"Q2811355$83CF352C-90CB-4D76-8203-CC3C0C38731F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f82d1e234549b74311c9bb1492ba242023e3f154","datavalue":{"value":"https://arxiv.org/abs/1603.07218","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811355$A5CAE923-FCD8-4F25-B58C-4362AA988F91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$C0219BBE-0C57-4A47-B6B2-B36D2AD7337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$6FFFF6FE-CF23-40D0-9621-00C92782B3CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d41cf2ba5da6b4ce4114c12e4d68195d1b6e9e","datavalue":{"value":"6591833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$95951AA8-EED3-4D71-8B11-D3FB60FBCB46","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":"Q2811355$B61DEC25-B2BD-4943-A188-46581585E2A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"586c858689ea4e9fc69192dcdf0ea251f66b479d","datavalue":{"value":"W2305850023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811355$B7F38ED8-24B5-4966-AC55-C40A0F5E379A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$0F8CA1BC-42CF-4F0B-B715-60122AE745E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$C7847265-316B-4532-814C-4E78081952E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$08ADA0DC-8829-4FBE-8953-9EC8AADF3CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$E23E23B1-9B6B-4BDA-BBE9-31B88645D262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb7a0c6ea1f06765b6708ba458501deba3011d","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$F95E903B-B7C4-439C-9862-887C85451E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$18ECCD89-E88F-4249-80CA-DAB1CCBBABC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$72FA92AF-BEF8-4095-80B8-97B63C4C9767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$7D5F3482-3A83-41AD-818D-9A26CAD9AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6959ca380bf9b3940fd57ea8b42325bb11fb045","datavalue":{"value":{"entity-type":"item","numeric-id":1185015,"id":"Q1185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$B99DC574-B1E0-42CE-98C5-AA01C4F96324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4156d6b6304ed941789a800554e49884f0e7f6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3637197,"id":"Q3637197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$30DD13D2-3470-43A7-B9D4-EC067D57BE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd000a7ccd51858a85a793e13c30b0c7aa68803","datavalue":{"value":{"entity-type":"item","numeric-id":409321,"id":"Q409321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811355$442E0F82-FC39-4786-8190-6D857F1F1DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22b82a20b7867aaced7f0f3b0639658f45463a2","datavalue":{"value":{"entity-type":"item","numeric-id":2958517,"id":"Q2958517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9c48125771f767df15d2cb270479496e25c4ee4","datavalue":{"value":{"amount":"+0.8152690529823303","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":"Q2811355$639448CA-F952-4633-8346-AF6B31449C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2abd17cc3d47764eec2a9c181b9ea055204b60","datavalue":{"value":{"entity-type":"item","numeric-id":5227520,"id":"Q5227520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb0b4891daf86fb564bba6ddd2034dceb7321ec","datavalue":{"value":{"amount":"+0.8134481906890869","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":"Q2811355$679A24E4-1EF6-4006-BB5B-DE7AFF9716FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74acf7ff2f8299baa2ff38132fc2c9e57d858f08","datavalue":{"value":{"entity-type":"item","numeric-id":5111209,"id":"Q5111209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29993ca2e283be0a35db9e3eb9338f47528d5e4d","datavalue":{"value":{"amount":"+0.7943620681762695","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":"Q2811355$273E03D9-7654-4949-8DB5-9646BEFCD097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45df37e4a67a271e6471192f7715c4705e86daf","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f17179cc1e63f3ede73712b8730d93f45ed361","datavalue":{"value":{"amount":"+0.7643831372261047","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":"Q2811355$695F0561-EF54-4FE8-8DE2-DB69C90C8952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee1f181f62f2fd23771c8e36946cffe4ee6844c","datavalue":{"value":{"entity-type":"item","numeric-id":4637628,"id":"Q4637628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b22bca7e8f82f418912c8d3df9edd8fae970e4","datavalue":{"value":{"amount":"+0.7548374533653259","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":"Q2811355$5A4F3FFF-B4CC-41E1-9266-899F4EFEE43F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811355"}}}}}