{"entities":{"Q3677914":{"pageid":5707820,"ns":120,"title":"Item:Q3677914","lastrevid":50097577,"modified":"2026-01-12T22:35:09Z","type":"item","id":"Q3677914","labels":{"en":{"language":"en","value":"Pre-adjunctions and lambda-algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3899129"}},"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":"Q3677914$9FCE9D52-112A-4691-BDDB-DFD0D54FA210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81342aeb0a0a233066efc27deb1af2ee264a4a6b","datavalue":{"value":{"text":"Pre-adjunctions and lambda-algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3677914$F56F5AF5-88B1-4C67-9F19-88F386FBE61F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ff85faa6770f972d1424273863b20e481647c54","datavalue":{"value":"0564.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$8C8C4AD2-B19F-47A3-9C3E-B7D20831F1B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"598fdc84b270f74350f9392fd164ea87813ca117","datavalue":{"value":{"entity-type":"item","numeric-id":2717686,"id":"Q2717686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677914$357AA57F-DA2C-49D5-82CE-01829F97D642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3677914$72F79726-8C5A-4BCD-835E-6D6CB6262B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$AD95B7B0-48AA-45F7-AA82-7C485CF83B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$F8DE3ACA-EEF4-45B3-A048-084AE2EA3034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$4A72E49B-03FE-4425-BAC4-BAD0CB430909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$C3BFD9EE-77AF-4CDF-BEAC-0EBF1A6CE6F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1917ffba6381aaf693a02762519f0fefe6a55ea","datavalue":{"value":"3899129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$3F9C246C-130C-4B1B-9DB6-676D840B711A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debf058b359dcdec135485e31794d733be972fe8","datavalue":{"value":"adjoint functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677914$348A3465-E804-4EC7-A11C-728694831514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677914$9E492C6B-38ED-4BC9-84EC-10862EE20EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b16cd14e34d25afc08eda980cd1435dfafe2c21","datavalue":{"value":"pre-adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677914$C0C8088D-0D8B-4D15-A25C-96F3D5DB9F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3677914$3B7D44EB-C2FD-4BA2-B0CC-26AD733C3B7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4c6660aca7f51c8039628f979ba18711896b6aa","datavalue":{"value":{"entity-type":"item","numeric-id":1801303,"id":"Q1801303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3677914$B0C38192-6B54-4611-96C6-07EF0BBA56CA","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":"Q3677914$0C5C77E5-7EBA-47CE-B433-C75F3FDC8CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e25cbbd0afc72e3b21992abf27a1107a2a2cc836","datavalue":{"value":"https://doi.org/10.4064/cm-48-2-153-165","type":"string"},"datatype":"url"},"type":"statement","id":"Q3677914$7808C3F0-C307-47D7-A5F5-D95841B82435","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22c2472910750fe018db2f48315e10b24d441a9d","datavalue":{"value":"W971532156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$09135EAF-8FB8-44F3-950F-300E78D2838C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f718e800856ebb1e794a78e72b9486802681d078","datavalue":{"value":"10.4064/CM-48-2-153-165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3677914$7D0A425A-2119-46B7-8EA0-FC8A25DCDF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86364a7b8e6b44f24b7b695c781c0404cff7abd5","datavalue":{"value":{"entity-type":"item","numeric-id":3760706,"id":"Q3760706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d5e820be9d97a96a82b6ad7b074d8dc7fb2d1b","datavalue":{"value":{"amount":"+0.7744987607002258","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":"Q3677914$0EC86778-15DC-44C0-8679-40168689DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4761427e9e3f5ebc90712bdbea00a0ce1c5beb6","datavalue":{"value":{"entity-type":"item","numeric-id":1075312,"id":"Q1075312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e7d553f0370862b2e41b403795e58682cc1a9d","datavalue":{"value":{"amount":"+0.7300376892089844","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":"Q3677914$D7DCC5B3-4CF0-4C3C-B697-6FAAB5AC7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b54bf6c5e580bcfb2262264ac8a7f255b698e78","datavalue":{"value":{"entity-type":"item","numeric-id":1697519,"id":"Q1697519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787fb118bc967863c601fd7fe3a564faf47aa4ef","datavalue":{"value":{"amount":"+0.7272526025772095","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":"Q3677914$3739F470-52A1-453F-B6BB-D38B8443446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a517f80eb59f9849fe386d5850e287fc649465","datavalue":{"value":{"entity-type":"item","numeric-id":3335923,"id":"Q3335923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9e3f9501c969ba23c291ea44cfca02be05bfb6","datavalue":{"value":{"amount":"+0.7254155874252319","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":"Q3677914$53A2BCE4-E854-446B-A760-EEF4DDF9DE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a22a6ecadc3feee6db4cc014b0583c9c6971386","datavalue":{"value":{"entity-type":"item","numeric-id":4006227,"id":"Q4006227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f23ffc377febc2277bb7313d8e4aac9ed5fc83","datavalue":{"value":{"amount":"+0.7220886945724487","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":"Q3677914$D837B9D0-5E9F-4CB3-846F-22116C2F7362","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3677914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3677914"}}}}}