{"entities":{"Q2981970":{"pageid":2992695,"ns":120,"title":"Item:Q2981970","lastrevid":85664825,"modified":"2026-06-03T10:48:55Z","type":"item","id":"Q2981970","labels":{"en":{"language":"en","value":"Automatic refunctionalization to a language with copattern matching: with applications to the expression problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713873"}},"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":"Q2981970$66F509C8-47B3-498E-807C-656B7DD4CA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83e03a05c61e4c62f94cd096c3e8769669268c97","datavalue":{"value":{"text":"Automatic refunctionalization to a language with copattern matching: with applications to the expression problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981970$68F748E5-7D9B-41D0-9FDF-7CC7FE75F3AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16199ce9569bf9228d332da9fe1a7d05c05dbb45","datavalue":{"value":"1360.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981970$321F611D-217F-4329-BC5D-9A554D44C499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1ec89a0a95fede2118d18f083d78f1adf5bb44f","datavalue":{"value":"10.1145/2784731.2784763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981970$BA16340F-311E-419A-AA52-F348E5C0D693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94dcfa7df3f0bc613bb3c1ce2d68302c5946e9a3","datavalue":{"value":{"entity-type":"item","numeric-id":2981968,"id":"Q2981968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981970$A3048850-FB93-4A54-BD1D-61693C7146C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aea44d17e307188f9d03f6f4b6ff8f194c376f83","datavalue":{"value":{"entity-type":"item","numeric-id":2981969,"id":"Q2981969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981970$2022B34F-D80F-4D4A-B82F-08B18C8AEE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be3eb5c4cd2026f9dab25aa23e26b12f470e2323","datavalue":{"value":{"entity-type":"item","numeric-id":2323965,"id":"Q2323965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981970$27EF822A-B37F-405F-8F32-E4ED2B97D736","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981970$56AA2E2A-4FF8-4B4F-A647-FA9E3ABF634B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981970$D884369A-AD69-4EEC-9ED4-48C66483243D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981970$D39C1C23-AB6D-466D-928E-56D604DA74E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdbfd8c38393b7d77930cd2f795224a2844087c3","datavalue":{"value":"6713873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981970$E60E6E86-BCB9-40EA-A8E5-B7BF75BA68C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fca0d731d9977db566f9ed3c8470b6f2f432478","datavalue":{"value":"codata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$6EC22A3B-F984-49E7-BDD6-7C9058F983F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278dc43e43d8f4745f26811ce966ad9cd1ddb5e4","datavalue":{"value":"copattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$3BFCDA7E-2879-48A4-A7B4-6348066AAD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74261be4e8c8ef6eee96e7062b95918b27cb1d7","datavalue":{"value":"defunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$76184EB8-640A-440D-A79D-4D27D5295196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a48c02cba53759c6898fbba8b1f40ae16c91d759","datavalue":{"value":"expression problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$BFA8E9DB-D3B6-457A-B308-20B6C5303491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe48754407a8ee0cde59d7c3dd662f362753ff8","datavalue":{"value":"refunctionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$F56697AB-42BF-4D2A-842F-EC9F3833A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199ce19061de577bd96f8e20c0e5dba8555f1ea6","datavalue":{"value":"Uroboro","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981970$ED7739F6-0DDE-4F9A-AA43-77063889F9D3","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":"Q2981970$81866E93-E646-4DD4-BBDC-8EE7D86E9DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa79317f2c96c4af51f8ed0cbf4cb753756368c5","datavalue":{"value":"https://doi.org/10.1145/2784731.2784763","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981970$2DECDC0D-D930-411E-9D01-0FBB669026E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb0e2c385c7ec20d29d9033b4c63348de9ea2a49","datavalue":{"value":"W2003797043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981970$FE607E2D-616B-429E-B97B-E5D958354491","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4856606c6fc5ed78336863b7a9c1c2599f819a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2323967,"id":"Q2323967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fe8a60c02d94ea0b84d5b7f258514c93a28f57","datavalue":{"value":{"amount":"+0.7638810873031616","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":"Q2981970$02BD0943-DFD8-4EFE-AEC8-EE54963BEC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273862e730a73d303bf52fc835703cc5bc1eb2ce","datavalue":{"value":{"entity-type":"item","numeric-id":923881,"id":"Q923881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a2f546d633c0cd88116f13d9fc4379e90f4cf5","datavalue":{"value":{"amount":"+0.7321251034736633","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":"Q2981970$CC087203-9B0F-4EE4-A6A7-10EFC3FF5452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33f70335574bd3d0fc6c8ddac756540626ab61e","datavalue":{"value":{"entity-type":"item","numeric-id":5348862,"id":"Q5348862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1912d410ee38d5f4548f7a556dfd53159c895cc","datavalue":{"value":{"amount":"+0.7262053489685059","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":"Q2981970$682FA3BF-4E25-4555-B4C1-812AE24BCB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68f761703e0eec59d8cc157bc8b46ff35cbd983","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e076df9bd0af2102570683404c7da91e16ebfb6","datavalue":{"value":{"amount":"+0.7176141142845154","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":"Q2981970$10D02CAA-A085-4A45-B2FB-4A424B4340F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d6065f381fc940d55c9d33eb9fccdb5d527388","datavalue":{"value":{"entity-type":"item","numeric-id":853737,"id":"Q853737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b32bf62fd7ba7b3942a9c811c302ce8cbf27673","datavalue":{"value":{"amount":"+0.7074427008628845","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":"Q2981970$8540EC96-1CF0-4221-A236-B968C47CA4E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic refunctionalization to a language with copattern matching: with applications to the expression problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_refunctionalization_to_a_language_with_copattern_matching:_with_applications_to_the_expression_problem"}}}}}