{"entities":{"Q944386":{"pageid":946234,"ns":120,"title":"Item:Q944386","lastrevid":65529147,"modified":"2026-04-12T03:13:42Z","type":"item","id":"Q944386","labels":{"en":{"language":"en","value":"Uniformity and the Taylor expansion of ordinary lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344354"}},"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":"Q944386$FD443903-F7A0-4C0B-9783-75D3F0CC5CD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b60b6d0bced96f18a4940df230bef9e8b85ca5","datavalue":{"value":{"text":"Uniformity and the Taylor expansion of ordinary lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944386$478D0FFA-3C9A-4A56-9E62-D5BB0C6134A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58b599a1668ca7650c91cd22639f06a82c9c750f","datavalue":{"value":"1154.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944386$1C3FA7EB-3BCE-4222-BD69-74BF91743767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$97EF4D1C-EB9B-4F53-848C-A1533E9429C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e3c8845ab642f2985e3636263f72c45eb25d5e","datavalue":{"value":{"entity-type":"item","numeric-id":944385,"id":"Q944385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$911B801A-CB22-4D61-8BB2-7C58C0E13FEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$6E27C35C-604B-445D-9D93-BCCAB991459C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944386$82B9FC3C-9D02-4B1C-9387-F229EC0E2885","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944386$FAA34847-665E-4AA6-BEA7-B1F549B1A013","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15c96f1f0d4e28ab50a41e6f53ad16161eeca497","datavalue":{"value":"5344354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944386$D4CA3498-A5A5-4220-849B-1DF3F0C19858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$8A6C5692-323F-425D-BBE0-E6E7C5A5D825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$001241C7-BA1E-45F0-8A74-A720DE90B0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad6d49f2182ebcc1bd131270b8e4da89bcd1f6","datavalue":{"value":"differential lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$CC05B6C3-8B3E-45BD-9E96-A1D8D8617442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6418340f8eced215a7e2373841c3b19a9ba1d0","datavalue":{"value":"lambda-calculus with resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$768F25E6-5278-4BAE-923F-C2C91DF5721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9446370396a3510e055104585a50b2c294baa5","datavalue":{"value":"lambda-calculus with multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$17EE7A95-8B25-499C-9CAC-9EA2C5A933A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q944386$E2B358E8-9AE5-4BB3-80DF-CE991E4B0FA8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$A5AAC0E3-EE92-4060-BF95-A3FDDAEB0FBF","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":"Q944386$FD53B4FB-F368-4872-9863-ED8EA3002262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e442776c996ffec4e7f211ecdc04d469c9a56c6f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q944386$11C8F8B6-1B88-4F02-87D9-16D3EFECA5DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c359241bd62ddb6b994956d041c33842399278b5","datavalue":{"value":"W2007411063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944386$831C448C-7902-4B4C-90D9-066B1AC7FE9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$9938228C-FE87-4031-B990-2F0EA89F314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$03F57967-82D6-45AC-B517-1866F93E9427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$D00579D0-27D2-4EB1-9D0D-BC8DDC3BAA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d815032a9222574f9ee6391d2a7c90b0f09e9","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$E3268C72-A9C4-4FBD-BE6F-1C0275431088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$55659A94-54BB-4956-871F-98BA5E8A8C97","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":"Q944386$19945C24-94B0-4D5C-9C89-5E34A51B412F","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":"Q944386$35DC0831-84DA-402E-BD45-EB665BC18E46","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":"Q944386$E95BD3D7-3DD0-4025-BA67-014918B718AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$65211707-3BBE-4831-B598-82D30176B973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$267674A5-8B6C-419B-8844-C3C0A1452DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$17DB39E0-F237-48DD-A064-C0600271E18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$CA184832-0DEE-4C9A-BE42-E8CBFF76C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$D28C07F1-3BA8-49D5-857C-D19D029211B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$4C27010A-9938-4B54-906C-B337D6E794CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$400B48E1-87FD-4A3A-B2F4-CEE42AF8D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944386$57A4BDE2-8F53-4A79-9E75-9DDFCB244137","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e154d2d4ca7e87338e8b8766433bcc436b8adeae","datavalue":{"value":"10.1016/J.TCS.2008.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944386$A0693BB2-6C66-4378-BF79-E2015AC5C613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ea169f545888aaf5d0fe674b531638677a7700","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7cb6300a448777420c03f93551184ada23fcc8","datavalue":{"value":{"amount":"+0.8549988865852356","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":"Q944386$156E244E-66D0-4EC5-8B4A-87D657973C4A","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":"2c3049350859ec39091ce35afb518b60a8647e35","datavalue":{"value":{"amount":"+0.8504510521888733","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":"Q944386$44069B2B-DF9C-4A33-A5C9-1578EF37C3AE","rank":"normal"},{"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":"70dda63c12d93d95fa4d8562871d8ac05e60c7d9","datavalue":{"value":{"amount":"+0.8494929075241089","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":"Q944386$488FDE56-7822-4081-82C9-8B10A148DB88","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":"096cbfb35c0666538f88f592ee6f8613fe8a6d84","datavalue":{"value":{"amount":"+0.8493792414665222","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":"Q944386$312002FE-85DA-4756-9A17-F3EA062264F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8379aaf584a51272e6265a6f554dcc100e3a7014","datavalue":{"value":{"entity-type":"item","numeric-id":3007664,"id":"Q3007664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14090aae4f0f352f0527b83bfea06478b04f26fd","datavalue":{"value":{"amount":"+0.8191520571708679","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":"Q944386$D9CB5051-6794-4033-8EBE-E4B10BFD28B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniformity and the Taylor expansion of ordinary lambda-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniformity_and_the_Taylor_expansion_of_ordinary_lambda-terms"}}}}}