{"entities":{"Q674186":{"pageid":676035,"ns":120,"title":"Item:Q674186","lastrevid":63622008,"modified":"2026-04-11T14:24:39Z","type":"item","id":"Q674186","labels":{"en":{"language":"en","value":"Termination is not modular for confluent variable-preserving term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985980"}},"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":"Q674186$D39B0824-69C1-4D95-AE11-6B6A0336FE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1906a2814e593d7ff5b7764f3b654cae517909ae","datavalue":{"value":{"text":"Termination is not modular for confluent variable-preserving term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674186$944162B4-9181-4E34-880B-2C79E384EABE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f753c6c5bb32fc64bb9cd012cb980aee58da15f5","datavalue":{"value":"1004.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674186$217EE386-BCAE-440E-A1FD-8FD6808727E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41c911d6c7cb67257c35323e6ce4db8320ba776a","datavalue":{"value":"10.1016/0020-0190(94)00187-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674186$4FF0208A-4A1E-4929-AD19-354B81E43EA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89308d8329e6af4e1581f47421754e097f447cbb","datavalue":{"value":{"entity-type":"item","numeric-id":199245,"id":"Q199245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$2B0D6016-F72E-4072-B5AE-1153233902E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$050294F4-4DC6-4A23-9AC1-F28EFE76980B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-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":"Q674186$32A32DDB-314F-4BBF-B038-E26B1F3B623F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674186$1AA09F1B-A3F0-4C78-9976-AFAA5A828CC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49fa437ad4a2f8313b04161018500f691aebb483","datavalue":{"value":"985980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674186$856F86C4-6BD2-462B-A021-B379B5FC2547","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q674186$74A3509D-D17A-4E21-B928-5F12DD090EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q674186$81E3D824-B94F-4059-952B-9C79E74EA3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q674186$A5D85ABD-451A-4079-8127-50B60871F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q674186$D1DE8A3B-809E-4C69-ADF5-C9AA4C551DAB","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":"Q674186$D05BF4A6-A05B-4891-84FD-1946EED9D433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03a0ca97fa5f4693a95167ace985b732d1823354","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00187-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q674186$7BDEACD0-3AC0-4B8A-A097-CAB3CBF6EE49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feaa0c704aad88366e56ec754bf9a38b2278e7e6","datavalue":{"value":"W1968688812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674186$630CC330-EA35-4687-A5DC-6660AE3D43AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$10E622AD-80CC-4CAB-B1A1-12C002F07F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047ce2d6a06e1b5fad6f5127301a6dc996f08010","datavalue":{"value":{"entity-type":"item","numeric-id":4692463,"id":"Q4692463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$9F44B084-1821-4A8D-AF2E-A08625EF0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb45a07c249808f39b196e78cb1332eb59c84b38","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$6AC85B31-9D51-4804-A40D-54A92B4A5466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$C06C055C-EE9C-409F-A9FE-69E697ABF953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$6E8513AB-E6DF-4778-8F1E-20998B4EC054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$38505222-84D2-4E2F-9EC2-A63F766A46F4","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":"Q674186$7A61BC6E-9B6B-48A0-8844-A90DD95846B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$EFBB24A4-22F2-4B89-8C87-3A02C9012290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674186$3E61B542-B412-4575-BFC1-C77F3B9BE80C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination is not modular for confluent variable-preserving term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_is_not_modular_for_confluent_variable-preserving_term_rewriting_systems"}}}}}