{"entities":{"Q2573795":{"pageid":2584538,"ns":120,"title":"Item:Q2573795","lastrevid":72809295,"modified":"2026-04-14T08:00:10Z","type":"item","id":"Q2573795","labels":{"en":{"language":"en","value":"The size-change principle and dependency pairs for termination of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2232202"}},"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":"Q2573795$6733FA20-787F-4192-84EB-691AC7A728AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c8706fc937126fa69e37e7211ac1dbdc538d2c9","datavalue":{"value":{"text":"The size-change principle and dependency pairs for termination of term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573795$CBE3057B-F6FB-4695-A524-5C12D9F23693","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"186a169552792902c89a47bff6c10148ab8d12b0","datavalue":{"value":"1101.68640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573795$1464A6D7-0ED6-4F24-9517-F825B894E4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$C7C6326C-812A-4EDE-B94F-C1991F829F3B","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":"Q2573795$3FFF6361-6816-48D6-BADB-26F86A6BF0C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$867561F8-3C5B-4A21-A6C9-B5E9DD78DBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b96494cf3165a1f2245e913e0c3de79448a92b6","datavalue":{"value":{"time":"+2005-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2573795$1417F7D2-C62C-40C4-8B75-EF1323564F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573795$C90A3BC0-95AD-4AA8-9858-15645C1712C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"244238c0d5d3838d22080793cac69a1c630c48a3","datavalue":{"value":"2232202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573795$FD44FFB6-360A-4D35-8681-22DDB17B8054","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573795$50D6A6BF-1DAB-45B2-BF7F-9ACD37BB2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a40e1f9a15fa93fe9e13405d052191a1b658c0c","datavalue":{"value":"Term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573795$9693F1D2-5BA9-4E74-A481-8DDF51832787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b7d2d16c6229030b7af2099b0b3aefb6232a58","datavalue":{"value":"Size-change principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573795$66C0CE38-AC1D-491A-8DF2-8FD625C98F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ca19567de5f7ebc659f90a2e3d8fdf52962747","datavalue":{"value":"Dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573795$463889BF-181C-49B7-91FA-2968718A2E97","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":"Q2573795$CC964262-0C40-441D-9C74-482E12DB2066","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":"Q2573795$3DE2B134-C7E6-48F8-84A5-EE92475B5742","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":"Q2573795$69108544-1E72-4E30-8611-82CCFF138C41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08ce99295385bbb119877c8698d5709978260b4e","datavalue":{"value":"https://doi.org/10.1007/s00200-005-0179-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573795$42482AE7-21AC-459E-B85A-FDCF5CDE557B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5586383315fe8f8ccde10a0aa6027e610bf39c2c","datavalue":{"value":"W2024821946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573795$1EB60F0A-DDFA-4220-A83A-19C7C3441326","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"747b114bb47aeba164f346a98f19a4fedb6ed817","datavalue":{"value":{"entity-type":"item","numeric-id":5902358,"id":"Q5902358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$DB22255C-299E-4FDD-B1AF-12F90D2C0468","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":"Q2573795$BB874BA7-A356-4FE1-AE98-AC664DE3AF24","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":"Q2573795$32576705-F807-4AE4-8D02-A0EC2B719404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f379c0c8372e5f5c3f6f1ec2ecbe2d16fde0f60","datavalue":{"value":{"entity-type":"item","numeric-id":2723431,"id":"Q2723431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$91E84C7E-2281-4808-940E-2FF355F0738C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$62DB1362-024C-49F3-9EA8-857F01DBC47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adf35d8ad10a2efeaac0d7afd81d2b3ee6efd37","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$BF0733E9-1CF5-4B82-9DFA-2DC5267EAEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$9A84CF96-2D17-4DE8-ABBF-807BCFE75B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$905CC7E7-42B9-4CB8-AE86-3B7FA7A4776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47717bb5dadf44e591440e0fca8e5d160b3165e0","datavalue":{"value":{"entity-type":"item","numeric-id":3408137,"id":"Q3408137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$DE48CCCD-9693-4195-BE0A-C2A554520999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7addbc5fc43eda46b4eba2b438212b18f825fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5900708,"id":"Q5900708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$A081833E-A0F8-433F-8EAD-7955014947C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15735d85b8b838c2b2188ab30dc6676a960291","datavalue":{"value":{"entity-type":"item","numeric-id":5901572,"id":"Q5901572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$7E24347B-D395-4389-BB19-1F220A96D7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$B3F9399B-E9D8-454E-BEC7-8965684CCB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509562d7fc2763f459538f26ff91c9605252e482","datavalue":{"value":{"entity-type":"item","numeric-id":1401932,"id":"Q1401932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$31956652-8E37-4D3B-BAE5-E17E8A9881D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4febb634b64d2f4bf70a6faf5990dbefd157552","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$3ED97157-FEF6-4E92-A195-F3BDE159A3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866329e622ae9c42939978c38ec9f1b061288e00","datavalue":{"value":{"entity-type":"item","numeric-id":4494366,"id":"Q4494366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$15E8CBFF-8A76-42B8-B8C9-438599F1D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b904636a00069f79f934bd0e8b87d708148ea4","datavalue":{"value":{"entity-type":"item","numeric-id":4440336,"id":"Q4440336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$6DD9CDD7-D240-4B12-AEA4-6465E9E4B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$359D6079-8E88-4B72-9211-FCBE540BDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4606d723115f901c13f42c908b94c490b7af2196","datavalue":{"value":{"entity-type":"item","numeric-id":2843601,"id":"Q2843601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$1B4CF696-7D9E-4A78-B107-1E7F3D1FF0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$A291EEB5-4317-44AD-8B9D-3FD857D643EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee8d08af278d5175f8b634d1aaf204daca32132","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$9462E950-41E3-4955-8B90-867365547995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d24827888f10d2716d86cbc8c78372bd8821071","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$15F10C2E-B012-4163-B7BF-A0E3FC537E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c36a48e1bbe926e801935edbcccd22f5ffd1e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573795$3EC1C4B5-26D1-4052-846D-4EE72BD7E104","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":"Q2573795$B78DCB18-5907-4897-9A68-72ABF250CFFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28e2decf391ec34183a4c77f15ef87b2ee12a942","datavalue":{"value":"10.1007/S00200-005-0179-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573795$0C910F18-F8ED-4DCA-85B6-9FAAC6637BB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dbc5c1b93109bae4e417753d10865fd36192db","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578eeda1cf8a78f2df0de307c6337cc0d852d946","datavalue":{"value":{"amount":"+0.9408827424049376","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":"Q2573795$908663C9-9DAC-44EC-B68D-6C53985F135A","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":"dfcaba3b9d663093a60ebf4d17316df68a2a8f87","datavalue":{"value":{"amount":"+0.8665781021118164","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":"Q2573795$67D05937-4099-4B93-B944-F095B66A9A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df67782c75285fc31f284d9f8cf9d9a77317ecf4","datavalue":{"value":{"amount":"+0.852813720703125","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":"Q2573795$86349515-ECA6-40B6-B907-7D199455B0C6","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":"df67782c75285fc31f284d9f8cf9d9a77317ecf4","datavalue":{"value":{"amount":"+0.852813720703125","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":"Q2573795$DA61128C-E8DA-4812-AD1E-45AD90467ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc2ec0cc1dcb50f8055433f04ad005729207104","datavalue":{"value":{"amount":"+0.8465830683708191","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":"Q2573795$B02F6744-53FC-4AE7-AD00-2C060C52D0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The size-change principle and dependency pairs for termination of term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_size-change_principle_and_dependency_pairs_for_termination_of_term_rewriting"}}}}}