{"entities":{"Q2846582":{"pageid":2857302,"ns":120,"title":"Item:Q2846582","lastrevid":58020177,"modified":"2026-04-03T11:48:16Z","type":"item","id":"Q2846582","labels":{"en":{"language":"en","value":"Cartesian closed 2-categories and permutation equivalence in higher-order rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6206247"}},"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":"Q2846582$53ABAA15-4128-4531-B5B1-2C2B4FE494D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f2e1fe971042c93736b161b1c2dde0b1bc60916","datavalue":{"value":{"text":"Cartesian closed 2-categories and permutation equivalence in higher-order rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2846582$9FC3415D-AA11-43F6-A7D4-8C4CE8C8524A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc5e149b7254a73907ba38ce37e2d6a259b491f","datavalue":{"value":"1272.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$F2EB2EF1-CBAA-4383-8C8D-B19DB5225275","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e256c49844235c480d669f6e3018e18817d44999","datavalue":{"value":"10.2168/LMCS-9(3:10)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$AE3C926F-827F-452B-A9C6-8D15940CC103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2846582$9D80D594-8CDF-49A5-96C7-F6D618155714","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2846582$761768A4-1F2F-419C-B5B7-127C8D5287D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7d35d411e4bf86722d143db6d6ffe35bf7949be","datavalue":{"value":{"time":"+2013-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2846582$82F8AE19-D508-437A-B229-781272BADD53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"886f116f17fc2b7575680b5548aa4ece3b08a132","datavalue":{"value":"https://arxiv.org/abs/1307.6318","type":"string"},"datatype":"url"},"type":"statement","id":"Q2846582$15CC143E-23CD-4494-94BD-7F5D6692BE85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$B3A12D49-2A1F-4DB1-9262-F75840010C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$F9AC7DE5-B2F9-457A-8B70-8313A4BB739C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$374F701D-58E7-41C8-879F-A63429D94AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$BF619807-0C1B-479F-8E38-B5C3A3033684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$10B2D217-C422-44A9-AF23-924394F00880","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38665890bda62c3564b9f147fcfbf9182e0fa710","datavalue":{"value":"6206247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2846582$13811AC5-BDBE-4662-9EAB-B576CAAF1BA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6042915d2a1d5cc0c7cb0f31112ea5a967d125c5","datavalue":{"value":"Cartesian closed 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846582$3D4F70EE-57C8-4053-9EB2-22B6FB1EB365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846582$A40C92D1-9C9C-4DF6-9464-94712C4007DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846582$ED2629B2-BCEB-4DE6-83E5-DFAAC726DFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846582$47CEFB65-AB6B-4CB8-8DFC-E84ED53EE482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2846582$F1091865-4E5A-4C81-B806-BBBDFCD7CD9E","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":"Q2846582$DAE985E7-F5F3-4B71-A63F-23C31F7C0586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b823db7b14c501c58977d6270642af15f9913f","datavalue":{"value":{"amount":"+0.89059323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$24EA737A-2EC5-4310-8A3B-E75CEE0D321F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96354f9c5ec706223110505364695cc69b36fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4723264,"id":"Q4723264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cd149f5263664670b2f6986e12651ba8fcc6ec","datavalue":{"value":{"amount":"+0.8843934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$03E6B3AA-091A-496F-A256-6D6D77F15510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0f2bdf11066aa333e74942208617d015e988fa","datavalue":{"value":{"amount":"+0.8809668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$C3B813EE-2567-471F-83A2-3AE097ED5B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6848f268bb214de516b074165c55cba8f0e24a","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3d7c2b66acc705a92cdb3bae3e7a2694f52424","datavalue":{"value":{"amount":"+0.8741687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$0E3E7937-A5DA-4E68-8F52-5206E1C07B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f2b9286104a720a844a3ed139e016c39da3207","datavalue":{"value":{"entity-type":"item","numeric-id":3677755,"id":"Q3677755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8551f16861ff7a67c58cfec7dc38eddc1d322025","datavalue":{"value":{"amount":"+0.87159395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$974A1EAE-2975-40C6-B2D8-F109E3821C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c784b61e3a799414a2916ab0c2628cadc9273d","datavalue":{"value":{"entity-type":"item","numeric-id":626714,"id":"Q626714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd9a8ba05b64105156a2fe121101a57c63d918d","datavalue":{"value":{"amount":"+0.8650137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$2CCFADC6-6A25-400E-BF44-3ECEAF2CE3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4060e11a97a0ecd616fe3923e0f6df5429e2838","datavalue":{"value":{"entity-type":"item","numeric-id":1123254,"id":"Q1123254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1556e481fc677a46e6747d3fee1dc1d212217e","datavalue":{"value":{"amount":"+0.86297405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$98E9D2B2-2C3A-4F47-9DE9-E439059C3C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d073a3eb6a4505e9bb85239381334c1cb8e31e3","datavalue":{"value":{"entity-type":"item","numeric-id":1853587,"id":"Q1853587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a920458e46c30826cc6ae213e9bd9a9eef6e6e","datavalue":{"value":{"amount":"+0.8626776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$1329FC7B-97BB-4F1B-9FA0-6B1CB1C43031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f5f792bd3aee6706478450fb292e81bdfa23dc","datavalue":{"value":{"entity-type":"item","numeric-id":3990590,"id":"Q3990590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ffbd03b4c7e906b63671478a28def725bce4f6","datavalue":{"value":{"amount":"+0.86016583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$1B536DC4-9424-46C3-84FA-967D678C0981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f8fc64d7db5b68c74728d3364d52a76fec7c2b","datavalue":{"value":{"entity-type":"item","numeric-id":4943554,"id":"Q4943554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3efde52f642d68cf47bd2f123d64324f50137a","datavalue":{"value":{"amount":"+0.85886383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2846582$0CDF004D-668C-4B06-870C-ED02A60AE222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2846582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2846582"}}}}}