{"entities":{"Q3007664":{"pageid":3018388,"ns":120,"title":"Item:Q3007664","lastrevid":51269498,"modified":"2026-01-17T13:07:47Z","type":"item","id":"Q3007664","labels":{"en":{"language":"en","value":"B\u00f6hm's theorem for resource lambda calculus through Taylor expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908723"}},"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":"Q3007664$5F1D0DC5-FECB-4CDC-BCEA-D89C9DE3DAF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd9f0fc1bdbab9809c21ce03bdee345cfa42c5dd","datavalue":{"value":{"text":"B\u00f6hm\u2019s Theorem for Resource Lambda Calculus through Taylor Expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007664$CEAE5FF7-19DC-440A-8DB6-08E1AC72863C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5b661928ab8c0fb2f6eaa3289182141b647985a","datavalue":{"value":"1331.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$2FC64BBB-C5FA-4E1A-A76C-CB56426DF78C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0f387dde22cd3f9e82685d1db076c2adac073eb","datavalue":{"value":"10.1007/978-3-642-21691-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$455D4C92-A55B-4653-AD3A-241E7B692645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$A05ECCD3-6B35-4AF7-9DD5-70477959AE3C","rank":"normal"},{"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":"Q3007664$BC9560D3-AEC2-40AC-9D6F-189046688EE2","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":"Q3007664$16F08B41-61C2-4A27-8D18-1A865EAD3D3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007664$748C64E1-6BB3-4183-AF87-CBCBD6742055","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$DB67EE67-4C33-4B6B-80CB-1F054D625CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$29F8C7CC-3CAF-4185-B923-79C1AAA2CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$D5AD87D3-4FE8-445A-A349-A095A0C1498F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16783d8a917389362d54ed851df99e43b5ae46b8","datavalue":{"value":"5908723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$4FB32AA3-6D02-47E3-81CE-37C377D21BBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007664$AACF77B4-30B0-4CD9-A5AE-96FDDA996463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb3645857de6dc0c9df78ac97f97fed006ed964","datavalue":{"value":"resource lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007664$8AF95846-4572-4C7B-A6CA-2A383CF6F4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c016621abfe8965879d06c6c7c95d9a281610fb7","datavalue":{"value":"separation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007664$BAE2B353-4FD4-429F-878C-EF2ADB6F20B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6f2ba2a33f05953e7fcc45ffbd195aebd224ef","datavalue":{"value":"B\u00f6hm-out technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007664$717F92D2-107E-4088-83EA-6201E3C3AC9C","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":"Q3007664$84652EFD-D280-4C89-9462-AC23FC1B4424","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcf80a8a7ce44f7b85a54b41c42cc4ecd982f6a6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007664$2F8F0338-B120-4DD3-B930-1E642549C93D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"930443fc4017594fb1f09d46361faf08bd7907b3","datavalue":{"value":"W1829093058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007664$347A9AE9-3606-41F6-AF97-4DE4642871BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$79C32539-336C-4735-A503-CDCEBD10964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb25dd7f01109043db25ec1276aefa0a257d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1257009,"id":"Q1257009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$5C6B96FE-D6E0-4FDD-853A-70A5786D81FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$035752F7-A804-441F-9408-724A88691135","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":"Q3007664$1B3948FE-D0EC-42EC-BDDD-901A8F435663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bcf5a71723123dcabb87c10dcf8fb17914a3cb","datavalue":{"value":{"entity-type":"item","numeric-id":3586041,"id":"Q3586041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$C84D56A1-8863-4846-AC9D-C932C13E6D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28494d20396af22c610619948e85664efe1fa4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000282,"id":"Q3000282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$BA5D0803-E647-4282-BF47-C843C92AA677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc2d6c2954cf41135437c0472b396d37414d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1917097,"id":"Q1917097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$2E4DE598-FC88-4BEF-9919-A1EE4CD4C3C5","rank":"normal"},{"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":"Q3007664$67D4A17F-02D8-4600-8136-80E3D3274870","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":"Q3007664$AC5690FF-E314-4A33-A676-90C1C51F1D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bea83542b3938ab5dc0b4c67cbff4d5767796f","datavalue":{"value":{"entity-type":"item","numeric-id":534707,"id":"Q534707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$22CE1E83-E09B-4DB4-86D8-99570EA56E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0025ae6caa34817f327c2f863c468f1f19b34","datavalue":{"value":{"entity-type":"item","numeric-id":2915676,"id":"Q2915676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$761F4708-EF4A-4BCF-AB5F-0AA0096EA2A6","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":"Q3007664$DAEF8526-697A-4D8E-969F-B4A887AF60F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb081088460f94d532a7de5adda0040c9d334ee","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007664$F13373DC-EA8E-4C10-9750-7A58380D7C0C","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":"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":"Q3007664$5AB33C16-BC95-416F-BF69-12FCBACF071C","rank":"normal"},{"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":"acbaae764449e08ecd0fea4a8dca502034c51ff4","datavalue":{"value":{"amount":"+0.8033027052879333","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":"Q3007664$D6F0EB39-7900-4D0D-B693-099CE635E0AB","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":"04101147a6ebaecf66749840b0ef10f337ecee50","datavalue":{"value":{"amount":"+0.802628755569458","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":"Q3007664$B72D5C59-0F56-49EB-AEC8-D12B9413150A","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":"ef2018c62138f4ea54845002ac7f365e67038621","datavalue":{"value":{"amount":"+0.8017577528953552","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":"Q3007664$2A5A0259-1C1B-403C-B21C-09F8D27724EC","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":"19c8e9d26b31770344c1677c52f3ca4452920e58","datavalue":{"value":{"amount":"+0.7943761348724365","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":"Q3007664$BC820F0B-34C3-4409-961D-61887AE77F61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007664"}}}}}