{"entities":{"Q2133473":{"pageid":2144216,"ns":120,"title":"Item:Q2133473","lastrevid":42179943,"modified":"2025-05-27T12:53:03Z","type":"item","id":"Q2133473","labels":{"en":{"language":"en","value":"Monads, partial evaluations, and rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516374"}},"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":"Q2133473$B8373BE4-8AB3-45B5-8394-4179E766D2B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e95ddaa619182e567485e7b7237c4d7c184782","datavalue":{"value":{"text":"Monads, partial evaluations, and rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133473$3B80625E-3BEA-4411-8ACA-5EECCF2BFBCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5bc500886397c2919fd7b1fad5a96b529f91684","datavalue":{"value":{"entity-type":"item","numeric-id":248230,"id":"Q248230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$648CDDA2-8AA4-464F-94D8-A7ECB04548EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"038868f6da03723b5c5bde075035fc457d530ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2133472,"id":"Q2133472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$97CA18E2-B70C-4DF3-9F85-15B9F297EA1D","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":"Q2133473$625E8668-11BC-4DEB-90E9-E77903E87D0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0698df57671ad2ce194501142819fb0035c3962","datavalue":{"value":"https://arxiv.org/abs/1810.06037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133473$C3E6C740-88DF-4D0C-852F-99C2440075AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$7C8AA3BB-41F0-437C-8F15-5DE55640009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$74B5C601-BBEA-4E69-89E6-A933D43C342A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72d9ffe2aeda0b9deaeee98750f2e6b0b9f85534","datavalue":{"value":"7516374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$215BF49B-DC7D-473B-B7A7-452D501514AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$FF6D3A30-DC49-4C82-BABD-2C130EBA70C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b337133666c281c63fc6c354b303b6e297c462de","datavalue":{"value":"bar construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$1236BF9E-3CD4-44C3-A637-FC4E5116E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$06C59B98-86C6-4135-AB53-0D52E410F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4187ad24246ac2e37559c306b4c1c7f9941dcf","datavalue":{"value":"higher dimensional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$B79C48B3-4BB5-4133-8D13-3948A746A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e133420bd8ecb43ae9c8a8a6ecaa5316069870b2","datavalue":{"value":"simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$3F35D2BB-38F3-4EF0-AE04-CFC65DECAFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ff9df1a6473b20894fa134a5875493866000b04","datavalue":{"value":"stochastic dominance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133473$306DF5DB-5BD9-4710-91F4-7792525BB415","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":"Q2133473$E249A565-E30F-4248-B49E-5887FA99BEFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f25a78c0282c2b5345cd27a9247d9e415564792","datavalue":{"value":"W2896200016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$F7D2CC88-12B6-47A2-85A3-3A4486B8B04D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c19f18d332e72bf2356fb6c4f45fef3397e52e4","datavalue":{"value":"Q113317302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$AA244FD3-BE6F-4B62-B81F-9866FBE73FEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$611A7E37-54A7-4D6F-9037-23B0CAA7A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cef53c7037b1a86f6623b7127f9ba782e8f7644","datavalue":{"value":{"entity-type":"item","numeric-id":685405,"id":"Q685405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$8E476A60-65DB-4A1E-91D9-A95074A72CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244a422ad9e68a8aed8d61a32e9693e7601d5e0","datavalue":{"value":{"entity-type":"item","numeric-id":2255534,"id":"Q2255534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$74B5793D-C60E-4210-A1DB-B1B5DF70979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bd62df97b095562a561e3b70f30d02f67c9713","datavalue":{"value":{"entity-type":"item","numeric-id":3873863,"id":"Q3873863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$D77F37AA-2F6E-4BEC-88EF-FA5BA993D202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866fce0548c4b49045740c29bdf19bd0cd652bfd","datavalue":{"value":{"entity-type":"item","numeric-id":4628472,"id":"Q4628472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$AA0AB665-20E3-4835-BC6D-8FCF617F7EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$20D8CE46-D9BD-4963-AC46-CBBEA3F729D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075aef123e914ffa4ca172c6bf161c17d1e17998","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$2146E38A-BBF3-47A7-9792-6C96185BA4ED","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":"Q2133473$2B0E7749-05DB-4387-A925-6066D9A3CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15797e85c9ae26af4d9d48bf3b6d8c450b308562","datavalue":{"value":{"entity-type":"item","numeric-id":1683710,"id":"Q1683710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$209E2F42-84D6-4ACE-9E7E-717113CDD093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b25449039259f7a4db586ae03efaa519be1787","datavalue":{"value":{"entity-type":"item","numeric-id":2378289,"id":"Q2378289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$10263302-E5AA-4744-AC4A-A8C532BF16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$2409D39E-5892-429E-9BC8-32272A0D5F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda2f391ab725c016d8f7c41cd183a88c866e741","datavalue":{"value":{"entity-type":"item","numeric-id":5417740,"id":"Q5417740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$88A7EAFC-7CD4-4E09-9BD6-555E5C64B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$7C672BE4-F063-42F2-AAA2-3016FFAB360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f199dbcec49dde1c98956215854dfd8de80f7e11","datavalue":{"value":{"entity-type":"item","numeric-id":2540532,"id":"Q2540532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$2BBA6A43-4868-49B4-B809-91A136A2A943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5aed15c946efc90ae00b85cbc17166d3eb0dac","datavalue":{"value":{"entity-type":"item","numeric-id":3156505,"id":"Q3156505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$7EAD8B40-B0B1-4DE4-95B5-9AC58B60EBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79622b61946de558ac858ef9653161077b3f201b","datavalue":{"value":{"entity-type":"item","numeric-id":1066414,"id":"Q1066414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$6FADBCC9-154F-43E0-ACF8-5DB207DA6D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e838a274e2b2180cc1fb3c7487a50ba6437bb60","datavalue":{"value":{"entity-type":"item","numeric-id":4402856,"id":"Q4402856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133473$CA152432-2838-4210-A840-123D762DB901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b368449c21db73f824cbe371d812747899665485","datavalue":{"value":"10.1016/J.ENTCS.2020.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133473$6D10E135-C8C2-49C3-ACA4-BF21580FBF69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133473"}}}}}