{"entities":{"Q6941736":{"pageid":21154023,"ns":120,"title":"Item:Q6941736","lastrevid":84099860,"modified":"2026-05-10T01:41:22Z","type":"item","id":"Q6941736","labels":{"en":{"language":"en","value":"Pattern unification for the lambda calculus with linear and affine types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8081386"}},"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":"Q6941736$09546175-88B8-4CED-BCBB-6A278F97321D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e8c890760fc0614eb1dafd2398e791b2766e4bc","datavalue":{"value":{"text":"Pattern unification for the lambda calculus with linear and affine types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6941736$66EF20C8-181B-4C72-842F-E1C0C8AC179B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"315faee7b155dbaa7421f133f4b4bcb6a0986424","datavalue":{"value":"1570.6803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$CA7ED6CB-1B43-472C-B4AC-F71DF2E45004","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41eba6d7b737ff9619ee51c1f1a9f991f9a4ec0","datavalue":{"value":"10.4204/EPTCS.34.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$FCCA4F9C-47A1-43FF-9184-FA079AB97334","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"528abd8d6563a2c95f54d9a11ab202b68cd4233b","datavalue":{"value":{"entity-type":"item","numeric-id":2871869,"id":"Q2871869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$103F6235-860A-462E-BF45-E2B15FA6C8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$641DF378-424F-4AE8-A615-8B8AFD7AAB19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6941736$5D3B1950-CEEA-4ED5-9D30-86613B983462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$D3E03196-8DB0-4377-A20D-EB99C873FF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$9C2A42BE-AFAA-454B-AD0B-60074FA60CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$14C5FAE5-CBDE-4337-BCAB-9F7F8AB6857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$8737EA84-B045-495C-A854-FF9F6EB1C658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$09B17B8D-7F9C-43EB-82D8-2DCEACD5D6BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e5055c7162bb347f0aad30e6aa44ad962274372","datavalue":{"value":"8081386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6941736$BFAD24D6-73C5-460C-9C57-E6D0CC8B8E1E","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":"Q6941736$4F980D7E-1993-466C-A153-DBE8B243AD1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$18086CE2-BC17-4AF7-9429-2BF6FACDD7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$3E42F6B8-E7C0-49BD-B228-C85354B3DEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$CB38E6C6-35E1-4623-B51E-8C4F131E2861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024a43fb48c6e06ffc87d6fb6cd37e785b8125e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541713,"id":"Q3541713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$FE2501D3-8F5F-498E-A51F-D939F687DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f85a488d3f386518edb0636f9b1f48fc0498f","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6941736$67118A3F-CD7A-4B97-BFF5-0762EFA0F0A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pattern unification for the lambda calculus with linear and affine types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pattern_unification_for_the_lambda_calculus_with_linear_and_affine_types"}}}}}