{"entities":{"Q710679":{"pageid":712528,"ns":120,"title":"Item:Q710679","lastrevid":63855711,"modified":"2026-04-11T16:00:33Z","type":"item","id":"Q710679","labels":{"en":{"language":"en","value":"Characterizing and proving operational termination of deterministic conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804237"}},"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":"Q710679$ED504005-C4DD-4C7F-A7D2-8882A0270373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154ba0e0c184952ae3bdde469b3d27d0a3893ee4","datavalue":{"value":{"text":"Characterizing and proving operational termination of deterministic conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710679$ACCB3EE6-1039-4ADE-A264-78A600D554BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"575475a597d543d2404efe8725a2c3e6811c9ab3","datavalue":{"value":"1206.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$57941FCD-759C-46B9-B810-292FADB0E34F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41d24d1a84f5c89dfe8f9a78a8bdd0caaf7768cc","datavalue":{"value":{"entity-type":"item","numeric-id":710678,"id":"Q710678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$B473BDC6-2A7D-4DA1-843B-74B9EA88862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebd62929982c5bab719524b29f6af40450c0159d","datavalue":{"value":{"entity-type":"item","numeric-id":671505,"id":"Q671505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$1EAA4FAD-484F-48C3-AA85-DC83158CEC80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$760C3C94-19A7-4862-8B47-AEF38B4EDEB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710679$FEF9CC8D-1DA0-4353-BEFD-AEA04FFECA2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$A9DFCBC2-3774-4D83-8558-B8824BA5B9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$E735F97A-B6BB-4654-ABE6-459B6593D630","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a193b86482d3557f0130771e6005bc08b8778bea","datavalue":{"value":"5804237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$1B615CC9-8C84-4BD6-B0F8-37F89F1D04F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q710679$7BA5B0EA-DA8E-4FF5-80A1-E12B61E23602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q710679$9E95B6BB-E760-47EE-AD8E-2FE608552053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a0fad7501e0262597665762bc0875428e342cc","datavalue":{"value":"transforming conditional rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q710679$15CB9B56-BA30-4F8D-AB15-CC4732637DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437f598a0ef759efac48a915393e1cd096a87c6d","datavalue":{"value":"collapse extended termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q710679$8B023317-DACF-4D72-9860-197280EB6E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6a08ffa52495c26f6beb58394c8f929d8d2fc4","datavalue":{"value":"dependency pair framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q710679$415B4406-D8A9-470A-AE7E-98A877E6ED6D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$08C66BF2-08CA-4B2A-89F1-B7121286DBE3","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":"Q710679$C1829831-A634-4DC7-A93E-EFC9F2525D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$ABF6AE66-92B9-44A7-92B7-8FCFE5256C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$E62DD209-4A5D-48C5-8014-B1FFEDF5EC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"494d6979e4f6948fad47029137758aa771db2a23","datavalue":{"value":{"entity-type":"item","numeric-id":22034,"id":"Q22034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$B19E76AC-D2C5-442C-909F-D34D8CDBB1E7","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":"Q710679$822501F9-7718-4B4B-B438-62DCDED95346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12b9eb1c03819bdbb85c2040e3d72f1f9e5285fc","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q710679$224B0601-314A-4B6E-96C6-7E5258BF1B1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f53d8dbd09cb83df5c8cfb79dd0ed5c4063f0bc7","datavalue":{"value":"W2150223040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$0E09C721-88D9-4DDC-B35F-E0BC7E0B80E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2df175018ba9fb53d4b6342835fae98a6b39f","datavalue":{"value":{"entity-type":"item","numeric-id":5505586,"id":"Q5505586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$C723C907-30BC-4B45-8BE8-A298B1FD5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db567a69db90da129707225d3624b9c37b69b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2867963,"id":"Q2867963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$C6C7945C-FA48-4693-94D0-594C3CB9DDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73dd7d56f1e7c007ccdfe5831e818e4994071fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5385994,"id":"Q5385994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$62FF7C36-BB32-403B-A737-9640E8A34861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$0C3BB9F4-06EF-41DA-8952-06E9A88440F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$B5346AE5-CB60-4F43-98EF-7DCB767C7387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$F697E560-BD9B-484E-A8FE-21C813285CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$27E9EAC9-AFA1-4200-90CB-F1011F6B04BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba2e1a3a3a559b19f6366dae42dd3aa2a410975","datavalue":{"value":{"entity-type":"item","numeric-id":3636831,"id":"Q3636831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$C89445EB-CE87-4D82-8F4B-140007C4B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f7a0cdd3d01d3bc6ff3dd3d2426e9e4d115a90","datavalue":{"value":{"entity-type":"item","numeric-id":3636830,"id":"Q3636830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$271C66B6-1BC1-4A75-AE4E-566689F7C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c58f6dbd0f6ef6f9759a57bd38070a2b913e050","datavalue":{"value":{"entity-type":"item","numeric-id":5881206,"id":"Q5881206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$5C7EDE01-9152-441A-930B-82CD3AB98860","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":"Q710679$085B1DE9-AD7A-4A5D-B6BF-70D38457302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$609CE8C3-CF21-4E5F-A2DA-EFC2FA16254A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6081076c28a4ecff9db5eecf5904174adfb6f5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3184732,"id":"Q3184732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$DEA677B4-8C3B-4D10-89C3-281C54DF8BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$594255F3-763C-4D0D-86B5-511231DA1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd79e92f1054e264c7287ed7c6cac5b66416ebee","datavalue":{"value":{"entity-type":"item","numeric-id":2867962,"id":"Q2867962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$A9F93B49-4BE2-4D4F-BC3B-430DC1A6700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$83181BCB-3988-4A5C-A5F5-EA7E98056651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8975fb157e17ecdba14169bfcc11424eb67866","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$40E3A6D9-EC92-417D-835F-1DCD0BE8E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$C8DB5623-FCE5-4E13-9673-60B04C2536BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d737f0d23dafa8037c689f84cff59ced79217","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$E77548BC-A870-4D16-BC68-9C9DFF592DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d625c283c10bd2220d45f8210b1cf47bdfab987e","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$7E600269-AD71-40E4-A12D-0B1B21AD9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8116abcf782f1eb265d3367f1bdda8229b59ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4938421,"id":"Q4938421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$6C051460-0148-4A96-A3A1-1F003BB4EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$D64D7439-3424-4ED9-A83D-6A80DB1761C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e7025b242d2e0b571a0a74c4db8bdb30375fe0","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$2BDBEF1A-0D74-450A-84FE-68CE1229A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8cd799fe0605abc393d28febcce088f8d799c7","datavalue":{"value":{"entity-type":"item","numeric-id":3527281,"id":"Q3527281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$906D6C64-B2B8-4D3C-B297-3A2FE64A502D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710679$BA2AF303-4C14-43C8-82BE-FF7153C9A703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c4fc2ec15b057e31e0d91af21eb233037dc6c7d","datavalue":{"value":"10.1016/J.JLAP.2009.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710679$EE37494C-C4F5-441D-A835-93E0A327F213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4730717ff3ff20e26d4ff0917d36421422c17d","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f54c498cde6b6b08408a9d9f8558afb0e966733","datavalue":{"value":{"amount":"+0.8680635690689087","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":"Q710679$B200ED16-9623-4331-8DF8-5A892477023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02699d5e65f98423b8a1a14f4d0081ad6782eb04","datavalue":{"value":{"amount":"+0.8425708413124084","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":"Q710679$A64F5133-1986-466F-918B-265035A46296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b98283bb3a708a8fb06d1f72d6a661759538165","datavalue":{"value":{"entity-type":"item","numeric-id":2945138,"id":"Q2945138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbc0e4aa47083c840a9f40627d10d2707d093c3","datavalue":{"value":{"amount":"+0.8034085035324097","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":"Q710679$07E0E7B3-5FA2-49AA-B1FB-5865E8C525CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e5c8aa67dc7826dfd12250b78c5ae00dd6e36b","datavalue":{"value":{"entity-type":"item","numeric-id":2949703,"id":"Q2949703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70343e8f03e018d0be5e7f9b65880a1a67c01a8","datavalue":{"value":{"amount":"+0.8025665879249573","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":"Q710679$F90CE6CC-2C8F-43D8-88A1-C884609F9D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9cb04dd8bfa2b0667642bb4fc9b678f1a9432","datavalue":{"value":{"entity-type":"item","numeric-id":2945137,"id":"Q2945137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a58c1b11480ff000492063c1313ea210bdb76e","datavalue":{"value":{"amount":"+0.7874833941459656","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":"Q710679$5687CA6A-CC7A-4C03-85E7-90B26B735B8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing and proving operational termination of deterministic conditional term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_and_proving_operational_termination_of_deterministic_conditional_term_rewriting_systems"}}}}}