{"entities":{"Q2849860":{"pageid":2860580,"ns":120,"title":"Item:Q2849860","lastrevid":51828485,"modified":"2026-01-20T06:08:57Z","type":"item","id":"Q2849860","labels":{"en":{"language":"en","value":"The polymorphic rewriting-calculus [type checking vs. type inference]"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209893"}},"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":"Q2849860$D3F50A02-8E82-44E5-BD75-4C8196707F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9113f308ea67d270a4a4b3907f27f34ad5343aab","datavalue":{"value":"1272.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849860$F996C2F7-CED6-40EA-8956-504454388ADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849860$5A9EA78D-3523-4B39-B9EC-605385769C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ededf455668b12324b97fced421af3583ca8fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":2844064,"id":"Q2844064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849860$6C3E221B-F10D-44CF-B1A5-58B096215DC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849860$97B2F30E-7A86-4BA0-A294-42764BBD5DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a8c65a93c8c9ee6816652e54873958febc5ca35","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610405296X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849860$29D083C8-076D-47F2-93F3-BD4003B1EA48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849860$CA23E45C-5781-4E9D-AB43-FC4C11DA66C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0444754f14110cb40afb053c836a073465f9b64","datavalue":{"value":"6209893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849860$2AFF72C8-107C-4C28-89BE-81730DB7CBF7","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":"Q2849860$DEF671BF-CE26-4D9F-A3A0-CBC516AB31B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74ed849cd11c4092ad0c1aa8470c679002378c4","datavalue":{"value":{"text":"The polymorphic rewriting-calculus [type checking vs. type inference]","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849860$336358F0-9D3F-4637-BEBC-68E54613FA45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42808a161fe6902106a77106d0ee554c67dc7553","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a762fefaa95381a035234d7a46421314a947046e","datavalue":{"value":{"amount":"+0.8400967717170715","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":"Q2849860$2A861D5B-10B6-4BDD-B538-A0F7136652D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae14d1f98a742f9c607eaff2cba9a0d69e3844","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede9204596276f8d8084fd46a4ffd855d0832775","datavalue":{"value":{"amount":"+0.831081211566925","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":"Q2849860$A27279A8-76C9-402D-ADA1-3E2D4B9449ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e10df6c80f52578649ef7f839fda7d84fb925","datavalue":{"value":{"entity-type":"item","numeric-id":2766797,"id":"Q2766797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede9204596276f8d8084fd46a4ffd855d0832775","datavalue":{"value":{"amount":"+0.831081211566925","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":"Q2849860$F6E5BC89-0420-465C-BF75-190D2F033E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a609f8f045d8527c3d504018e5821d3568dce","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb672327dbb2e5d122080f0f6fb338c842a6036","datavalue":{"value":{"amount":"+0.8196994066238403","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":"Q2849860$2017F1C3-2041-49EE-B04D-6852EB31CB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ac706391279225e81770873b926e13e28c5669","datavalue":{"value":{"entity-type":"item","numeric-id":2703689,"id":"Q2703689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4911df2431965ad5a3e77879c60c93789b44be29","datavalue":{"value":{"amount":"+0.7882218360900879","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":"Q2849860$09FB430A-9D21-4A27-9E15-9819E0BEAACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849860"}}}}}