{"entities":{"Q673975":{"pageid":675824,"ns":120,"title":"Item:Q673975","lastrevid":63483288,"modified":"2026-04-11T13:28:13Z","type":"item","id":"Q673975","labels":{"en":{"language":"en","value":"Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985867"}},"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":"Q673975$9DD9E017-7B5A-4030-88E7-8B0FE34973E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7299b39d0538cfc89756a0fa231d9a8b0b8d27b4","datavalue":{"value":{"text":"Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673975$9A0894F9-CBD6-42EE-8764-660CF53741ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16c27690b5bc486b074acc5f8ed80996c4d6793","datavalue":{"value":"0874.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673975$47A82BCB-5B58-47D4-BAD1-0FB3379B0B64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c2c45f87218876596776e970396ef6f8dd6368","datavalue":{"value":"10.1016/0304-3975(94)00135-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673975$F41965D2-AD6E-49F5-97CE-95144BCEF591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$9C03FA02-4508-4671-984B-1A434AFAE767","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":"Q673975$F56E51DB-6694-4448-838C-6683348882E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673975$CA44E5FC-847D-4789-A960-4E2A4F202A94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673975$EF1563ED-1C41-4231-9299-E229D5E53A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c05534ceb158d1dbab0e0a150fe6b92e2513a6bd","datavalue":{"value":"985867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673975$D55E35A8-04D7-408B-B081-47BA9542D5FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q673975$67CD80A2-1E71-4444-AE72-28460364E486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c603e2b707bff544494cacbe3ca54666f5ff404","datavalue":{"value":"lexiographic path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q673975$1C9C4F98-5801-4EF4-AF2E-B0F0F332A943","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":"Q673975$965750F1-F085-4B92-9913-08B61C66B817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39f16de6ba991425e8a697fa92fcdd8efdd6e12a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00135-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q673975$B5A56F7B-B7B2-480F-8450-E72C497F26FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5304d36af8d989a4013daebd896c13c7250f899e","datavalue":{"value":"W2049865932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673975$B9BA38F6-FEF1-49B2-A17B-4A199E7E3358","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$92DA1142-13A5-49C9-85C0-2CF30FA117C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$437B1D10-5CF0-4F47-8213-5C83B9A97988","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":"Q673975$724549A7-73CC-417C-93F9-5910ACD8D741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca7bf474eacf62647a5ddf06aab478807977b7b0","datavalue":{"value":{"entity-type":"item","numeric-id":5055748,"id":"Q5055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$43A4D8F4-13AB-4F2E-827E-94288F944C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$8C2C38C2-5801-4855-A80A-27284E16FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$5A07E299-B1EF-4F1A-93A2-B8C4A84A74CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$BCF583DF-EC2A-4CFA-B00A-A6DD7A227029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2114f7df9ef5b523eb89d9f18f0f9c43acb71ed","datavalue":{"value":{"entity-type":"item","numeric-id":5639704,"id":"Q5639704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$3E65421E-3EF8-41B9-88D9-3023784B20B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$31ADBC90-0967-435A-93A7-7D2F75945395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc714b0cbcf111c4a333e0730ec73a3647c3035a","datavalue":{"value":{"entity-type":"item","numeric-id":3478403,"id":"Q3478403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$E5047EF6-B3B6-4659-8005-47AD82D1811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aee742b249ec678df42186125f5988137d31aa","datavalue":{"value":{"entity-type":"item","numeric-id":1267850,"id":"Q1267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673975$14E403BF-22C7-4A74-A2BF-8B4370BB11A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ff1fb2751727afffb0d7607de020c9fece5b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e9a3165e811555b33f3883a663439528b12b38","datavalue":{"value":{"amount":"+0.9077187776565552","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":"Q673975$4AE9EFAC-FE33-4748-9EFF-4F490C47747B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385d4a95c988267a30b98baae30830dc6d1315d","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce1452798b0345f94790056ced8395d5faefa6c","datavalue":{"value":{"amount":"+0.906275749206543","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":"Q673975$F57B1EDF-91B0-4849-B714-5CDDB436B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d8a612263b32834f1768f0682a043e048099d64","datavalue":{"value":{"entity-type":"item","numeric-id":1899143,"id":"Q1899143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fc7dd02e545bf4ac72bc7ef96bb7783cd72ecd","datavalue":{"value":{"amount":"+0.8499231934547424","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":"Q673975$87CA8CFA-EAE0-4201-B4CC-54193FB976FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04ade333353edf37eb49981c0b5628703fb1044","datavalue":{"value":{"amount":"+0.8400028347969055","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":"Q673975$A7336FF6-EAFD-436B-89A8-6EBF8539B48D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_proofs_for_term_rewriting_systems_by_lexicographic_path_orderings_imply_multiply_recursive_derivation_lengths"}}}}}