{"entities":{"Q5191111":{"pageid":7220683,"ns":120,"title":"Item:Q5191111","lastrevid":100667243,"modified":"2026-06-05T22:43:34Z","type":"item","id":"Q5191111","labels":{"en":{"language":"en","value":"Termination Analysis by Dependency Pairs and Inductive Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587948"}},"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":"Q5191111$8B0451F6-08CB-4B8A-AA92-C54810C285BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c10da79b2249a5382b4193a4a18a2fa445c93180","datavalue":{"value":{"text":"Termination Analysis by Dependency Pairs and Inductive Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191111$2EB873EA-A58C-4E74-8831-39B1E2AE7A68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81dab6a22e25818f5821cfd16d642834c0dad166","datavalue":{"value":"1237.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$3DB6A51A-9E2A-4EEB-B9BA-AA65F75237E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cf2955628ca662ea558f688516a61f5d222673f","datavalue":{"value":"10.1007/978-3-642-02959-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$C7A036D5-8BC9-479E-9D39-2AAA5EEFABB5","rank":"normal"}],"P16":[{"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":"Q5191111$6272100F-B01C-4D89-B1CC-10459343CF84","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":"Q5191111$36C89B81-6CD6-4BBA-9DB5-F7774F663598","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":"Q5191111$3E38E9A9-411B-46E8-A87E-7A8C3E4A31C6","rank":"normal"},{"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":"Q5191111$7C530446-AF9E-45A6-9914-899731FEDB71","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":"Q5191111$FA336B47-7909-4918-BCB0-55D9C43C4958","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191111$82852F28-D61B-4E11-88BA-7B9CFB541B71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-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":"Q5191111$0440E1EA-962B-4078-96C2-A65CF0716F3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$1E42F9DC-D59F-40E8-BDB6-11A5ACFDFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$AC505508-0D0B-4467-8399-0D22331407C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8abd5179d1410f1bd8944b8aa1b3d8c0702695aa","datavalue":{"value":"5587948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$69EE99CF-CBF0-48B5-BDBE-8490883A1D85","rank":"normal"}],"P1463":[{"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":"Q5191111$F3801FD3-2D43-41CD-B737-E82A40288E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191111$B5E61671-0D4E-4CC9-8633-B81AD088D958","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":"Q5191111$4A22F96B-2E41-4D53-ADCC-AB39F6561389","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":"Q5191111$843F403B-2856-4871-A0EC-69E54E4FBEB7","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":"Q5191111$EF8E01EC-6D3A-41D0-B698-EC189022E285","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":"Q5191111$9C7EE9F1-CBAC-4FCA-A6A9-8EACBC81AFEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0437de5a8bff36ddc6652bd9f6f3b4d46fb0f71","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191111$49A69511-ED22-4045-A5A1-2A838FDA1D84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74711a8141206410fb75afb1756e30a583d82f27","datavalue":{"value":"W1892882113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191111$0B5CB16A-03A5-4D2E-B053-E50E1D2A5030","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":"Q5191111$8E1952B1-C8DF-44C8-8936-D6B7F9889A38","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":"Q5191111$3E749776-5C87-4FDA-8C2E-4C43FBF79D0C","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":"Q5191111$F4508B5B-4106-402A-A766-452879725CAF","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":"Q5191111$064FAD32-6EC1-4C4C-9F7F-5F176910999E","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":"Q5191111$1BC7BB6E-C610-4FE8-A89D-9081DA10AE86","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":"Q5191111$2D14A2E1-9DDE-47C7-AACA-33593118FBA0","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":"Q5191111$E50450BA-01CC-488C-9656-AA11081400EF","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":"Q5191111$10E78631-4FB1-4DF2-AB57-C0CE69E647E1","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":"Q5191111$2F925B1C-CC1E-40AB-9230-AD41A25015E0","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":"Q5191111$AEF24E12-B184-4DB5-8032-DEA4A8E13728","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":"Q5191111$CD9FDE8D-26DB-4D5D-8315-538E4D6CEEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191111$FE2CEAC3-3CFF-49F9-A280-C3FFDB85E2B1","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":"Q5191111$F0D756F0-8CB5-4171-A0DC-4541EFD78CF2","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":"Q5191111$72B177CE-B3DD-42C3-A7AD-BAE7EA5AC4BC","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":"Q5191111$F109C06B-17DD-46B0-84C6-9E3E6B5AB49A","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":"Q5191111$115FE706-650C-4C7F-BFBB-F300946C2240","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":"Q5191111$63945C10-E5B5-49F6-B96D-56985484BEEC","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":"Q5191111$32299EBB-7D93-43E3-9DCB-FBCC004FCC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191111$75DAFBE0-C79D-4990-8A71-ECE504EE1558","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":"Q5191111$4EEBE9BE-5843-4FA6-B0BD-1E1683E9F5E3","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":"Q5191111$33200350-127A-4FE6-8BEF-687B8AADE8F7","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":"Q5191111$51EF97DD-2368-41AF-8946-9463F86C4566","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9128912dc68fb41d9eccf562a42cffbfb9de60c7","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"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":"Q5191111$E47982F1-1857-4AB4-8BC8-0E3801A5309F","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":"61cb0dfa1d7906b747e8ccbd0627c1d0a636bce7","datavalue":{"value":{"amount":"+0.8718194961547852","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":"Q5191111$4F066C2C-E264-4D44-AB55-95972DE7F617","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":"7842e4b7eb26944975d701614f3db41e86e14257","datavalue":{"value":{"amount":"+0.8702983856201172","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":"Q5191111$6267DEF4-2491-4DB8-92DC-FA9CA4C5C497","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":"61cd89495e8313c0d0b1b898b2c101dc02c9cebc","datavalue":{"value":{"amount":"+0.866843044757843","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":"Q5191111$614B99A1-8DEB-4218-9663-112B4E9DDC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9e4416ef245f4e2e389159c763aeaee744929e","datavalue":{"value":{"amount":"+0.8667983412742615","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":"Q5191111$88DA57E6-42DF-4546-95E3-5B3AFC3E6DB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination Analysis by Dependency Pairs and Inductive Theorem Proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_Analysis_by_Dependency_Pairs_and_Inductive_Theorem_Proving"}}}}}