{"entities":{"Q1401934":{"pageid":1412674,"ns":120,"title":"Item:Q1401934","lastrevid":48157015,"modified":"2026-01-03T19:45:35Z","type":"item","id":"Q1401934","labels":{"en":{"language":"en","value":"The unification problem for confluent right-ground term rewriting systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967125"}},"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":"Q1401934$562A7D6A-2BED-4DE5-A150-D485DF0A0121","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b05cd84bb351231279ec8827d3c39b1a1bfab16","datavalue":{"value":{"text":"The unification problem for confluent right-ground term rewriting systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401934$DE8CFBFF-44F9-4DDB-BF98-F7C69B6956E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76a6f1cea26cf362d600c25640dee1586121098","datavalue":{"value":"1054.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401934$651624C5-759F-49E8-B1AB-7CEAB8FBA99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00fff4c246b6f130f93ca2bc456a0c8092fceb77","datavalue":{"value":"10.1016/S0890-5401(03)00022-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401934$0D955F74-9C17-4CE7-A36F-F1CA44157C1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$3E84888F-E73A-42A0-866F-34DB8D7CD16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b75c523cf1fa8ca724ce831e67cf388fbbec55b","datavalue":{"value":{"entity-type":"item","numeric-id":1401933,"id":"Q1401933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$5A3AE730-1875-491D-9784-855A8F20AA6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$3D68B49B-0C40-43B5-B125-BAF7BE03BF41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401934$A721BBC6-D2E6-4BBF-B78B-33D17D26D846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401934$CEA41F4A-7508-440F-A162-EA55428A0A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401934$27D02394-FCD2-4EBA-A4C9-DF64AF7DAA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b097d8f5c89adbaa333dd024c8155ea379a7bda6","datavalue":{"value":"1967125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401934$9E0222D1-7BAA-43B4-A8BF-32232C45F91A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3af4f55700a7d0f245dbbc9c7f2a981f2e6267","datavalue":{"value":"Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401934$B42352EE-B978-4E5B-B365-E6CEBE7820D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cebe36b1d4dd3172f1079b04a0839e06050a872","datavalue":{"value":"Confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401934$B4293588-3F3D-4FCF-B5F4-D12420A69F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc12e02737407abe6d14633b09bace938b4a1fe4","datavalue":{"value":"Right-ground","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401934$42B67775-D960-42C5-8329-0020D8798921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20b94fdbe18dfd6d46086a7f2203c1fd2c14cda","datavalue":{"value":"Term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401934$8D1D1EAC-4EDA-40BE-95DC-57CD55005419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401934$3E1DE3C3-C8A6-481F-AC3C-C9DFC55CD701","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":"Q1401934$54DE8094-387C-44FE-AC0D-4B4125B3ACD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd15143c55f952e91bd09c38726e896edcde4053","datavalue":{"value":{"entity-type":"item","numeric-id":1327397,"id":"Q1327397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$EF3A361E-F938-48C1-ABD2-C20BC53D70CE","rank":"normal"},{"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":"Q1401934$0A3104B4-1EF1-4345-8B49-ECF7E23E943E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$2B183B2D-5256-4D45-94B7-B6E403B3F2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550580d557f088286aba342154f1791d455173c2","datavalue":{"value":{"entity-type":"item","numeric-id":3838762,"id":"Q3838762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$B2618CCA-20C4-4E53-94E1-9956E3523D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352040df4a920b21462e119d47a3626ad5351f61","datavalue":{"value":{"entity-type":"item","numeric-id":1264462,"id":"Q1264462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$0AFE96C9-F935-4983-8414-E61CBA1901DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5c226050876a324cadfb172486b762401448be","datavalue":{"value":{"entity-type":"item","numeric-id":671677,"id":"Q671677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401934$3E088123-1B4D-4773-8128-B8C83B0C7B5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f0c6146ddb267635572303508da496bd6a4c33","datavalue":{"value":{"entity-type":"item","numeric-id":2778882,"id":"Q2778882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742ce00b7042ae817154d1929a096a568dd53645","datavalue":{"value":{"amount":"+0.987572431564331","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":"Q1401934$016F4533-8C04-412B-BC17-C4785C339D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b663e68e637a8c9dadb7b377eea0bf39969e1b57","datavalue":{"value":{"entity-type":"item","numeric-id":5901574,"id":"Q5901574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb1739c5911b8ed960f6721dd684b5aed4777332","datavalue":{"value":{"amount":"+0.9020355939865112","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":"Q1401934$F51602A5-E106-431A-AD33-6EA5C3332012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbdb8996d82d9a0a4332049fbe529080f6254281","datavalue":{"value":{"amount":"+0.8060876727104187","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":"Q1401934$765A7F8D-D11B-4DBB-9E72-9B045310A4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9b55795bacf7086e52e3f4c698fc080c9a03b5","datavalue":{"value":{"entity-type":"item","numeric-id":5705906,"id":"Q5705906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb6cdda2eb6ee009235eeee9233d836ea9c7399","datavalue":{"value":{"amount":"+0.7979779839515686","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":"Q1401934$DC9D47E4-AA78-47F8-A2D7-5E90CEA0509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e704c4a36e0b37b05189c4f9d98c9e9fd2ef7491","datavalue":{"value":{"entity-type":"item","numeric-id":3702507,"id":"Q3702507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5242267c786e88589e8e76591f309420b51c8f","datavalue":{"value":{"amount":"+0.7955510020256042","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":"Q1401934$48F87B1D-77DE-4238-B1C8-D1983C24B124","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401934","badges":[]}}}}}