{"entities":{"Q3322071":{"pageid":3332779,"ns":120,"title":"Item:Q3322071","lastrevid":45958633,"modified":"2025-12-20T23:54:26Z","type":"item","id":"Q3322071","labels":{"en":{"language":"en","value":"\u03bb-definable functionals and\u03b2\u03b7 conversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853036"}},"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":"Q3322071$3372E720-3FB6-4540-846E-2A176D6EB1BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e094f75600efb043350b4766e714c0eb90a382be","datavalue":{"value":{"text":"\u03bb-definable functionals and\u03b2\u03b7 conversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3322071$FED9E351-4C52-4654-8138-0EB7B8F62E52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f132f1b73349d5656ca234f1467c364c88b8025","datavalue":{"value":"0537.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$5D1B0696-0318-412D-AA36-BFB6C7F135AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89dd928129980dd59da38e965b0fd6b5445520f3","datavalue":{"value":"10.1007/BF02023009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$DD84FB20-3FF9-4667-B8F1-46C0939C40DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322071$4341B9B4-F9BC-4DA6-BF1F-FE0D4952E8B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3322071$125D2A10-5EF1-4232-A1FB-D80904F028D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e699fe1ed64356fbb7fb85e1aa6aa7f4bf117bcc","datavalue":{"value":"https://eudml.org/doc/138003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3322071$77DD9964-3081-4B26-8F19-89A6FD446FCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$992FF2C0-983F-493B-912B-0D9C6B6B5834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$BEFB3B1B-F89A-4E5F-8BFA-BCD5A663599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78c5de064f0c3ba29b60c5b4ca0a101805dd4285","datavalue":{"value":"39B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$E0FAE678-4D10-4B62-9C00-A3242DC50984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c7337720f52a66ed0a9a2f7f33d1176d6046f73","datavalue":{"value":"3853036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$A5DA459A-5163-49C2-9CDD-A3DF0A2D231A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$E7BD14C2-CBEA-4806-9D10-14489B07942B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2085e0973c94ded0dcc11eccd79ec0feed87ee88","datavalue":{"value":"lambda definable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$503EBA2C-3A80-4CA2-9E46-2E61E7E4AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518543509a318865e064e2a30b4bf823dcb55487","datavalue":{"value":"lambda-free functional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$9FFA460B-ADAA-43A9-B24C-BE64AE8C4F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5d34898b8492e1f8368e5c75184c8c94818adc","datavalue":{"value":"beta-eta-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$99E7371A-952D-4736-8694-E9B858EB3D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$81EA2400-2D9B-43FE-A477-72B0E99AF9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee85ef68a8f6c254cedcb4be71f63e93d1f63ac7","datavalue":{"value":"type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$6920F294-D9B3-45EE-9C0C-804F886C5501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322071$F9137DDF-0CC5-4FAA-93D1-504D1553ADC8","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":"Q3322071$0D7E987E-B9A6-46A5-9415-FC397DE5DE0E","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":"Q3322071$70CC45A2-96B9-45F6-BD4E-12132BC5BDA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322071$43EAA7D0-E96C-4775-82CC-534FEF9A952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322071$4845FEEB-F4BA-43DB-A17A-4BC50146C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322071$94F9EEBA-20F7-4013-955C-781344CC5BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774822eedcef03842f356259260ade0204086937","datavalue":{"value":{"entity-type":"item","numeric-id":3947643,"id":"Q3947643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322071$E2A23043-EA4D-4D62-89E5-49263B76832A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fbbf381682bd9a3f1d050ea4bacd7a74594fc7c","datavalue":{"value":"W2319619459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322071$2D49EA13-91EF-42AF-8091-3D5927527B3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d1218c67b5ba4eb3fa2f8d24ec8bcd7b93672a","datavalue":{"value":{"entity-type":"item","numeric-id":5326365,"id":"Q5326365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b8142cf5c3fab25a7002f2564ee74062384223","datavalue":{"value":{"amount":"+0.88596267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$2AF11BE4-0EA7-4C65-9AA8-DEE3A2018F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6b88e89b6f1545b87034af10bb458263b583e2","datavalue":{"value":{"entity-type":"item","numeric-id":2645327,"id":"Q2645327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b64e35985d5b9bfc5825175dcbaffb321eff6d2","datavalue":{"value":{"amount":"+0.8730864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$5D3A249C-3EFE-4999-96D9-A17A8768CDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbbc472cab6ac25a680c07707cee212f1b6ed69","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174ace11b9060e2bbe2f575d81b8c27643824da1","datavalue":{"value":{"amount":"+0.86687064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$0CEF45C3-2D94-4A88-B51F-2B5BDD695DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc595645a68014b853460e2fe40e6ad44f00d151","datavalue":{"value":{"entity-type":"item","numeric-id":2827607,"id":"Q2827607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c79c5c1d1d277448be26588dffef69c82ee8534","datavalue":{"value":{"amount":"+0.8663837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$6DFFD772-0DF7-41D4-BEF6-D1E7935D91BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d4f4afb4a2548bb755e5daab4dfd583bd11118","datavalue":{"value":{"entity-type":"item","numeric-id":5219128,"id":"Q5219128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab294f01c8cbf56ebe4ae672894c50646a3a8479","datavalue":{"value":{"amount":"+0.86555994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$AC2EA153-FAD9-4406-B48F-F5B3F512CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d079d0569efdf87a1159199b2dfa97e2137a1aca","datavalue":{"value":{"entity-type":"item","numeric-id":4853413,"id":"Q4853413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50915b2b577217da1d5ae65a8b3d5a3ca553a5b5","datavalue":{"value":{"amount":"+0.86128956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$E846A2C2-95F5-4192-9D63-6B681F3E5FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e30b883e0bc47832c75efd249463ce4eb84a28","datavalue":{"value":{"entity-type":"item","numeric-id":4831378,"id":"Q4831378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fed7343af2f5c46109c1b667eb6fc71cd09663f","datavalue":{"value":{"amount":"+0.86085415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$EB76AD30-794C-4D19-BCE5-777E02D3881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f3820a91143403b851a4b26b38e2133925348b","datavalue":{"value":{"entity-type":"item","numeric-id":1377911,"id":"Q1377911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642b37697d5b7b668c5365635c0ecb2b99cb11cf","datavalue":{"value":{"amount":"+0.85954356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$F3FD7F27-4F48-4948-9EDB-6580D1AB521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2531d822fa8c419c1663c38068f9ecf524c632e2","datavalue":{"value":{"entity-type":"item","numeric-id":4323837,"id":"Q4323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88677cad5f293b9593e4b50d1c20b052e910c5fd","datavalue":{"value":{"amount":"+0.8587878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$65F2D4B4-FC6D-48FE-9C6D-5B1ABED9F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6601afabe2e9233c11fb89aa27186f96640e19e6","datavalue":{"value":{"entity-type":"item","numeric-id":2367330,"id":"Q2367330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df851cd3b85293a288efbe8150bccc5c9c9f1a3","datavalue":{"value":{"amount":"+0.8570541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3322071$55A8033F-333F-4645-8B7C-621748697CE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3322071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3322071"}}}}}