{"entities":{"Q3636821":{"pageid":5666727,"ns":120,"title":"Item:Q3636821","lastrevid":50694518,"modified":"2026-01-14T20:15:08Z","type":"item","id":"Q3636821","labels":{"en":{"language":"en","value":"Proving Confluence of Term Rewriting Systems Automatically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571838"}},"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":"Q3636821$D7F5125B-C49A-4A37-8C0C-167D220AA719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ad4237a388c7317add27779202a3e3c38af672d","datavalue":{"value":{"text":"Proving Confluence of Term Rewriting Systems Automatically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636821$A0BFB11F-EBB7-4CF8-90C8-D1F01AE76022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5494c02e89e5d2961f80da81a946dc97585e8ba0","datavalue":{"value":"1242.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$54AB080E-5112-47C9-A7CE-3161C03D72D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f184d8631745cd3270bc6828453b64a140ec5a8","datavalue":{"value":"10.1007/978-3-642-02348-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$955B8105-F5D2-43B4-829E-81A859570295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c142000c83c63c7d3a0cf2043f4b6ac5b2749b8","datavalue":{"value":{"entity-type":"item","numeric-id":1288177,"id":"Q1288177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$F1363B84-CC17-4359-938E-9A2ACA251597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4986c3d2dc7e686aeabbee360741753315df1f1","datavalue":{"value":{"entity-type":"item","numeric-id":1322400,"id":"Q1322400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$A5FEB30B-1134-4F8A-B49D-C558DE368E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bdfe0bd308aff5406204a71a8f73fb22d157ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1107974,"id":"Q1107974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$6299FC02-7D4B-48DE-8488-1A0AE7804FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$84978559-CC0B-4654-BD34-B13B3D0A4658","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636821$22D187E0-5637-46D3-A6C7-A47318C6BFDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$FC320B83-D5D4-4820-B1F2-0A1ED8C26962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$CCED7E79-AB35-41CC-AF27-69C7CABDF387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b21101050d925556a63e0e3ade2c71c614596706","datavalue":{"value":"5571838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$ED004040-B7A7-4F30-B817-D4C12A352268","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":"Q3636821$0BF9C1B8-E0A5-4CB2-86E4-942DA36BF25D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3b14ae80f1eaa1f8b0697be4c6ca6d858530f10","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02348-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636821$40A8DAEF-8AF4-4AE6-B09F-85B27218D263","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eceb9a574f8a045da0a65f8f2c282ab432b0e8a","datavalue":{"value":"W1586794044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636821$E5E4F555-B429-4159-BBDE-DD4403D96C98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6f218332a8b75b68d92a9c74458b47e6f84226","datavalue":{"value":{"entity-type":"item","numeric-id":4364373,"id":"Q4364373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$76E6E296-63EA-46B8-BE53-E6D321922F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed0648f809f449264f7f710d068f681caf0145d","datavalue":{"value":{"entity-type":"item","numeric-id":4520528,"id":"Q4520528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$AC652F89-FFDA-4C1B-A1B2-4D29A6A30C68","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":"Q3636821$7B0D5E79-5686-44C5-B907-470F80612AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$84C3B474-45D4-4C81-9C6A-26B5B0F2B101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facb68a3f5c3aaa7972b89a35e2b0770a73aace7","datavalue":{"value":{"entity-type":"item","numeric-id":5394600,"id":"Q5394600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$069E31A3-E7C2-4FCA-A1DD-8CD1766257CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$248D77CE-7854-4445-844D-F8707A3A2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$17F0EB72-B43B-48D4-8865-E1263AC2DE24","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":"Q3636821$B6CF657F-19F0-4D2C-9490-2A51AFA86599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$F4E25973-627C-4FF7-9ABD-975F8ED6BBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$FBADA40E-7C6B-4A7A-986F-8B214AA13A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef229f46b1a67fbc06f4fb8e5f730e9c4cf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4594227,"id":"Q4594227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$724E4E37-D1BD-4D1E-86B6-CC7311A64AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$8845140D-D667-4B54-9A47-7079DA233D28","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":"Q3636821$B855A632-2CCF-4B19-BFA8-324B7356D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$3CFEA67D-5ADC-4771-B07A-D6F54CF51D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88207f78c3133a3117e5d55e7e27bf36199038c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$DB5F702E-2052-4DAC-8C9C-DB56BC338301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$69735A7A-12DA-430D-90A3-DD45B002B91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$B2FBB089-6D64-4CA6-A17F-7A42C14CE33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cba28b68fd268a3fda8a1750f4b6808bf5f1090","datavalue":{"value":{"entity-type":"item","numeric-id":3522026,"id":"Q3522026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$967CB3D2-9935-4DC7-B675-6E9C9968B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$5BA6C84A-607E-43E9-B35B-417559887C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636821$07DE446E-6CFA-4370-99F3-35D8A7B3FB0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2183833d3a25badb3439440a8ec02ed0a3cad633","datavalue":{"value":{"entity-type":"item","numeric-id":5369498,"id":"Q5369498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928e8deb396a3d003e48937a001ef5304ab9e8b4","datavalue":{"value":{"amount":"+0.8372933268547058","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":"Q3636821$F7E55023-8967-48C9-AC91-C86A6008C3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217f54b6c3935910f43ccc6f844514028ca0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5703842,"id":"Q5703842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654498be316a4d734abbcfd47dddd35ee6643fb9","datavalue":{"value":{"amount":"+0.8160945773124695","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":"Q3636821$4B36629C-020E-4DB9-91BA-5752C6756D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7285990d705aafc8a4da1f28c2bbb1d9dfc93","datavalue":{"value":{"entity-type":"item","numeric-id":5170807,"id":"Q5170807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bcc21ff19ca9ce5f0985e486f305cd5e555fbb","datavalue":{"value":{"amount":"+0.8153443336486816","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":"Q3636821$A5FA6FB0-30A5-43FF-8FDF-E97399AB146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff50cc3c7263ac668f3c2762a413b436eaf205ad","datavalue":{"value":{"entity-type":"item","numeric-id":2849497,"id":"Q2849497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291b81e47333b927be6a28281425151ba4718a53","datavalue":{"value":{"amount":"+0.801792562007904","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":"Q3636821$24D43A93-18C7-4A22-A2A5-515747471B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e7e3b42267e7f38cb644705a4d0b5663b2235","datavalue":{"value":{"entity-type":"item","numeric-id":2891456,"id":"Q2891456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d3cdf14079663d76039ff2a0591ad6898c6741","datavalue":{"value":{"amount":"+0.7987332344055176","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":"Q3636821$25D361CC-9C90-4CEC-BB14-EEA9D4E12B5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636821"}}}}}