{"entities":{"Q5111302":{"pageid":7140876,"ns":120,"title":"Item:Q5111302","lastrevid":46185298,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111302","labels":{"en":{"language":"en","value":"Improving rewriting induction approach for proving ground confluence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204426"}},"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":"Q5111302$347867AA-FDD8-43E5-BEC1-53A345421273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8deccb2444fe4ad3accecdae6e67a54b9ea54ce4","datavalue":{"value":"1434.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$B387AFD1-7AD6-492D-BD37-9BE166C82F46","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":"Q5111302$FF63A887-8027-49B4-BC0D-C5D1C8204FF7","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":"Q5111302$A8D492F9-D248-4F3D-907E-1A06CD10203E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1aa2bbfede0f37a40cebaa587a08d5c39b11b1","datavalue":{"value":{"entity-type":"item","numeric-id":1643095,"id":"Q1643095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$EE48B2B7-0D12-42E8-85F9-EF8C8415D74C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111302$0C46BEF1-035F-4EAA-B780-17390AB23741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$BD6784E0-499F-453A-BA91-B589E74BF97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$E318E8F8-248C-43A4-9A31-BE8CDFEDD31F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe1624b98389a35bf1fcda9cfe00c7ba36851d1f","datavalue":{"value":"7204426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$576F6867-9AA6-4BED-BB9F-9C138424C49D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664cca0310c7b759b7f6d34ceaab799cc3897c1c","datavalue":{"value":"ground confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111302$67A84086-4505-44F7-BC6A-BEDB59A8A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9e93fa9e1d4c3ae05e385d0fd1124a337060a2","datavalue":{"value":"rewriting induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111302$30FE877D-348B-4FD7-8BAA-D78037F0DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb44d13940215864356f79ad1b8e6c7c9e2753ba","datavalue":{"value":"non-orientable equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111302$65BB6C3A-0805-4F3E-879C-6140F5A10DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86596926edb31549e2c97dc09164e7228d03fe08","datavalue":{"value":"term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111302$D8C421CF-15CB-42A0-8414-460954D0EB92","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":"Q5111302$ED33808C-DDAE-4A83-BBE9-0F5C052ACB8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a479a363657e43b6143e69b7f9e5c4587f34570","datavalue":{"value":{"entity-type":"item","numeric-id":2849497,"id":"Q2849497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$C02A08A2-57E6-4578-885E-1FD3FF62BBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350fdea77ab446693cec7c23c38a28a8b56170a","datavalue":{"value":{"entity-type":"item","numeric-id":5369498,"id":"Q5369498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$C45639CC-2875-4B22-BB9B-38E95226D0FF","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":"Q5111302$CD5096D5-3FE2-4CED-B34F-FA5E2AB155F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0e1176519aff6500c38705ced05965767c17c4","datavalue":{"value":{"entity-type":"item","numeric-id":5044723,"id":"Q5044723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$34BB4EC6-877B-4613-B7F9-A4C9CB7E8834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383b9c89bb68b7c7fd8e835522bbe25b1cb914e3","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$D73961A9-9465-49A0-A3ED-380D359D204E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$C545E966-9290-4694-84BF-FD4217C32448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63122194b3ddae51c07012542f84f5383e4f333","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$26F81C65-9F1F-43F9-9E9B-9E5956E08184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ce7d0f1851c452c921612fdb804e4aabed6d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$232AA870-6823-48C8-82CE-BCDEFE3E6001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fc6ba95a7a3d1c30683f3ac547139937323420","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$67F16984-13C1-42C8-B9A5-D571957150C0","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":"Q5111302$CB6609F8-38CE-4FA3-9A8C-8388BD62221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb7ce19da7a8c3d5223412ed1f311d14ff605c","datavalue":{"value":{"entity-type":"item","numeric-id":582891,"id":"Q582891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$AD00F815-B816-4D2B-BEC2-D54406730ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e93f72b3578ae6d26356b068d194bb2c75d439","datavalue":{"value":{"entity-type":"item","numeric-id":5369502,"id":"Q5369502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$C9392B03-7175-4FA5-8812-C1388526A157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$4C135DED-3A2B-4191-88EB-30E8BFDD14B1","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":"Q5111302$A7C5471C-205B-48C3-BB94-28E1AD94E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111302$DBFBA88E-25D4-4C3E-9A62-8DEC9ED2A0BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9926cdb615d47f6d788a7d776052fd759c71260b","datavalue":{"value":"http://doi.org/10.4230/LIPIcs.FSCD.2017.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111302$9473B240-99F3-4D71-A967-617831EE03D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa471378508410a2e0f2d7ab34f425204ef8e438","datavalue":{"value":"W2758285181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$75E8E621-C529-481F-9314-FEB89A20C853","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f42cca2070138b9bc8287a034363c18384651ea","datavalue":{"value":{"text":"Improving rewriting induction approach for proving ground confluence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111302$5E6E7098-5DA7-4DDB-A919-CA4B4876278B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09137bfd51a67f8f5da00395e56baf03e4c2d925","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111302$BA657C43-4842-406D-A187-C711BC1AA652","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":"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":"Q5111302$F73365EC-8BB8-4FC9-A967-B672948EE528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecba8fd5eba8c85bbd4bcc43c5b043c49cb11fd","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d24d6d427d86b366e335162213d28768170deb","datavalue":{"value":{"amount":"+0.7799740433692932","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":"Q5111302$91F360ED-D8E3-469E-B157-280D6D9470E4","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":"21df8f2a8d6bc61a2332d94fa9d86bf7c609dacf","datavalue":{"value":{"amount":"+0.759486734867096","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":"Q5111302$F36D72E2-6E6F-406A-807E-C45F4274C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3df1c0571e678c10e7f09f353de0c8a8b0196e","datavalue":{"value":{"entity-type":"item","numeric-id":5044723,"id":"Q5044723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930a2be42682a105f8a2322eddffc172a9857132","datavalue":{"value":{"amount":"+0.7523713707923889","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":"Q5111302$1CA7A759-0ED7-4E86-8F2E-A39EAD41D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ea7c93edaa58c009afa0f45c768035fa8c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8d32b5700996f635449c90e7e9038c889cd781","datavalue":{"value":{"amount":"+0.7492539286613464","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":"Q5111302$12D0DEE3-B38A-43C5-A2D4-AB3EE1CC8DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111302"}}}}}