{"entities":{"Q1262755":{"pageid":1273505,"ns":120,"title":"Item:Q1262755","lastrevid":67151649,"modified":"2026-04-12T15:38:13Z","type":"item","id":"Q1262755","labels":{"en":{"language":"en","value":"Schematization of infinite sets of rewrite rules generated by divergent completion processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4124999"}},"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":"Q1262755$911CFAD3-0F38-4699-B721-5359DA1E6746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333c02613f4f1ed0f4c450581a1b92e7dfc65fa0","datavalue":{"value":{"text":"Schematization of infinite sets of rewrite rules generated by divergent completion processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262755$4D565802-D837-4FA4-B7C9-F7B974322379","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b907d43222516134d98c2d122189de07468329e","datavalue":{"value":"0686.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$E21ED641-9117-4A99-A050-5DF7D0FA3924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76e9334933539deebd2c32fc99a52f27e07776b2","datavalue":{"value":"10.1016/0304-3975(89)90007-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$7EC29FB8-9C86-43B0-AB33-ECBA62060A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$3DBD21DD-A00C-4184-B14A-057F9D71352A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$353B0810-03CA-4D62-A23D-C42A42AC1033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1262755$E1080C03-44A8-4D92-AF19-561A6EE5CBF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"aeaf0b597bccf852ef7e1363bf0fe450ae8fcaa4","datavalue":{"value":"See the review in Zbl 0657.68026.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262755$C0655BE1-0F30-4762-9F43-584869A9BEBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$616E1281-AA1E-4968-AC4F-C51B1214DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$37CDD670-A12A-4F68-A47F-0B8B3E7B9B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$43D0003F-6DD4-4023-8389-A2874DC4861B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f4b88e2536b7069a72e346aa758c79a5c6455a","datavalue":{"value":"4124999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$9D0B138D-545C-46A6-A423-FDA9B936D6A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262755$64FE9CC7-4C84-4AA4-A62E-31076CDBF475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481815163701791b963eaa4b035fc822f4cd6368","datavalue":{"value":"Knuth-Bendix completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262755$2D406DCD-C9ED-42A1-B332-93E193F95A09","rank":"normal"}],"P1463":[{"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":"Q1262755$02F512B1-63EC-4776-ACD1-4F7A7179A541","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":"Q1262755$0F65A37B-F46D-40A2-ADFB-0FB7C27A37A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e92fba02f0ae041a67a6230a8f10b2e91faa79c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90007-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262755$FBE4D6F5-441C-47DE-AABC-BE1D355DB484","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d44c4af0fd384880888347106ec6afc13334c5c4","datavalue":{"value":"W2118813891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$03A4F7BF-2573-4D1B-932D-C0099A6A3C84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3344b4f89870291c44462654819d8a7d7295","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$E4A23266-A106-40A5-84A2-3C01572DB932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0834187a6dd7c0f4af75042c0b4b718ceaf9c85","datavalue":{"value":{"entity-type":"item","numeric-id":1819572,"id":"Q1819572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$5FBD3978-4ABD-43B5-847D-1F7115F95CED","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":"Q1262755$EEA025C4-06CC-4CE3-A228-3C8A503C5990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$A3B04A05-0DD9-450B-90E2-B4820007E03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878d0cf3806a5845f931422b646e88e6f9f50943","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$229A7C6A-5DE9-4328-971D-A67036DE4A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85f2b15a33604f166e71091b012fd17ef065385","datavalue":{"value":{"entity-type":"item","numeric-id":3806799,"id":"Q3806799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$F2F1874F-21A4-417A-AD2C-33A5069DD80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9948cde9cb912873d313b070e72a3e8980e0949d","datavalue":{"value":{"entity-type":"item","numeric-id":3210187,"id":"Q3210187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$A7CB240C-8460-4FDE-88F2-224B463620EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$0D261405-5E92-46E3-8A8C-865610877063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fee6eaeadaf3094aaa93acbe2a93c0f4df3883","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$6F8D75F5-CCF7-42AC-8351-D3E456F478B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$1A91FE9F-35BF-4A5F-88CA-C71743CC01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$817DD06F-36CE-4642-ADB6-7B43D58DF99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c0e0d5f53a5c5ad22b228cbbcad62e835f6388","datavalue":{"value":{"entity-type":"item","numeric-id":916402,"id":"Q916402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$ED94C6B5-1EDD-4353-9C92-7AA5FDC848E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158f6ee54e9e8160e7d30efec6a6b7e545845b45","datavalue":{"value":{"entity-type":"item","numeric-id":3725541,"id":"Q3725541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$E0879958-4447-4D98-BFE3-2F896C360D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972bc1fa971fc360b4e9b78570fbe5c71387879c","datavalue":{"value":{"entity-type":"item","numeric-id":3939197,"id":"Q3939197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$61DE9C4F-6313-4E16-8ECB-99991E993BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e4e03f3dd8f7362d729507ad34add946ab883b","datavalue":{"value":{"entity-type":"item","numeric-id":3674088,"id":"Q3674088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$103A7107-8AE8-43FB-861A-81FD00E044FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$6AE827CD-E204-429F-B222-EC1E72A50AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$C937BA35-D438-41E5-B317-EBB936F34206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$28443A45-ACD6-40B6-81CE-308B88CA6F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$584CF65E-C8B1-49CA-B461-7145933E07BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bb7e17689f7a32c0ad80890bf5d055b34c49978","datavalue":{"value":{"entity-type":"item","numeric-id":1073016,"id":"Q1073016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$42879B99-10D3-4EDF-B455-EA416941F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$FBC7915E-B41E-47AC-B58A-88A6C77A04FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407daa1c47ad4e1b7bcdfae46df97a17606dddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3338226,"id":"Q3338226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$FF7C157E-0EBC-4C3B-816D-5E86066FF3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f516e5dc4dcd28ea889a0e6ad391d08a2cc1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":3805889,"id":"Q3805889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$BD74CFF6-7F06-4B98-911D-8C23FC9BFD19","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":"Q1262755$DD022A64-766A-448B-B946-D20A5332C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a5fa9e9b115d53ed202db01eea8f77a2322660","datavalue":{"value":{"entity-type":"item","numeric-id":4430288,"id":"Q4430288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$E7AC8E1A-1AE1-4A78-8A6F-369D243D8E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09fd5317280c65901c5607d0ebc6803a2e67ee3","datavalue":{"value":{"entity-type":"item","numeric-id":910850,"id":"Q910850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$D52891AB-2254-407F-8CBB-D6C1604187D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf059a9863a6bd1a00985faa5a10a698f13aa220","datavalue":{"value":{"entity-type":"item","numeric-id":3028332,"id":"Q3028332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$BDB9195D-2C4D-4FEC-80DD-37174F3AB5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$D5C8071D-BA9B-40B8-8E19-782655B601DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36616b185d46b86df03954cf9c690775b1d779e","datavalue":{"value":{"entity-type":"item","numeric-id":580999,"id":"Q580999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$DBBDBDF2-F879-41F4-9E4B-04F465969290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f90c485ed1d89b3250f5647f723259f01b989","datavalue":{"value":{"entity-type":"item","numeric-id":3313256,"id":"Q3313256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$FC630E75-DFC8-4A1B-93E4-816706B9F773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936bc330f13059dc200a315733b2222687fcd936","datavalue":{"value":{"entity-type":"item","numeric-id":3819991,"id":"Q3819991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262755$7B0B2E46-351B-432F-9297-A3C357E9DFC0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fcf4d992adf27338db29d8abe74c227eb7a5be1c","datavalue":{"value":"Q126536349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262755$3743D17F-EC5B-4369-BE27-4F8199A0E452","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schematization of infinite sets of rewrite rules generated by divergent completion processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schematization_of_infinite_sets_of_rewrite_rules_generated_by_divergent_completion_processes"}}}}}