{"entities":{"Q4645813":{"pageid":6675394,"ns":120,"title":"Item:Q4645813","lastrevid":89921273,"modified":"2026-06-04T18:37:15Z","type":"item","id":"Q4645813","labels":{"en":{"language":"en","value":"Third-order matching in the polymorphic lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000091"}},"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":"Q4645813$88E477AB-F995-4DE6-81C2-75A8C7A172F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bb3b92e286802a9be9e30c35f8fd72cf1892b24","datavalue":{"value":{"text":"Third-order matching in the polymorphic lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645813$51A9DACC-33D5-4746-B249-4767297AFE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17296d84ceca81fe7f0c0cce2dfd1cf8404b2554","datavalue":{"value":"1434.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$1E844A00-15BA-4743-9894-85FDE5CA8E07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44bc92bf59a10a73b86df346c4bf2ae929397d1e","datavalue":{"value":"10.1007/3-540-61254-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$6F7B41B4-6098-4EA2-80DB-7DF20E061D00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$6A7F86E4-1398-4168-B72D-E401502F6101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645813$BBDE8F8D-9ECC-4194-B28A-9520CA1EBC5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce9aee39b5e56742425c93a713f7fce1a61b6ea","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26340","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645813$237A2C70-311C-4630-9B9F-4F2F6BAFB781","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$CF21CE0A-C856-4743-9040-7EBBE3CD4DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$1298922D-21DB-43E2-9DA2-6F1A311512BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c760dc18ac739d56cb540bcb904962a43f616e6","datavalue":{"value":"7000091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$7AD59EDB-675C-4D7A-82C7-78A15375E964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08fd499dd919749b8102dc7d2e15e95573a5beed","datavalue":{"value":"type variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645813$19710349-3E65-4A48-9701-C383D010005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc400440ff5e474454c6d037903bfc911de17ce","datavalue":{"value":"match problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645813$FC7805A3-9FD6-4652-B3EA-8BE823E6AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a53b06492982b99b7d4dbc495e557df1552e7","datavalue":{"value":"polymorphic variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645813$83ED22B9-671D-4B83-8062-78EA960D33F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49afbfd2b76f0d874f9ee7f3fadf61281afd452c","datavalue":{"value":"finite order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645813$CBD8CF83-4BDB-4F45-90A4-ED6F76BB6715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead7bf2007f95c19d88ab50b9ad14836276b5c56","datavalue":{"value":"object variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645813$1F0F25A0-5F5E-4BE4-B423-6E593AA00132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717619a6e7763f95143557fe13c62cba07c2e4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1349248,"id":"Q1349248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$5DF7BDA1-6E82-4548-91ED-EAA0DFCE7EB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$1C7FCE66-1C2A-4663-8625-6B1587C5A16B","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":"Q4645813$325A1F98-68A7-40C8-8026-E174AB82454D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d032c33d4eb081836c212704b7350e0b274dc4f","datavalue":{"value":"W2113723828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645813$9840F3B9-5AA8-427C-819D-3E0378A52C9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$C74072F9-422E-4ADB-9E2C-15F20498179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfcd42e102881e7dbb2feb75bbef84cb51882c3","datavalue":{"value":{"entity-type":"item","numeric-id":3986688,"id":"Q3986688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$983FE6AA-FD6C-4CB6-9FA9-76C7744B123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9344cfab702a03b184c2c5541cebac716f2f6eaf","datavalue":{"value":{"entity-type":"item","numeric-id":4035236,"id":"Q4035236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$E6026068-2D1D-44B9-8FA6-DF99C5AE165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815f60eb5d5dae0755bd20aa6c5c5e14b8fd4121","datavalue":{"value":{"entity-type":"item","numeric-id":1208421,"id":"Q1208421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$A2B39D29-61BE-4E38-8854-93C76F873CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$174F66D7-21E2-4EE6-B106-E262674EB27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa81bcc9d031f13e6443e8a60911fc02ec06aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3992669,"id":"Q3992669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$FDC63406-356D-447A-B225-C77E5842F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$6F1F8835-E6D3-4E02-94E6-8217999A435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff96c37a66afe1add790c14afe39b8faf5825da","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$7D2C6648-4BAD-4AD6-B816-CCCBB650A55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$D27E187D-4647-46C0-80D3-56C21016CE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348ed0d21d4cc0d93a24f6ef713029bdde0aabd9","datavalue":{"value":{"entity-type":"item","numeric-id":3024847,"id":"Q3024847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$7CF0B180-377E-4E78-8D9D-9A42BEBD429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$9C9D0164-0EE0-43C7-A61C-A6540C905BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0f389d1e33903be5a4eff9b36b3211f0d8560b","datavalue":{"value":{"entity-type":"item","numeric-id":3024854,"id":"Q3024854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$FE0A2DBF-DA6C-4299-AA6A-37B43F2DA230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fa0765caab346a3b62249e972a08bd2d2d383d","datavalue":{"value":{"entity-type":"item","numeric-id":5966632,"id":"Q5966632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645813$CE083CFB-3230-4A02-9A03-A74021ABFA15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7928d191d169dd0e90b0ee85bd9a623e1c9ef839","datavalue":{"value":{"entity-type":"item","numeric-id":3024854,"id":"Q3024854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2dba42da8e6ac0df05ab1bf15bba585f0fca3e4","datavalue":{"value":{"amount":"+0.9124934673309326","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":"Q4645813$E891C5EC-EF98-48D0-AE4E-2645FBB6A8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b86656b3f35057a4b5e6407ad48f2fc95b0691","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08584e48a160d70cd1ce0ad1f2b66ba735c3369d","datavalue":{"value":{"amount":"+0.90452778339386","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":"Q4645813$2F7F6144-D065-4050-9440-C5D89FC009FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc1679e0d0543c1c3c8f5018975ea5628797bc6","datavalue":{"value":{"entity-type":"item","numeric-id":4500172,"id":"Q4500172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03508fc08a5c84edcd64f536ec7abf043e97fc9","datavalue":{"value":{"amount":"+0.8109709024429321","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":"Q4645813$E72DC595-4F8F-482F-98D9-252CE4636154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde1450e3a5391a8e12057fb4e6ae57779a7900d","datavalue":{"value":{"entity-type":"item","numeric-id":4218930,"id":"Q4218930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8ef7875ca583e7b9f76423c39c9c9a97754650","datavalue":{"value":{"amount":"+0.8108160495758057","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":"Q4645813$2A00FF9B-8779-4042-8F29-28F26D0EED67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494bc894f4c795ac339b6656e4f1a6c375d880c1","datavalue":{"value":{"entity-type":"item","numeric-id":5311258,"id":"Q5311258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f8ef7875ca583e7b9f76423c39c9c9a97754650","datavalue":{"value":{"amount":"+0.8108160495758057","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":"Q4645813$B72D1AF5-1DE1-40E1-A543-14A93D41E0C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Third-order matching in the polymorphic lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Third-order_matching_in_the_polymorphic_lambda_calculus"}}}}}