{"entities":{"Q2398176":{"pageid":2408919,"ns":120,"title":"Item:Q2398176","lastrevid":78626720,"modified":"2026-05-06T12:03:12Z","type":"item","id":"Q2398176","labels":{"en":{"language":"en","value":"Lower bounds for runtime complexity of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6760373"}},"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":"Q2398176$E6D8DAC8-A430-4A84-A9F4-47A136FA3632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e8e2a82b072a9dc46ecb6695b84d6515d8bcbd9","datavalue":{"value":{"text":"Lower bounds for runtime complexity of term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2398176$48882305-2AD7-4340-BE68-2EAE07125A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183690bebd34fb20344b3bcb651a25c3f1788760","datavalue":{"value":"1409.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$2F8A531D-18D1-4124-B435-8FE489013E6F","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":"Q2398176$9F08850C-0753-4942-8A45-AC94CD69A064","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":"Q2398176$3383D4A1-8233-40B1-887A-224B82832835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4fcef4d8c12fdeac872403057e96d9be4642ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1647966,"id":"Q1647966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$2BCF5321-9FD1-4637-B8DB-C061CD4B712E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65428eb8b1924e03ee58be180aa27a4ed48e79b9","datavalue":{"value":{"entity-type":"item","numeric-id":2362489,"id":"Q2362489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$09CC90CA-6AF2-4191-9320-A1BB73A14B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502f8409806637c1bdf4f049fbbcf18c395dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1647968,"id":"Q1647968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$589F3F73-16B3-4792-8154-514C159B0613","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$22DA3921-8558-44E4-853C-FCF9D82ADA08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27864268865827ced233ef05b68e85bfe91ce2b3","datavalue":{"value":{"time":"+2017-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2398176$B516306F-E193-403C-99DB-917E2043310C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$AC221D32-BE49-4B99-9DF8-73D52590AEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$877E4711-211B-40D6-8126-F8DE1789DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$CD1831A5-5F5A-4209-A7DB-4B9C6FADFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$1AD592EC-3985-4614-AABE-73683064A4E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4040b8c6fc9422b49ec38f716fdcdac33a40a2db","datavalue":{"value":"6760373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$B4158583-13D5-4F55-8B42-28072F4940C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398176$408B5568-FBAE-468A-B6D4-A619D9B5DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398176$88C43768-6F75-4715-AAF0-1B6A4388A489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398176$4E32A4A2-7722-4BF6-B35D-D9BFB1AF220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2398176$D1555D90-8F7F-4398-93D9-02D15C53106D","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":"Q2398176$5034A2E7-F74E-4E90-B63B-42FA7A4F9337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$5627F129-B1DB-46A8-986F-6E018894AE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$B2EA8D50-80DE-4938-BD43-22DDBE91F28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$6ADEC845-4581-4929-A128-01B2A443BEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a06b151006b2442e0c6068ea616a216c47b5945","datavalue":{"value":{"entity-type":"item","numeric-id":34997,"id":"Q34997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$E210AEA3-4A79-43C7-8AE9-90243EB9B442","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":"Q2398176$CCC6813D-B3E7-4090-B1CA-E64AEB0B8847","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":"Q2398176$730BD4E8-91D7-46E2-83E2-3971C80E544A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e08beb8a683862518a8e0ce4b9c84a7fe8e5d6","datavalue":{"value":"https://doi.org/10.1007/s10817-016-9397-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2398176$14D761C7-2CBE-491E-8C9D-3912C7F607E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8b45a0565edfeb1b1aa16c3a7180a8058bbc9d6","datavalue":{"value":"W2561310305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$A7EC9706-64DC-460E-8884-B04B43C6F037","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c0f6c86d151f61383ea03d9b987d31df98c45","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$588DB37F-95E1-4BAB-802F-BBA193CB72DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476c6b8bcc2dffa7064cec99d4666ac60f2cda23","datavalue":{"value":{"entity-type":"item","numeric-id":2958374,"id":"Q2958374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$6F391060-95EB-4228-9CDC-D2A13709DC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$5D66872B-F51B-4E97-BDC5-998D509B1562","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":"Q2398176$667B9142-D59D-4A1C-A835-34705CF956C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$38143D7E-F219-42CD-BC7A-E8FBB973F034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2a604ad8537237bf4f35e0d8826e78ef178beb","datavalue":{"value":{"entity-type":"item","numeric-id":850497,"id":"Q850497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$5EDAD77B-678D-4E7A-B6FC-0E6C7C1D1378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee69feb87337d10f198fd9cd05eafdb4073760f","datavalue":{"value":{"entity-type":"item","numeric-id":2908495,"id":"Q2908495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$364270B1-290D-43F3-A2AE-276FB3CB976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2383fb94d68b964de1d7cec180e63ada85272c35","datavalue":{"value":{"entity-type":"item","numeric-id":5277889,"id":"Q5277889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$26F4B115-A77E-4C7C-ACDC-595E3EBDC1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c0e517860b31b15ac9dd4b867166f4d55f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":2817952,"id":"Q2817952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$6A438495-967A-4869-8EFC-3B13DD0DA7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5198a245fea94b307475af5295dd4f6eedd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$601B0C08-8890-47A3-B3F6-5FAB63244B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a23a198d86e74d381b2b0e2d607bfe9a850df13","datavalue":{"value":{"entity-type":"item","numeric-id":851146,"id":"Q851146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$9A819363-FD9F-4087-B4BE-7351D864D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$493884DE-5C3E-4124-A04D-4F7B5D4A9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$55702D41-B55B-4FE6-952A-B8033415BA02","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":"Q2398176$77F57117-4E71-41E6-82A7-689096F1E157","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":"Q2398176$F8CF62DD-4F02-47A0-A93F-E30FC55AA694","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":"Q2398176$2412BE16-B411-499A-B98C-E395EE576BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cb4459e9550e8e794652e6fd91a1b9970f2692","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$1628964F-DCE7-412E-9DA5-CFBD3BFD872F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6908f3d8cc165d0340602df105a5a95b2c1256","datavalue":{"value":{"entity-type":"item","numeric-id":5170822,"id":"Q5170822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$65B3CD40-6113-4B43-8F08-609E03406378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42317f55750900e19060b84bbe48865f9d2335fe","datavalue":{"value":{"entity-type":"item","numeric-id":5559248,"id":"Q5559248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$A8FF6096-6E49-428C-B014-63454D09F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc974e239b94f02c3fd4de74633bcd95ec8092a","datavalue":{"value":{"entity-type":"item","numeric-id":3137467,"id":"Q3137467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$3A213547-00DF-4B86-9E34-9FE15AC1D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39151ca4f018fc969e7df5f188b3da6d2cf53a44","datavalue":{"value":{"entity-type":"item","numeric-id":4809079,"id":"Q4809079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$104460DF-C651-4643-9CF6-66F1A90AB429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bfd7fc410231621da60e4613e46718e4da36b9","datavalue":{"value":{"entity-type":"item","numeric-id":5895523,"id":"Q5895523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$C000948A-F8B7-435A-8B4F-A3BA8221B6FE","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":"Q2398176$ED3D8248-CC5F-4AC7-9C6D-663B56C5A6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00175f41ac93a381d8dead1f56b6c8cbb629797","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$08D2DC91-E390-44A7-B5FD-07FC9EFFAFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e607c72acb8376a496df81109d3b73c4b081a0","datavalue":{"value":{"entity-type":"item","numeric-id":3636815,"id":"Q3636815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$57D70FEB-4415-4DAF-BE88-3DA8D856C2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779bca5d96fbc0d811c884ee834cda7396ac0610","datavalue":{"value":{"entity-type":"item","numeric-id":3401124,"id":"Q3401124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$D9C3AAE8-1D2F-45D9-9FB1-E4B0F10F460A","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":"Q2398176$FFECE351-3053-441A-8BD6-EDABD69C05AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2398176$54111359-51DB-42BF-8D94-28BD7F440063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f39f775c3c2410b01aa7051da9985749d874cc3","datavalue":{"value":"10.1007/S10817-016-9397-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2398176$64D286A4-1C87-4B50-BE6F-92BDC7B0921C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9070dee1dcb203ef993f30ff3f8259a1ec91f16","datavalue":{"value":{"entity-type":"item","numeric-id":5277889,"id":"Q5277889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1352b6438a2315dd9993885f2775e93fd62772","datavalue":{"value":{"amount":"+0.9383600950241088","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":"Q2398176$56098E03-168C-4EC3-AA38-A424D068E8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129504732a95b622055aa15d1df2d553e7bc39eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e0da2e5f95f2ed8eb58e35270c5832dec9a73e","datavalue":{"value":{"amount":"+0.8191729784011841","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":"Q2398176$BE3D04C0-03F2-4243-8D64-93341D259219","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":"44bdab284ea7258a130b7797f176851371552542","datavalue":{"value":{"amount":"+0.8107977509498596","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":"Q2398176$A09E5FCA-206C-4F0E-9D48-280A67497F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58f1f1ce4881bfdd371c287c861973f23bb8ab7","datavalue":{"value":{"entity-type":"item","numeric-id":2180239,"id":"Q2180239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9610effb59efd3e1d50b87e0e55254a1ca8df624","datavalue":{"value":{"amount":"+0.8002203106880188","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":"Q2398176$E34C4288-05CA-4E9F-850C-FDC0930434D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2b8502776fa76db03e0d27aff1f89a22a259a6","datavalue":{"value":{"entity-type":"item","numeric-id":2817952,"id":"Q2817952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0ab623be5fecaccafbd842ef94b3ebf49c681e","datavalue":{"value":{"amount":"+0.7775974869728088","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":"Q2398176$AC48439E-CAA4-44C3-A4D7-0B373C76F17A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for runtime complexity of term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_runtime_complexity_of_term_rewriting"}}}}}