{"entities":{"Q1799562":{"pageid":1810304,"ns":120,"title":"Item:Q1799562","lastrevid":72986181,"modified":"2026-04-14T09:12:49Z","type":"item","id":"Q1799562","labels":{"en":{"language":"en","value":"Constant runtime complexity of term rewriting is semi-decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958538"}},"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":"Q1799562$99E76135-5DB3-4533-BA14-B62BE59B7BB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b83b2bf34700c8132794a9dec5223775f0383706","datavalue":{"value":{"text":"Constant runtime complexity of term rewriting is semi-decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799562$3A84DF81-DD0F-475B-9299-A662C356E592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb3fea26fb4ba1f78cd1b648390c06c709962a48","datavalue":{"value":"1478.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$0721FA60-2CB3-477E-AC28-6BECDEA72E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$3E2BEE1D-8D4D-47C9-8ADF-939A314DAB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$2236B319-93A3-4D0D-806E-ADCFC52E24C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$C5442CD3-316D-4DA6-9E5F-C7B12C48C7F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851604a72cdd40de4e79399957d1d12419d2f19","datavalue":{"value":{"time":"+2018-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799562$054ADBDA-99AE-4B7F-9421-C15DB78611A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$E83CD5BE-CCD1-4CE8-BBFF-474AD46622E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$975041C6-CE7D-4206-9EBB-3A5852C184D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$1BD7D3FF-783E-427C-A660-2416184C8034","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3b14a96c0416cb07696574b5bdc46fb6a7cb207","datavalue":{"value":"6958538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$AD1BCBE5-66F7-4056-8152-A99B8004A9FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799562$01FB6E88-6020-4956-9D1D-928D77E3202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799562$1A3863EB-3C12-4A97-8E75-52285D9B73ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799562$A92BCC9E-8A8E-45AC-8BEB-65E1A2D73BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799562$F2EFCEB8-5BC4-4BB2-847D-D6F15A8D18BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799562$E5E09DD1-9185-4E1A-BE64-24576FB09955","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2871f7cd7a69008c2d902655063f54deaad8160a","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$EF8E37EB-2071-463F-809D-0C965592096B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$76A2515C-3D35-4225-8554-7A6C91823345","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":"Q1799562$CA75998C-BF7A-42D9-A96B-A542A39DB727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09def1aaad77a7b044b135aba14388efa927c335","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2018.06.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799562$86DA47DC-7E25-42A5-8FDA-C3A1EDE7235F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6da9ffadb5a260b1b3b03c4c723a330ccd1b1793","datavalue":{"value":"W2884561268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$AA39E42F-90D2-4EF4-8608-5479827F2AF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bc836395ea3d29aff86f7f6b53964c9367d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":1035697,"id":"Q1035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$FAC27E3F-CE4D-4239-A4EE-5E519978BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$8E9E537B-8869-4563-8FF5-1680F37E4528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fcefab2b73b5cc1c22aee92a1840b23cd0d5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2849500,"id":"Q2849500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$D46406F0-0FB2-4FF0-8365-B50CEA50802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df050b8b4fa215ee0bb7a41d1fc6b779a27de52e","datavalue":{"value":{"entity-type":"item","numeric-id":5045475,"id":"Q5045475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$99765135-588E-4BBC-8CBC-7A032BE53144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b126afe2db19f3650ae2d67d280948572d9be24f","datavalue":{"value":{"entity-type":"item","numeric-id":2398176,"id":"Q2398176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$851090B6-AE4A-4894-BFF5-49A3C13231C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e81531801f4667663ea94c8d1d2f7c96d808c","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$8377FEE4-8336-4E6A-86B2-51411C576B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$C0AF46E5-8804-4C44-835D-C8FEA166B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d59713a33fffd1fe610c5f315ab2ff7c4cb9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$D30F0994-9A0E-4FC7-9F07-7CA708416818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04aec929fd507a7af699e521a200ef0a3eb36cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1157912,"id":"Q1157912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$DAFEA475-43FA-4717-A39C-666CE40627A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$3A3339B6-8C2E-4F5A-87FF-AC714A78E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4d3b60d147cb23c7c6afc467f003f6d2c00f84","datavalue":{"value":{"entity-type":"item","numeric-id":1640985,"id":"Q1640985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$0B701CD7-2330-4A10-B508-6D159F957424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$9839CEC1-38EE-42E9-8637-CBD39D703E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5856b03243ef69708a04852e1ef58148429a9abe","datavalue":{"value":{"entity-type":"item","numeric-id":3454084,"id":"Q3454084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$935C841A-A7F0-475C-96C9-EEC63AFB4CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8eb43c227fc9f543287261c48d56fc3bf061128","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799562$D3D234A3-D9EF-45EE-96C4-986A83B48CA5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b42a1c29e713736e4ecb484df76935d2edadb49a","datavalue":{"value":"Q129515122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$3CD07417-38E5-4D36-92C7-B4BFD22A3E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b08109e119e2f977230619c3034eea76d2d2c7d","datavalue":{"value":"10.1016/J.IPL.2018.06.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799562$B578571A-2115-43D3-ABAF-8FC84ADBE168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c214920445baadd7ef8bc1c6dd6315044523b492","datavalue":{"value":{"entity-type":"item","numeric-id":2915706,"id":"Q2915706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136b8b38e0df8bd15d14912c0531efb6988a1489","datavalue":{"value":{"amount":"+0.7861747145652771","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":"Q1799562$2B4B5DB4-0A4E-4CD5-A1FC-8E62C3BA9743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c69ad40617e5eb3598587d5b9c39f73485018","datavalue":{"value":{"entity-type":"item","numeric-id":2398176,"id":"Q2398176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8de68832932f54bb04668fd2fceaa20579fddd","datavalue":{"value":{"amount":"+0.7766309976577759","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":"Q1799562$206BDBFC-1315-43D1-9CB0-94858E831272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7ba9574f939b0ea6f9abfcd9ee7057ffbba68e","datavalue":{"value":{"entity-type":"item","numeric-id":4645739,"id":"Q4645739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36886cc4fc92d6f1d96edc67a40ece03461cc377","datavalue":{"value":{"amount":"+0.7569742798805237","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":"Q1799562$979ECE61-D4A7-46B6-AB96-F5E668B0F778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be8191c5de949f86484c4d0009a716f9fb975a4","datavalue":{"value":{"entity-type":"item","numeric-id":3558343,"id":"Q3558343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"221be0c5df786bb83758220ff011d6fecb465ebe","datavalue":{"value":{"amount":"+0.7550147771835327","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":"Q1799562$22999369-4054-4D00-B8E0-9C776C996DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd589731c4b88b945fab1fa93b876f07483a710a","datavalue":{"value":{"entity-type":"item","numeric-id":2980968,"id":"Q2980968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572fc6be909cae6b02758ca01acb9b9409010f75","datavalue":{"value":{"amount":"+0.7467836141586304","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":"Q1799562$CE38AB60-926E-480A-BD30-88C3FCB54977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constant runtime complexity of term rewriting is semi-decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constant_runtime_complexity_of_term_rewriting_is_semi-decidable"}}}}}