{"entities":{"Q5055816":{"pageid":7085393,"ns":120,"title":"Item:Q5055816","lastrevid":47785957,"modified":"2026-01-02T16:50:04Z","type":"item","id":"Q5055816","labels":{"en":{"language":"en","value":"A termination ordering for higher order rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631238"}},"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":"Q5055816$9708C179-447C-4288-9827-6BC4CDE8B491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31fe961751f7ebcf46801d8589ec115a70634fc4","datavalue":{"value":{"text":"A termination ordering for higher order rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055816$1C2FA94E-8734-412E-92AB-9C4616839BC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67690544bab3b82e4fdbc5de82fb8f3a5ff79cf5","datavalue":{"value":"1503.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055816$A73019FA-ECBD-4406-A068-C44ECBEB9ACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2397d3a48d7a31c13ea95f9d12a0ef9090c0ae62","datavalue":{"value":"10.1007/3-540-59200-8_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055816$F651F2BA-2BAD-429C-B351-942EE5741607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b0aa3f954e9adb388216269ba8382b87a46cab3","datavalue":{"value":{"entity-type":"item","numeric-id":1317861,"id":"Q1317861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$FFA6110F-1F18-4EBB-8604-71F86480B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ffa04c0ab681beee33c3539dae66780eff55057","datavalue":{"value":{"entity-type":"item","numeric-id":5055815,"id":"Q5055815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$CBB52547-1740-4D2C-87C0-9C1D63D7C80D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$7193C4BB-2E63-422A-A1AC-0A1A2E974EB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055816$90CF65E4-CA26-4D87-8750-5A97D4E1D65E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055816$C54ECC35-F3CB-4FE4-BB0A-5E6F9D857386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e07145742390b57ea56d21d619f2dc6ee3724f4","datavalue":{"value":"7631238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055816$04DD5B16-C1D0-400C-8D50-D44B302CE041","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":"Q5055816$7B757CF1-F7AE-41F2-BE13-DFC8B2A45C0B","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":"Q5055816$B7744A6E-2108-4ED9-9D7E-15FDE21AF592","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6782245119ead5b00a1f596addc0d389146e7eda","datavalue":{"value":"https://doi.org/10.1007/3-540-59200-8_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055816$7E3BFB95-CBE2-4FC1-9545-97C87BF0B44B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b943d0e3ec0ce5b40cc4f154c8de970bf1b5014","datavalue":{"value":"W2012355197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055816$EFDC1D68-143C-47EA-8CB5-943688170E18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$1C94B6D2-E399-4C42-811E-DB09A2E173F8","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":"Q5055816$9BEF1213-3809-4C8C-B956-D3A75CD12CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fb44fb08839053cc041753013c407f8896965a","datavalue":{"value":{"entity-type":"item","numeric-id":5055795,"id":"Q5055795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$7806FA18-F6C8-4D8B-AFEF-D228A69585A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$5EF686A6-BEE1-48CD-99C7-6551911C4D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$56818481-3503-4238-891E-385FAD11EA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$4B793A95-4259-4531-9679-270BFA9DFDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$A91DE4F5-7F4E-4538-8740-B82331C22382","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":"Q5055816$DE500B63-89D2-47CD-95E0-1905018F4BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$5C38C8CF-C399-4490-BECD-8933AFEF5D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faf48a99f51163fdc38a3831b24785025ff0a66","datavalue":{"value":{"entity-type":"item","numeric-id":5881183,"id":"Q5881183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055816$E3530957-87DD-4C2A-BE99-24D1F88F34A0","rank":"normal"}],"P1643":[{"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":"3ff83a8f75e4ec6a42153511979ceb4297bb6472","datavalue":{"value":{"amount":"+0.8965867161750793","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":"Q5055816$32F47A84-62EB-46DE-BDB0-7394F458ADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad86fdcb6089030fcbc2aaa6f7986ee2ef787d27","datavalue":{"value":{"entity-type":"item","numeric-id":2946769,"id":"Q2946769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66073bc327bc2aa967998dfc46ab865301a2ccd9","datavalue":{"value":{"amount":"+0.8868404030799866","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":"Q5055816$F629E926-EC1A-406E-849B-0FA45683B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdb450072f0a21d1b2b7da535dc91202feb50b8","datavalue":{"value":{"entity-type":"item","numeric-id":1275015,"id":"Q1275015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb669cffea0c098a5c6e269bdf5e00a58372919","datavalue":{"value":{"amount":"+0.8750885725021362","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":"Q5055816$649A5804-1C21-4347-8F31-DA3F6A5F9CB3","rank":"normal"},{"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":"a2f76f23cf642b35d9e02dd765a6764a2211616c","datavalue":{"value":{"amount":"+0.8717783689498901","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":"Q5055816$7C220E93-E226-4ADC-9625-9AC8E29F8972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a53e059b0d006a54802813dd980f3811286fd8","datavalue":{"value":{"entity-type":"item","numeric-id":2996192,"id":"Q2996192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d64ee8092f956e635e531491f7b24f587f4f78b","datavalue":{"value":{"amount":"+0.8638577461242676","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":"Q5055816$4A3D219D-B80C-43BE-BC72-8458B2E231EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055816"}}}}}