{"entities":{"Q438537":{"pageid":440304,"ns":120,"title":"Item:Q438537","lastrevid":61924428,"modified":"2026-04-11T02:35:11Z","type":"item","id":"Q438537","labels":{"en":{"language":"en","value":"Proving termination by dependency pairs and inductive theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062049"}},"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":"Q438537$F2D15C02-2A7C-4A9B-9B38-DEC4A5D37A20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"563e67dc38b2d90da49218eede0ba8c89dad909b","datavalue":{"value":{"text":"Proving termination by dependency pairs and inductive theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438537$7268314D-D70C-4737-9E85-7DEB21B5E2D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21ec39185578cee9e2ae99076df9c444ffd0334b","datavalue":{"value":"1243.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$8E418BDB-2E5E-4A85-B191-112790ACA595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$7784CCB5-BA49-4A15-8EF3-D74836B7111E","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":"Q438537$18C95A56-48EC-4290-B8CD-EC49708FB3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9239e9b382ce3c8108411f308e36696ec3311826","datavalue":{"value":{"entity-type":"item","numeric-id":438535,"id":"Q438535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$5FB4E089-96D9-4E98-B20C-360D9CADF2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$3A04AC18-CF50-4FA4-BA98-1FEDE61B1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ee990ff2340f0bbcff6c70b6df29ebeaeba03d","datavalue":{"value":{"entity-type":"item","numeric-id":438536,"id":"Q438536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$4BE69DEB-F9B1-4DEB-ADFD-7D40A4B99044","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":"Q438537$890610E5-E374-4E4F-8014-8E844C12A23E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438537$FB1F5639-66C3-4204-9BC4-F84F54919848","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$31A3D7ED-DA06-4634-824A-3A563B5D63B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$B5204F1C-B445-4BE2-828E-CA8E489A0C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a92c951156e1a42724cf72a19a70d02c182fbebc","datavalue":{"value":"6062049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$91FA5377-979E-465E-A18F-DAD1BF07C761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q438537$244E197C-8AB1-4253-86F3-26376A17AA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q438537$333B5D0D-7B32-4814-A579-DDE2F20C9BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q438537$FCBADB55-132D-449D-BCD1-B4C1D190D38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q438537$F56C6909-51B8-45CB-8681-385A12F86056","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$047F55E0-B7C9-4F8E-8C64-D276A96D4255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$24D13CFC-04DE-46D5-9209-8D794C9C2C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$33F1BEB7-BCCE-479D-AD60-0D666B7C99BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$4BE503D9-6AE3-4222-B7D4-55CD47F23CF0","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":"Q438537$2C07F2D9-D82C-43E6-BCCF-0A8C6B4B58D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"481dffd61eb894e10ccc10733ac19f0d30b8b01f","datavalue":{"value":{"entity-type":"item","numeric-id":33392,"id":"Q33392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$F89185F1-33E0-458F-92FD-47818C9B1F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$35036344-86D2-458D-8E05-98300F717632","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":"Q438537$9D638BE1-63CA-4648-9D0F-BFC4F910FE4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b37e81b34f05ee93a644787e94c1dff15c0579d","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9215-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q438537$1D951254-6CAF-406F-A422-6564FC75348F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"873a5000848bcbcf21c6bdc02321b776e573f398","datavalue":{"value":"W2094896759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$2A7DE8F1-2EB2-469D-B4C9-390223B118F1","rank":"normal"}],"P223":[{"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":"Q438537$64AD9058-1182-42BD-82CA-CB1F5A419CEA","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":"Q438537$16086B03-9FC0-478D-B86C-044B70FC83FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$79D6F90E-2789-42CB-AF38-300B578BF50D","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":"Q438537$AB568245-DB11-41BC-A7EC-403F3667918F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$BC212DF1-274B-4402-B4DA-5EFBA766386C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$CFD37BEB-9FD7-4A34-9B80-0924BD93971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$C251E98D-7C56-4EBA-8E08-6923888A30D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$E75BAD0F-D889-4C44-BF6D-A1BDF09ED83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$1CD65327-7BDB-424C-9F1A-1E20988C7537","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":"Q438537$1FB60E9E-10CA-42D4-B9AC-210F361FAC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ceafffb14813061f5b3e23bf6c0a8fc9645c120","datavalue":{"value":{"entity-type":"item","numeric-id":3608788,"id":"Q3608788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$F7A0EDFA-D01E-4F50-9927-7DE102183863","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":"Q438537$A48A113C-BD0C-447A-9B22-FBDE94F0361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c998b368868135c18250248c7f07e7857e9600ff","datavalue":{"value":{"entity-type":"item","numeric-id":2946568,"id":"Q2946568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$62667F60-3883-4C5C-8086-0B4C8478F6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$14A3294E-8FE2-4112-A69A-5B17290B57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$6F692071-7BBD-4132-9FCE-9DEBAC1B9F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$C69AC56E-1FA0-4389-BA0D-7A4C346E1A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$F416F14F-DF5C-417E-9FB2-33374A5C4292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c19a3da7f862d6d891cad6366df2f4a0f2069a","datavalue":{"value":{"entity-type":"item","numeric-id":5191112,"id":"Q5191112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$53D77D40-D99E-49A1-82BA-A2CF4A6BC805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0484d56d68801f0437288a1ce7994f7539d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608789,"id":"Q3608789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$84249DD2-B7C3-447A-9F96-01EF37D3E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$39442F43-0E6F-46F1-9975-D9CFD5D0247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$810F6B1E-59FD-4A18-A277-0A4F787ACEB7","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":"Q438537$AC71759C-5438-4E0A-A83C-B42816780341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28959cd3978e8fdd79a1e740be58e82ceee780f4","datavalue":{"value":{"entity-type":"item","numeric-id":3525016,"id":"Q3525016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$668C9AF0-1F08-49BC-8DA7-BDE0BD8820CD","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":"Q438537$496B2D21-69C3-495A-8A72-6B621C9CDB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a2cd532a03b90af4b6184f410b4f1844ccaa41","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$F0D7396A-5D96-4ED1-981F-186EE847682F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$EA5628B8-B6E1-40CE-BAF3-077A27A6BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$002302EE-DB17-4294-8A29-18E6B87EA92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$3D23FBEF-A9BD-41C2-9F0B-502983CA7108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77128970ef1ae7664b1eef0de5f0b57e43899ac","datavalue":{"value":{"entity-type":"item","numeric-id":846165,"id":"Q846165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$C81BDF6E-2508-48FF-A95A-EE8D0BDA40ED","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":"Q438537$A5859F1E-3DF6-4113-8EAE-33609D7A4DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438537$344EDBE9-87F3-4FB2-8D55-CBC5D20FA732","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84ff58065bd9095974f1c6dee3a31ef4b4546d14","datavalue":{"value":"10.1007/S10817-010-9215-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438537$F35596D7-243D-483B-9261-699868A0AA19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0689bf7eceba5754ff4a7a579c19fbb4bc8ad26c","datavalue":{"value":{"amount":"+0.9877980947494508","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":"Q438537$793A9ACA-AAE6-48B4-8599-315855081956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae19b017730ffd7f07aafc6ac8ae0012cb4910df","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e17cbee61de6cc8ade1237db0c5a83a5923f56","datavalue":{"value":{"amount":"+0.8855511546134949","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":"Q438537$66D1A44A-8DBC-4E2F-8C85-46036C44D8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfbc0d8629147f6068dd3057d30dabe3b6e3030","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651683f0d11dabe9d5b214cd70986f0749a5626c","datavalue":{"value":{"amount":"+0.8824806213378906","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":"Q438537$9ABF9883-60DA-49FD-9D29-FC41BB7EC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ea81fecbb111261ef055d1ca77669d1b9f05ae","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67ef64805aceed33dc3239fe551d572b7765147","datavalue":{"value":{"amount":"+0.8823491930961609","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":"Q438537$AA7747FE-B726-45B4-8E66-729014459703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1501dcbd9c8c1b63d9e245b057ec48edc579ea4f","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bc8682321ccaf51100e92c3d330ee04f893dbd","datavalue":{"value":{"amount":"+0.8770654797554016","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":"Q438537$99B5CDE5-39E9-4650-A77F-AFE91E84D0EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving termination by dependency pairs and inductive theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_termination_by_dependency_pairs_and_inductive_theorem_proving"}}}}}