{"entities":{"Q1275015":{"pageid":1285765,"ns":120,"title":"Item:Q1275015","lastrevid":68554920,"modified":"2026-04-13T00:31:48Z","type":"item","id":"Q1275015","labels":{"en":{"language":"en","value":"Rewrite orderings for higher-order terms in \\(\\eta\\)-long \\(\\beta\\)-normal form and the recursive path ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238751"}},"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":"Q1275015$914F69E1-16BD-4249-B9D9-170634D7334C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8de33363e1fc8f0cd83632514e2c37af87a7304c","datavalue":{"value":{"text":"Rewrite orderings for higher-order terms in \\(\\eta\\)-long \\(\\beta\\)-normal form and the recursive path ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1275015$422FB556-46F7-41F5-9EB5-24B6C149364C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ee73730c54addf8f9eea7462a819b659eaf365c","datavalue":{"value":"0912.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275015$C7BE0085-7C40-46A5-8D62-3A01D6471F59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9be240b5746c1cd1a8a8fd01e65307cfc2716e1","datavalue":{"value":"10.1016/S0304-3975(98)00078-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275015$3AE3A386-438C-473E-9F95-BD6CB202056C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$A23681DD-5129-43DB-819C-02DCC9512283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$EFA56B08-F68C-4862-A668-81F6DD7D9CCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$8C530278-BBDF-44FF-BE1D-4EA9ACC1AADF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1275015$A8729176-F109-40C4-B7B2-02EDE39D33E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275015$9331FA42-5299-49A4-A8D4-88C7C50A2812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b656961b188d0088499316f82c481ae957b30b","datavalue":{"value":"1238751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275015$54ABCD09-6AC3-4D4F-B7E2-7CC6D0A3F30E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275015$A65A2235-0BFC-446F-B6D1-93D3F2DBC322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275015$D3FCE036-105C-4FDE-8504-393F45FD6B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1058936fa6f07ac00efcae2a714c995309db6a","datavalue":{"value":"termination orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1275015$E6291EB2-7685-44D5-9A6F-D8A8B81D4B08","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$3C0B8131-D68D-46EC-9A2D-4B40797571EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$6D11CB13-E17D-43DC-BCA9-6047E462752F","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":"Q1275015$59018693-7166-47FF-A60D-5BA7FD427D43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3bd3ba10b0a8db4c435a1f311674675f6385e0","datavalue":{"value":{"entity-type":"item","numeric-id":4234771,"id":"Q4234771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$5FDAA92A-65F2-43D6-A7E1-90BADDF200E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822fb800f6e4b0909ae356724c2acfe53f72f0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4385533,"id":"Q4385533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$3891406D-953F-4AE6-947F-6EE460E21C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$49CF48D6-93F4-4CC8-A7A6-B793F619F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$3EE2F649-9782-4C73-B803-EEB6F6EEC1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$CA0F656C-D847-49BB-BADF-4BF67AAB7951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$C8D67AFE-1142-4850-BC00-91C0D28B700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$C5FDF3E3-C8D2-4A77-AE0E-5681C4E27DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2139b24faac29260605061d8111231a2904d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4325974,"id":"Q4325974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$FF2112C8-2F64-4C11-9B0D-F67869452677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a73cce9c4f8ef22ec17ccc31acff7fc597204","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$84885A63-A1FB-479E-A2E8-5A43BE5284A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127a2ffbd273875108237c1f1cec6959561610d2","datavalue":{"value":{"entity-type":"item","numeric-id":5881181,"id":"Q5881181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$24F3B5BE-17A3-4F4B-B6DB-1C3C245DF493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e9db7d26f0c7b0b45d432b73750c58bf2f80eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1275015$33A9C047-8A2D-4AE7-AF93-DDFF4DA66612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4af33c2c927d8b8434f6d967c26a61a3469c5000","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00078-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1275015$D2E5CA58-7783-4D29-8D12-5710F3CCAC9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9348dfc09f102e7d2380d9b4a7b2c3a384745e09","datavalue":{"value":"W2033042203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1275015$D323670A-8C1E-47AA-8038-194059ACDDA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f000fc31c1bab55c3a4a6f5c543789864c6d5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5055855,"id":"Q5055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e593c6a5885f04011f2924d2073abfca11ed0de","datavalue":{"value":{"amount":"+0.9680696","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":"Q1275015$1EA6070C-F77E-4903-B499-03193ED76B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ed57f1f8aeb92172bdd35e2d98fc0a6e28a9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3527310,"id":"Q3527310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d03864d78d6a5aef4521c890d78990d9f84113e","datavalue":{"value":{"amount":"+0.89581364","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":"Q1275015$243C5E0D-3C75-4A26-B76F-83CABE49C110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d031d31db6bb079a8a4faf70bd5f118862579f","datavalue":{"value":{"entity-type":"item","numeric-id":5039177,"id":"Q5039177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742e18e3c57bea84db3fba4f3ce910627ebfd93a","datavalue":{"value":{"amount":"+0.85118395","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":"Q1275015$DEAE2B33-29F8-48AF-A82D-C4C144E7106C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9c3913329ee7f52ff3f5750a865fc785d3ba165","datavalue":{"value":{"entity-type":"item","numeric-id":843949,"id":"Q843949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6657f18ab0cce71b0cbcb26c3609768d085ca6d4","datavalue":{"value":{"amount":"+0.8507291","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":"Q1275015$788C4590-FCA2-4955-AE1C-917D648E62F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd76f008e9b016b7f7fcc22238c76736d4c25465","datavalue":{"value":{"entity-type":"item","numeric-id":1099655,"id":"Q1099655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b2d68f413688da07d38b50adf8b2fffb1455b3","datavalue":{"value":{"amount":"+0.848385","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":"Q1275015$70097E07-9D02-4F0E-8E31-A70C616E6FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59c7ea6c5854084cd587246962e42d311985555","datavalue":{"value":{"entity-type":"item","numeric-id":3696501,"id":"Q3696501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273ff87805c2f6db3b7f71efadc604b904292c00","datavalue":{"value":{"amount":"+0.8483849","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":"Q1275015$6D5C34AE-3D73-4D57-B394-5F9A13666E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f492360c8f63f6e2a35623f5cc952b2ef0a454c","datavalue":{"value":{"entity-type":"item","numeric-id":5881184,"id":"Q5881184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade6875236abdb22e1ab9923d1d8d1e5d4e83b92","datavalue":{"value":{"amount":"+0.8471866","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":"Q1275015$711D7D0C-FC8A-40D4-8D61-646F7DE47B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e67849cf4aa4a100b4ec7fcda3317e21d4850c","datavalue":{"value":{"amount":"+0.84281874","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":"Q1275015$FECB42B4-4C81-4178-AAB5-DECA86290C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4635d1639cf8bb55785f87628da779f21f1c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2104512,"id":"Q2104512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0fc01d757ca9d4f7a53660f76167ff69473067","datavalue":{"value":{"amount":"+0.8377007","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":"Q1275015$2D959860-DF11-4FCB-9B61-4BD8251D4E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b843da43ce5056c3865f6a9fca6912f4c99c18","datavalue":{"value":{"amount":"+0.83605015","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":"Q1275015$15A3878B-D1CD-418C-8619-5007ACD9798F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewrite orderings for higher-order terms in \\(\\eta\\)-long \\(\\beta\\)-normal form and the recursive path ordering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewrite_orderings_for_higher-order_terms_in_%5C(%5Ceta%5C)-long_%5C(%5Cbeta%5C)-normal_form_and_the_recursive_path_ordering"}}}}}