{"entities":{"Q3521989":{"pageid":5551893,"ns":120,"title":"Item:Q3521989","lastrevid":90245597,"modified":"2026-06-04T19:40:09Z","type":"item","id":"Q3521989","labels":{"en":{"language":"en","value":"The Expression Lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317303"}},"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":"Q3521989$A267DE88-A8F9-4DC5-B39F-ABDC57769DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b8c109b69b424021a7bac420ddd86883eb07191","datavalue":{"value":{"text":"The Expression Lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521989$F400B5AE-308F-495F-81AD-FC0FCCD4C2A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cb0307fcd1258662d3d9ba54ada486a08a20bde","datavalue":{"value":"1156.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$120F75A8-4A8F-42B2-9ED3-0502D3E2FD27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42b04fa11ae76d61fbf790b3847912dbebfa932d","datavalue":{"value":"10.1007/978-3-540-70594-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$E8AF55C7-7B65-4911-A357-1EE0C4339C58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f20b864ba2b6baafd86ea10e4803eae041833ccf","datavalue":{"value":{"entity-type":"item","numeric-id":3521988,"id":"Q3521988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$3748BE57-4361-4E70-B113-FCFE56A48789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e0410d5053ef92c9b932fa6502b7f6f0283d51","datavalue":{"value":{"entity-type":"item","numeric-id":1394987,"id":"Q1394987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$82828BF7-0016-4BCB-ADE6-A056C41A02CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$A3AD9811-967C-4BCA-A40A-D070E04EC3BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521989$2603F2A5-00CA-417A-8D4F-233EFE4CD13B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$AE613BFD-F1DB-47DE-B4A9-FBEA6AA9625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$0A5DB86F-25EB-408D-8430-E2BA104B21D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f91f36f3fb2f2c44d384f91921750894ac53be1","datavalue":{"value":"5317303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$F537308E-0E50-45F3-80AB-0D44A838F800","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c144a2824a9ed3e4a4ba3a0a345c0d472d28d6c8","datavalue":{"value":"expression lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$6E6B37D8-C9E9-46E0-BA75-798E88BCE100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a48c02cba53759c6898fbba8b1f40ae16c91d759","datavalue":{"value":"expression problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$764EDB62-F73A-4261-8BE6-D7EA37733CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f1d77fbe55f3d1650b78c1978281c473e2c3ac","datavalue":{"value":"functional object","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$872D2E7C-38FA-430E-930C-EF4E10C42636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15b309c677ecba6a61aaefe17e9b58d5c4894c6","datavalue":{"value":"catamorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$67CE6D19-DDEB-4168-BB16-C3D03FBDD8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e491f35775830ca47af12f9411f0e51e3cb333aa","datavalue":{"value":"fold","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$26DE1844-3AF3-49B1-B96A-5B31AB0E5729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf51169cab0462f3cd52c1b8f0620edabed79de","datavalue":{"value":"the composite design pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$B1540406-193B-44CE-B83E-026B1E589961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7ebf2fb8348b7d9defee8efa658bf41bb542db","datavalue":{"value":"program calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$5AE8D8FA-D1E2-406C-8593-AA97136EFD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34c2c8da631f644c90e4c30a7170a787e873122","datavalue":{"value":"distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$46DDC4A3-CAC1-4AEF-A8BD-556F75F6621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9403b2afe226b5b058c7ea1fbc0c1c7d7cc7932","datavalue":{"value":"free monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$678F0705-B014-485E-9DE5-BE4785BDA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0682782a580a8548f96725399c74ade359ff34e1","datavalue":{"value":"cofree comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3521989$4AA6CFCD-9541-42D8-A1DD-CB30EBD2602E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$0F5C0D03-AB8A-4486-87A8-2611B521368C","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":"Q3521989$D7E54C69-2582-4164-893D-BE574C179B5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"425fdf295f8c09f8cbf82ff4368cf05179025d93","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521989$601E76F2-99A9-4E77-BDF8-8420BF178A78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6afd5a5d29e694c73c08cb75260be3ea70d41ef1","datavalue":{"value":"W1543127318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$35306921-5D78-47A2-B884-8A9851E3A432","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7acb2682dc415d615659fb13598c6b6e718af426","datavalue":{"value":"Q57400584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$3AF8A84A-F2D2-445A-9D6F-896EC8808C3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$8A3728B3-BDDC-4B39-BD8C-2B95E97E5659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$AC617FA5-8FD7-469E-ADCB-CD6008FF22BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f037bcbd5d14838c768fd7c10985fbf1163f3c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2817685,"id":"Q2817685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$90666E33-A6A3-401A-8BE8-5D2164B9B916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141416913ed8644e9d00b6354cae7501f1ad8866","datavalue":{"value":{"entity-type":"item","numeric-id":5348873,"id":"Q5348873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$E497CC37-7E28-4412-AFCD-6771BF8A5BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936c7c4a052989c715e3bebcddd81b4a8fd16339","datavalue":{"value":{"entity-type":"item","numeric-id":2495644,"id":"Q2495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$0261C3C4-B8B0-494D-8BA6-D6B2088D8389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77bdf750d0e9219fbf4b70e89bd517bebced118","datavalue":{"value":{"entity-type":"item","numeric-id":4208532,"id":"Q4208532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$71000B4A-5647-4A47-8B33-B0712B85EF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72b5c70f683e062dfcccaf2d9848f57528484b6","datavalue":{"value":{"entity-type":"item","numeric-id":3618825,"id":"Q3618825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$2D460FBC-72AA-40BE-B464-9D29DBAC6552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45878fd4eb67e5421fec78b7ae9befc0923926c","datavalue":{"value":{"entity-type":"item","numeric-id":1878714,"id":"Q1878714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$88DA2E03-501A-4C9F-8DFC-FE011D38C5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39768ac07a39fad87330b090f9be3b893e03633e","datavalue":{"value":{"entity-type":"item","numeric-id":1201295,"id":"Q1201295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$038967C4-1065-4D63-B7A0-6B0A9FB016F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$9128907B-CF54-4C9C-946F-C5797735BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$ACA30425-3E17-47CA-942E-62CD19322FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf620f4766701954cbcd7a492f66c41a2916efe2","datavalue":{"value":{"entity-type":"item","numeric-id":4490734,"id":"Q4490734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$51578D7F-B926-4EA7-94C3-7EF24AC7C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bdd0b4b798b242af3249cf23f716a72946cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$0DD20F08-61FE-4BA3-8528-0A808D6D518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4232c1cf347b8d3a9d19f69f9f3a718b2730c85f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521989$CF686BCF-D6A6-43D2-8956-D372DB225091","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5b886f88ac30675931cd121de05e1e1c9d1a6e26","datavalue":{"value":"conf/mpc/LammelR08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521989$0D5BE2B8-936A-4CE4-ACF0-DCCA376C6048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39f75269ef31568b5256ac6fdfc9c88ca0d85c6","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2deb243c96e8006ef06096fca9b18c32743a514e","datavalue":{"value":{"amount":"+0.7087108492851257","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":"Q3521989$3AB154E4-4818-45F2-9F52-BE7C1CFF01A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940723fd7e6ea9f480a9accdd2cd50405f238aad","datavalue":{"value":{"entity-type":"item","numeric-id":3736891,"id":"Q3736891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd8cd057d74422506549c018b60eb87775bf10d","datavalue":{"value":{"amount":"+0.6956579685211182","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":"Q3521989$6C414742-995C-4360-AC04-1B9DB3317B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bde2ffc60870b352ef1df4d2d7f377f5f1c11ad","datavalue":{"value":{"entity-type":"item","numeric-id":1201295,"id":"Q1201295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2355f8538e204eaaf1422dc40886e094400059","datavalue":{"value":{"amount":"+0.6897728443145752","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":"Q3521989$98F19855-DFC8-4AAF-8A3F-6F8B4F06FBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7240b1e7d808c09a688fcf3289c193307b52898f","datavalue":{"value":{"entity-type":"item","numeric-id":848745,"id":"Q848745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1b603228bfdf838922574280dc0f63535eeff0","datavalue":{"value":{"amount":"+0.6895471811294556","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":"Q3521989$DEB45FBF-06CE-4EC8-999A-C952426DCBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e3d6f4afd8e41814f819c21c23f4499f8380f","datavalue":{"value":{"entity-type":"item","numeric-id":2718773,"id":"Q2718773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08db81afd7c20f37bcf8cd57bf227511527a266c","datavalue":{"value":{"amount":"+0.6878229975700378","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":"Q3521989$F2E34B65-DAF2-49C5-BD0E-F772BEB752D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Expression Lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Expression_Lemma"}}}}}