{"entities":{"Q1330441":{"pageid":1341191,"ns":120,"title":"Item:Q1330441","lastrevid":47260273,"modified":"2026-01-01T04:01:15Z","type":"item","id":"Q1330441","labels":{"en":{"language":"en","value":"The tensor product in Wadler's analysis of lists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609576"}},"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":"Q1330441$C5B89FBF-24D7-4533-9D7E-0F1B45F76F4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28b51e7307c54bb74f4ef121417b1a68f6330576","datavalue":{"value":{"text":"The tensor product in Wadler's analysis of lists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1330441$E40B1703-A7D2-463B-8A31-81E5B9E26BA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fe6a10aa3bf36e7000c52f6cbb9c34fee8dfeaf","datavalue":{"value":"0810.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$55099A5D-0A78-4946-BAD1-ACBE42D7AD62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59de5a5bab016dbde7ca92e96100521926f94970","datavalue":{"value":"10.1016/0167-6423(94)00009-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$9F9A8C75-3A2B-48B3-9F4E-F8FEE3E9D758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330441$2CB3D6A0-82C8-4880-AEBE-181A252F8F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330441$674C949F-E01D-46EC-8705-4F66FD9B085F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1330441$E3FC0708-5689-4F45-843F-438CA9DA7D1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1330441$34484703-D16A-4EEF-9155-BE4EB4F32B57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$7504F3F7-45EE-4EEC-BE3D-15651B99F9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$A16D1FEB-F602-421D-AB60-5EBB47E0FEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$9E4C7E82-C2F6-4094-9E7B-F2B05B00E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$69B43A52-12E3-403B-8443-E7DC1F44B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$A1C3012F-D436-4021-BAFA-ECC2D77D3CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$7CE3EFD1-582D-42D9-A97E-AE11E63955FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9f245ace7cbf65c26361bd8e73d8c3c369eb817","datavalue":{"value":"609576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$C307AD9E-5CDE-43D1-9CE0-551A29DF8EF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fa2700c914d977709905bda12bd6217fe230b8","datavalue":{"value":"Wadler's strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1330441$FB6A987A-5AE0-425C-A103-A12F6B8F49AD","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":"Q1330441$64BD2D35-9AF2-4675-897E-0DB25DD07E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acc8885429857b86996761f9ea2bff770a408bf1","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)00009-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1330441$80F1F3BA-119B-42E4-BBD5-577B7280DB21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2fa1da6da0fea43cc53d6a6951be87810ce1cd6","datavalue":{"value":"W1483036718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$32C24864-750B-42FA-A7E5-61FC0E6B4FF7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d49c8d9a7ba2b7d446f2709451c3d10e46ad07d","datavalue":{"value":"Q59416363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1330441$BE38B359-AFBD-4648-9444-15179F674561","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e6337227205a8fd517437e08e6e6a02569ab62","datavalue":{"value":{"entity-type":"item","numeric-id":4870811,"id":"Q4870811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbb950d1ac55f98090466402e19c973fa63d255","datavalue":{"value":{"amount":"+0.7126478552818298","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":"Q1330441$A7B97E8A-0EB5-426C-B6E0-FF08FD00E1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f24817ea0b21cee2a5b2e62c3d86ab616382e95b","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4101dc5f7c5c080347bf45a59079b359095edae","datavalue":{"value":{"amount":"+0.710587203502655","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":"Q1330441$F952451E-6E05-4212-BB61-256730C800B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22f3f99af0318aad07e266a4d31e694c0354b6","datavalue":{"value":{"entity-type":"item","numeric-id":3713564,"id":"Q3713564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28ee77798c3a5612d23d9b2b033ff2b79b0cd7b","datavalue":{"value":{"amount":"+0.6983217597007751","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":"Q1330441$351F1497-AF11-46DD-B61C-B4BE68485B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daea3dc03638a48d2446b17ff1ec7592b84992f8","datavalue":{"value":{"entity-type":"item","numeric-id":4036553,"id":"Q4036553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d994d75f15b168438360b720dd6d7d0daf9286","datavalue":{"value":{"amount":"+0.6864525079727173","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":"Q1330441$29D0789A-6D77-40D1-8FA2-2115CDF8E4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ef10c880f5ccd1c6e31ac0025d93404cb2e3dd","datavalue":{"value":{"amount":"+0.6848338842391968","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":"Q1330441$0AE242D4-75C9-44DE-A69D-780B46980DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1330441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1330441"}}}}}