{"entities":{"Q3460411":{"pageid":5239811,"ns":120,"title":"Item:Q3460411","lastrevid":87230063,"modified":"2026-06-04T11:09:33Z","type":"item","id":"Q3460411","labels":{"en":{"language":"en","value":"From nominal to higher-order rewriting and back again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527401"}},"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":"Q3460411$6A91B4E6-235C-4FC1-A0B7-9EDB5A7342CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66305b3647dd24939b35376c1eec759991c47af6","datavalue":{"value":{"text":"From nominal to higher-order rewriting and back again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460411$DB56F410-833A-4C97-B89F-8161B853D46B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"243d0d24e43880c494e107ab9dfe5e140293650d","datavalue":{"value":"1448.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460411$FFA1BD5E-895D-424A-8D89-7BEE7BB3CFDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"664101467f0c6804e6d4dfb9909acadd02ad3679","datavalue":{"value":"10.2168/LMCS-11(4:9)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460411$D81E6E5D-E27E-40CE-9FED-F4B36783AEFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2807a9ea471be0ecc6415ece0c28cb725252fef6","datavalue":{"value":{"entity-type":"item","numeric-id":2052577,"id":"Q2052577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460411$CC76FDA7-A4C1-44FD-8D56-5E65C467D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460411$D79FCAE3-140C-48ED-A227-9522F7F8310A","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":"Q3460411$E5555FD7-7140-4BBD-9B24-CB25919012B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460411$D953BB8F-18D8-4608-AA1F-4233D77BF71E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98fb241ffe999776c2f5f38e31e687ff5e696e6e","datavalue":{"value":"https://arxiv.org/abs/1509.05318","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460411$8E629A05-F2A5-4A7A-AB5D-1AC73E895FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460411$907D4273-7237-4D3C-A3FC-1B749234D6D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"758d714603d0f730b30ca0e78c1253ff55d5de5f","datavalue":{"value":"6527401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460411$7D42D297-4D21-4AD9-9310-F39961B970F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460411$E765DECB-DC7E-43FB-B3DA-9F6E4BFF2354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460411$25EC355B-A0D3-4B2B-9F75-DBEB3B60AD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460411$BC9004BB-3FB7-4F9A-8F2E-C206F784DC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca68678f0226476760659b8a62b898b90f2b853","datavalue":{"value":"higher-order syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460411$8E442A12-D718-45F2-BB17-A4DE851D3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd7787aa2bf2552563d9c9b8bcd2ba983f740e4","datavalue":{"value":"translation tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460411$44969953-EC13-4ABF-A1FE-BCEBBAFF0391","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":"Q3460411$CB979DA1-7177-4B0B-9515-E7CFE92502EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4ad02842d0f8fcb8ab66aaf2bd08615b16a52b0","datavalue":{"value":"W2239215046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460411$AAF778BB-823F-4F5C-A917-70152BDD0684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee561427aa7aded16a11026a7d5dc7fd736c9a8","datavalue":{"value":{"entity-type":"item","numeric-id":2922019,"id":"Q2922019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc42dae214e210b0a40cfb2963ec21d55d59ba81","datavalue":{"value":{"amount":"+0.9781202673912048","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":"Q3460411$3C5339FD-823F-41E6-BDBA-2B39FCB97306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d38495affb6d53d7bfe840b8ed22996c4414e1","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72c2c4643bef09855cbd6652cd86b7cd764f1ad","datavalue":{"value":{"amount":"+0.7882930040359497","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":"Q3460411$872E5AAB-84E0-4FA0-A38B-2426AB216D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f542dd38badc8795f933d752b0e8beb372df43a1","datavalue":{"value":{"entity-type":"item","numeric-id":3184752,"id":"Q3184752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4676f028370fd994f720cb5c2f2028c6f8c313","datavalue":{"value":{"amount":"+0.765273928642273","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":"Q3460411$1966B59D-E33A-4D95-A9B3-752AA0805279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75eec63366737e674038286a4b67f044d786e6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2723891,"id":"Q2723891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2615d7c73f73c23e82cad8308eb5f262c44cc0","datavalue":{"value":{"amount":"+0.7627798318862915","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":"Q3460411$F7FE0252-7EBD-43DC-83B8-7F9E0971357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0e562696013e9e4f1b71877454f42a7fe76a55","datavalue":{"value":{"entity-type":"item","numeric-id":857913,"id":"Q857913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b734f91ca7acbf8ca240fde41efa7079d58b80","datavalue":{"value":{"amount":"+0.7540261745452881","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":"Q3460411$590BD2CD-2E43-4D31-B14F-9681238D7384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From nominal to higher-order rewriting and back again","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_nominal_to_higher-order_rewriting_and_back_again"}}}}}