{"entities":{"Q2133165":{"pageid":2143908,"ns":120,"title":"Item:Q2133165","lastrevid":55407499,"modified":"2026-02-17T15:47:39Z","type":"item","id":"Q2133165","labels":{"en":{"language":"en","value":"Taylor expansion, finiteness and strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515955"}},"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":"Q2133165$1DFA953E-8D46-4004-8779-20A3F0540E2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aeedb5be02889ca7e0a95feae44a80efac2c07a","datavalue":{"value":{"text":"Taylor expansion, finiteness and strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133165$9D680CAD-6CDF-4100-89B7-B4436BE7CCF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bd3bce18c7423b277db8e1ee2655c1d8d61b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2133164,"id":"Q2133164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$BBA7A994-A2AE-4300-B363-081F109B6D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133165$8BDAD719-1752-40D5-AD94-5CAE5FA4AD34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$DBF3DFBB-99AC-4399-9CC8-B44695447880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$A6AD41D1-3208-47FD-905A-DC4ABDF41020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcb8a0523104cf9cea76ec18dcec8d1007983b74","datavalue":{"value":"7515955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$A9337607-D742-4D04-A41B-94164044C9D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$71188984-34B9-4C81-B77F-1ACA5EAA61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$CA72B4FA-8EA9-4B12-9324-6A6EA7AD2FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80569a59a8848b8e69b368b4fee1d2893e0e6e5","datavalue":{"value":"bang calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$DDF5C3E9-046B-4E73-BEE3-F7B999349AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$FFF82939-FBFC-49F1-915E-1B7F61203C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$818853BB-2270-452A-8593-A225FB09093C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c849df5352d47ba67bcc2e3bceec8b5fae443","datavalue":{"value":"Taylor expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$D03EBE41-5D3A-4E52-8C46-128E683CA595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133165$ACB45831-C814-4017-AB1C-CE36C1536AC4","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":"Q2133165$30E383D1-0757-4FE4-B732-CE38DE08BD17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"162a6fd6bfd8099a01770cd1bfd38085dbe0e557","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133165$BF2B9AFD-FAE7-42B4-90DF-D9E05ABB3CD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e19ed6183a2650ddc6bd959c4e2784e589e5674","datavalue":{"value":"W2996151753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$696697FB-B2F3-4FAF-99AD-08DB7E9B6C3D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e08ced976d1357f379c10203725e6f12ced392d9","datavalue":{"value":"Q113317358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$58EEDD38-5843-4AE8-9229-CA384A51ACA1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de636c25a59f72718c27ec9d01f251cc1df8321","datavalue":{"value":{"entity-type":"item","numeric-id":5145294,"id":"Q5145294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$5373692D-DCCA-4A0E-BCE3-73CCA34E00A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c0e8c40363da45752c32663a6dada2ea3644a7","datavalue":{"value":{"entity-type":"item","numeric-id":5028444,"id":"Q5028444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$D3575C7B-6FFB-4766-B9AF-5A0D9CE02AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$662D30DB-BDF2-4F9D-A989-BDE878874D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99fad36f552f6c9f003614420eedba916456aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4577984,"id":"Q4577984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$892903E1-EDB9-48F6-929C-5A0CBF71C417","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":"Q2133165$D8ADDF19-035C-4B09-85B7-F444D78A7FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$4228A851-9028-422F-A7F4-4DF9E997CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80fcdcb1d8ca6c690b4c886cf334588a552bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$308A45D0-3A51-4005-B522-4FAA21020E3F","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":"Q2133165$7CDAB2B2-CA51-4B71-9CDA-0D57BBE17E22","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":"Q2133165$3A85D8E3-E87E-42D4-9BE6-4318F0BCD014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980d6edb2ec6a3f66086ec160babe4fe574f3059","datavalue":{"value":{"entity-type":"item","numeric-id":4611384,"id":"Q4611384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$C7ACDC3C-37D1-46A8-8883-C4FAE1392755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$CE36D39E-F54F-424E-889E-6EA067140610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175797b530add3a18bbf88e44493213ce2d2fc4a","datavalue":{"value":{"entity-type":"item","numeric-id":5018484,"id":"Q5018484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$C8714FA8-E8B6-41CD-BD14-54480B05B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a048a8a5f1a8bd764a05c81e5963f5566b81e04","datavalue":{"value":{"entity-type":"item","numeric-id":4606699,"id":"Q4606699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$3E3EC2EA-4F04-4D51-A688-7B9A1AF5A5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74c41ea929505ef6f565669a4cb2bb3fd37a959","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$E13381E5-2B9C-4DC4-B167-1F1B0943A9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6081fa157185286c4841d62a97109c48b277854e","datavalue":{"value":{"entity-type":"item","numeric-id":5089013,"id":"Q5089013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$8D8DE612-02E9-4DA1-BC81-D48499474EFF","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":"Q2133165$1A1860E1-9D34-4B0B-9A1C-161A0FFAFF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$BF8694D5-85F5-407D-9C09-12B6FB6941DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da3b984482549bc9b1bd023be108fd237dcfd3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811355,"id":"Q2811355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$BE6B46FE-7B01-4C5A-8F27-B0C8AD7AFC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce647f8234b660101d156924d0dfeecbeaa532e","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$64F0E668-C6E7-4AB9-85EE-536AAAD58B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$2139CD53-469E-420B-8484-C22E76F5EA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a8ae024cddaa1f1b5ca1d7f83f9f87daf959cb","datavalue":{"value":{"entity-type":"item","numeric-id":4577981,"id":"Q4577981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$D1381A48-DFB0-460D-B0CB-6E74A52A29B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa55526fc5b8e602668c2c0784dae8f64c45cc9","datavalue":{"value":{"entity-type":"item","numeric-id":5145368,"id":"Q5145368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$675015F2-A8EE-4AF9-B5FE-5ACC142E3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eb4a9e70f21c6dfe8888ca8944df9d2ab9a557","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$46ED6ED0-6369-4A16-ABEB-C3360AB4465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257f667e9efad310a6585c2f6645ed0e46f1a803","datavalue":{"value":{"entity-type":"item","numeric-id":5111209,"id":"Q5111209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133165$E2838E71-0728-4D31-9C8F-791650F3D5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e54b75869f3ef9f9d55e4c3850eaf11311115468","datavalue":{"value":"10.1016/J.ENTCS.2019.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133165$F5BEF757-2E50-4BF4-88A1-4873E0E656C2","rank":"normal"}],"P1643":[{"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":"103499ce439bf2c8ffa75e10339ca97df7b459e7","datavalue":{"value":{"amount":"+0.8201230764389038","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":"Q2133165$A55EF783-DED9-4A4C-A136-5B56C029EAB5","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":"77298b001fadbc484106c94311ce68ef84d6e80a","datavalue":{"value":{"amount":"+0.81672602891922","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":"Q2133165$650F48B4-60C9-45F9-AB35-0E2A6A0A6A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75407d2dee4ad5e018ce8512ddece7c06b3a4a92","datavalue":{"value":{"entity-type":"item","numeric-id":2811355,"id":"Q2811355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c990eafbe191f761b0c0393a8c0b690c1d4c0d7a","datavalue":{"value":{"amount":"+0.8152092695236206","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":"Q2133165$0855772E-4B7E-4F21-B5EC-127C59CA57AB","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":"9cde8829eba8d16287c0315db7b8a7b36939382a","datavalue":{"value":{"amount":"+0.8046339750289917","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":"Q2133165$DDFBBEF0-8B79-4461-B235-EB52E8BDDC39","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":"35b7b5280c05773d52b8045740cdabd28cd1ccb7","datavalue":{"value":{"amount":"+0.8013103008270264","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":"Q2133165$D3710066-8EED-4BFD-AA4D-FD3F05B9D554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133165"}}}}}