{"entities":{"Q674184":{"pageid":676033,"ns":120,"title":"Item:Q674184","lastrevid":63621990,"modified":"2026-04-11T14:24:39Z","type":"item","id":"Q674184","labels":{"en":{"language":"en","value":"Undecidability of ground reducibility for word rewriting systems with variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985978"}},"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":"Q674184$3C73D588-5577-4934-AEB4-B07CA6B2F6DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1945c729008d1f8ca92f4aee7104ad1d119d2a8d","datavalue":{"value":{"text":"Undecidability of ground reducibility for word rewriting systems with variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674184$60EF59F1-92A8-4CB1-8804-DFD375F61722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b1e9f55416f3c8a7a852565b6805c758739f0da","datavalue":{"value":"0998.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$61288AEE-F7E5-4391-83CB-8E75B9F5FDAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f02d3da0c9f305dcb853dc75625c58d003e76aa","datavalue":{"value":"10.1016/0020-0190(94)00188-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$58CE1781-BA03-427B-9F5F-E14CA2EDD137","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63924ab4cd3849de40946b38cca0f28b12f83dc","datavalue":{"value":{"entity-type":"item","numeric-id":294956,"id":"Q294956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$9188D0D8-A6F6-4C8C-B59E-9B1AF65BD1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5450522126073beebe5b41bdc84b794c874c239","datavalue":{"value":{"entity-type":"item","numeric-id":437030,"id":"Q437030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$F27269A3-C492-4593-967D-133BA1D6A775","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":"Q674184$FF41816E-93B5-4817-AC47-58210E9AB340","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":"Q674184$6CF38A2A-8FA0-4963-9AE2-A6A3A1452771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$F85BB2DC-71E0-4512-AE2C-1C5360BDA68A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65968a279471b484f659b83567ccfc5c68280c2d","datavalue":{"value":"985978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$88A5C5D8-6713-4C6B-8360-E8103FE9F258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39807ce65c97d0e0263e18a3816f84213a6ec1e","datavalue":{"value":"Theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674184$5E2E3A1D-E9B2-414D-A59E-5929C51742D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb270d4ed4b446b915ab174a0d0120cef86df","datavalue":{"value":"Formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q674184$C4DB4393-B373-4B20-8990-A4B7843C7B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20b94fdbe18dfd6d46086a7f2203c1fd2c14cda","datavalue":{"value":"Term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q674184$1DD4E997-F8C8-440E-A9DD-321F89F40E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457092a840caddc1f2b2ed11f77b6e7c72ea10d5","datavalue":{"value":"Pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q674184$9F931CF1-9B09-4797-A3F1-5E12EE84A481","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2604878c6424a1a55d362f2a7d9039e3bf915896","datavalue":{"value":"Q58064552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$9E7A137C-0191-4A0C-8194-463597370FF2","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":"Q674184$E550FFB2-8267-4E01-A213-41966AFDA17B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d1529ac6435db1030bd5b07d514c1c8218a5e30","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00188-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q674184$A7BEEFA2-F9B7-4DE0-97A6-4B4AC4AF007E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8726e78448783768a59fc42716a0c34959b28b3","datavalue":{"value":"W2039995028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$8A438F16-100D-48EE-9909-8F8A1C21C565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$788736FA-15FE-4DAF-B110-FC6FBF12A97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf979c7a8df6a580fea80fcd6726b15dd88fb19","datavalue":{"value":{"entity-type":"item","numeric-id":4630269,"id":"Q4630269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$70E502BD-73B0-4E0D-8EBC-BE6A31ED8245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$45303E8B-AFD1-4E73-81BB-6B4BF826062B","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":"Q674184$A864C821-1C7E-49BC-893A-15D80DE7043F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179987a3de6e89bc02a55e82f116b0d5661694ed","datavalue":{"value":{"entity-type":"item","numeric-id":3699681,"id":"Q3699681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$901791FC-A7EF-4781-83C8-943E07A0B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$CF640C86-D6BF-49F6-86CC-760F86855CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$7A677BAB-FB80-4863-8B48-92FD6D03712D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb32aa7bc80efe6922c02b2ed77bbb53cdef0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4284232,"id":"Q4284232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674184$AAA4ABA7-83ED-40C9-955F-209F90EF4B2C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f3e8574bd90be9090e5b1aa7fffc9a498fc2833e","datavalue":{"value":"journals/ipl/KucherovR95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674184$E1C6D951-9544-45CE-ACD4-7C48EF143F14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of ground reducibility for word rewriting systems with variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_ground_reducibility_for_word_rewriting_systems_with_variables"}}}}}