{"entities":{"Q280190":{"pageid":281957,"ns":120,"title":"Item:Q280190","lastrevid":60617859,"modified":"2026-04-10T18:05:11Z","type":"item","id":"Q280190","labels":{"en":{"language":"en","value":"Towards a notion of lambda monoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6577987"}},"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":"Q280190$1934D01C-C5E4-479C-95C7-B24E572CEE13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb22aef3a0a19504f6dbb5e4733b5a8f90bea4a2","datavalue":{"value":{"text":"Towards a notion of lambda monoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q280190$0B4BFD6C-65E5-4DFB-A8B1-F3076D775961","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6512057b6ca082b9cb31aa5f38da94498af8a94","datavalue":{"value":"1338.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$B4C58B3F-663A-4DC6-97AD-45C79B5C59B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$1C3FC9B0-D957-4DE7-A85F-840EB9FAF33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q280190$01D336AC-B842-4FC0-AEA0-9D74220E89C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$89905763-10CF-4323-B978-A9EA48A4B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$88F6B489-9A3E-4959-9465-EC8C9EFE93AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$B7258CFA-E13D-4BD6-8C1E-8B2C9D9EB11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$06636B18-2057-4A4F-8420-14093B27B2B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb305811b263e19e926a5f93230bf98025d4832","datavalue":{"value":"6577987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$6394CF65-9B39-4383-9E0E-9C97B987DF61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q280190$01D6F88C-39A3-466A-A696-E38CE46330BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70f795d5203fb236f43e31f57fdbdd87dccf319","datavalue":{"value":"abstract clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q280190$19D933B9-4B65-4D13-AAD8-0A39B01168A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q280190$8FA6806E-6A65-479C-8209-EB37620F7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ea59443f6f2e023263edf67cc8384f476eaa79e","datavalue":{"value":"reflexive objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q280190$D11636A5-7AE4-4E6C-B7C0-DB6453327FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"279935cc3c5c4cddb2e2b4f3bc26ebe9dd862220","datavalue":{"value":"\\(\\lambda\\)-monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q280190$38EF4004-20CD-43FB-B047-010FB0323596","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":"Q280190$0F61A05B-7690-43E8-BA6E-410257619962","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8491417936dc356299a132312a6d51fab8226e44","datavalue":{"value":"Q113317893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$386D5739-9C2C-4349-97AE-10819F08339C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"929dc8c69a8048b74e9a68056eb84a3d993c76b4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q280190$D1804FB4-D4D9-4609-9A05-6BD7402E2B07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1afad0c51196ca6492aa7e749fb7ed41d50bc09d","datavalue":{"value":"W2005173090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$813D4659-35F5-484E-B3C5-E471A04607F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$D83FF984-14A3-4588-BAEC-D4A899C1FE9C","rank":"normal"},{"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":"Q280190$612AB6F4-9C95-4A00-BF28-F2CB9E5A77BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$207960A9-8D16-4292-A54B-9725DC47F29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58dd6d1ebcd62ff0fdab317443c8fbb05fd3eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5269006,"id":"Q5269006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$8629D9B4-9D38-41E2-AD33-B7B37B70F3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e02a8d470e047176a3695ce60fd8fd96c196f0","datavalue":{"value":{"entity-type":"item","numeric-id":2253182,"id":"Q2253182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$1B42DC8D-8865-4E4F-9089-2AE34B71408E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242e8141c70c013ebf3853041ebcdb346472a331","datavalue":{"value":{"entity-type":"item","numeric-id":3221959,"id":"Q3221959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$5062BD53-7479-4CB8-9FED-DAA2E6F6CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$DAF83424-871C-4518-BC61-E27E28A7A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d90bb9c7483f2b9eddcb54d776cc4aef07085","datavalue":{"value":{"entity-type":"item","numeric-id":3156508,"id":"Q3156508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$DBB2721E-82EA-4315-9EEF-59E7FF0FD92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f60bc0acc105825166bf82ebf2b258ddbaf342","datavalue":{"value":{"entity-type":"item","numeric-id":3138869,"id":"Q3138869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280190$8DAACA3C-987D-4BDF-9A5E-8A1CC9B2A5EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb9af68d565f563f66fd40a1977709cd8a95623e","datavalue":{"value":"10.1016/J.ENTCS.2014.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280190$331DCA00-7E1C-4F65-9461-F4953BF469CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f4bbfcf9c0d48a34b75b1a69b1d9bd7ed32de1","datavalue":{"value":{"entity-type":"item","numeric-id":3760509,"id":"Q3760509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d512b50b9d0291e7fc5a51b7821f5d982cff12","datavalue":{"value":{"amount":"+0.7789468765258789","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":"Q280190$741A75CF-0D9F-4135-9F38-4D978F79E1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ba4fc17b65eaf74de8911910d24343efc0560d","datavalue":{"value":{"entity-type":"item","numeric-id":5269006,"id":"Q5269006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30ec7aa3ed194e2219a1e43933deefe85654e28","datavalue":{"value":{"amount":"+0.7719687819480896","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":"Q280190$BB27F983-775F-4A3D-8077-061CC97B0211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446814a33dbdc4e19a1036082dc3ff1e6debb6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3309806,"id":"Q3309806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7cc188bb977c0a96dae8cc72ea7b184a4c3d50","datavalue":{"value":{"amount":"+0.7674462199211121","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":"Q280190$9F241AED-1ACC-4E9E-8BFF-343696E7C479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee9672307baaa54e2db5cdbece314adb9e16b38","datavalue":{"value":{"amount":"+0.7554910778999329","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":"Q280190$F7D4C4C8-F59E-4115-BEB0-EF29E3B931A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e4fa4f6c34099112b302eafd3c918334c7f90ee","datavalue":{"value":{"entity-type":"item","numeric-id":1744394,"id":"Q1744394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf8495748f742ae939e037cecfd98a03cc0bc70","datavalue":{"value":{"amount":"+0.7529029250144958","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":"Q280190$7CD4B4BB-3843-44FC-B478-68F4D5DED40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a notion of lambda monoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_notion_of_lambda_monoid"}}}}}