{"entities":{"Q5369498":{"pageid":7399072,"ns":120,"title":"Item:Q5369498","lastrevid":52930496,"modified":"2026-01-23T20:20:33Z","type":"item","id":"Q5369498","labels":{"en":{"language":"en","value":"Ground confluence prover based on rewriting induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792366"}},"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":"Q5369498$670AF7B9-8DF0-45D1-9F1D-EBF2D43F789D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5da52e471f5ec622d9740a9342880050bcf4476","datavalue":{"value":"1387.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$4F0DFBF1-C607-414D-97BF-74CE71860CA8","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":"Q5369498$AD778B0B-91AB-4E1A-AA07-A852BBDAB947","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":"Q5369498$1786584C-FA00-4D68-A2A2-8919397FFB6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369498$EE3FB5BD-C6E8-4966-BFF4-865A9556BF8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$14E25BCE-B2B2-4B97-A76B-58712EBE31B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$DEE3EA7F-CE92-4CD6-B59A-F3D69C3BCE2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7434598cc2bc1b77a9c62ca7608e3bc79d8553f","datavalue":{"value":"6792366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$1F31CBD1-E363-4C36-B863-CF7AD972A010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664cca0310c7b759b7f6d34ceaab799cc3897c1c","datavalue":{"value":"ground confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369498$10211885-9DFB-479B-9568-005EBDFB3035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9e93fa9e1d4c3ae05e385d0fd1124a337060a2","datavalue":{"value":"rewriting induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369498$4DD815FA-214B-43B3-9F76-255B94D857E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb44d13940215864356f79ad1b8e6c7c9e2753ba","datavalue":{"value":"non-orientable equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369498$683B6F07-C348-4917-8C49-4D8F5E18D60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369498$62A7D6CD-CF1D-4EF5-98EC-5C09338D83DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369498$C6622C1C-083C-4C47-BA14-CA859372C4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a9b3dc574c0b3e8d76e3da5ff7e6f8954a31dff","datavalue":{"value":{"entity-type":"item","numeric-id":22071,"id":"Q22071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369498$34D137A1-7747-43E8-9C83-1E84B602C6E4","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":"Q5369498$A160A03D-F557-4F64-8214-5A54A9401EE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ba937c4df10a5f5f719abe5edde3bde0e08f8b1","datavalue":{"value":"https://doi.org/10.4230/lipics.fscd.2016.33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369498$E47044B0-E8A8-425E-87B9-EDEA0B9F253E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b56f780d66de49167da9b607460b224bfb35a31a","datavalue":{"value":"W2491573813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$27531F89-B06A-45D8-B898-0FA4B21AA4E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5272bc48e2f3513aee90e6ab6c3d58f93386c6f","datavalue":{"value":{"text":"Ground Confluence Prover based on Rewriting Induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369498$FF9E74C8-A7E6-47B9-B38E-982BAF5C90FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de311fbbf82134c61494152337c4e02d6fbe77c4","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369498$646C3503-356B-4F06-BB86-F9E511CE32DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a12942cc0c2b9c4ed260fcd615faf9449a0f60a","datavalue":{"value":{"entity-type":"item","numeric-id":5111302,"id":"Q5111302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bfbf43484912e16c691b38c5005b462086b1d3","datavalue":{"value":{"amount":"+0.8685961365699768","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":"Q5369498$5B312370-8569-4A00-B34A-C7E0D6AB59F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd892a143356a3b3320749c2404bfc8f84955e3","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"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":"Q5369498$754319B6-72AD-48C2-B2DB-50E4830FCF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc972060d430488163c53b0a59c57bb71ce52817","datavalue":{"value":{"amount":"+0.8143211007118225","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":"Q5369498$B1D8F0FD-5B4C-4B23-A12D-1E12350D0AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f16630c9bba1606a32cf274184b6f970ea8c1","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4982c32a9c7528c480cfe7e7c58cab7cba9eb99a","datavalue":{"value":{"amount":"+0.8069232106208801","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":"Q5369498$127AF851-E6CA-4213-B26B-90B66ED4B2D8","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":"25b6d8239e4cffed4c195d9e3f0de0cc870e0baf","datavalue":{"value":{"amount":"+0.8004289865493774","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":"Q5369498$CB76957A-A655-43F1-9BB2-B029BA0827F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369498"}}}}}