{"entities":{"Q2849497":{"pageid":2860217,"ns":120,"title":"Item:Q2849497","lastrevid":51828944,"modified":"2026-01-20T06:13:03Z","type":"item","id":"Q2849497","labels":{"en":{"language":"en","value":"Disproving confluence of term rewriting systems by interpretation and ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210149"}},"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":"Q2849497$DD503DA5-D824-4212-ACA4-3EA2EBE7F200","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ea02925fcc0d1bf8e8a32d8b8bbd7f88c1cbd76","datavalue":{"value":{"text":"Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849497$A93D0CFC-84F6-46C8-95DE-320E59D55926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b76b2175adfaa119e5ce4e68f0ca738872656e8","datavalue":{"value":"1398.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$460B0A63-4135-437C-A149-62D3125C728A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c3133962b183060a45e25e32a41ead7c03f9299","datavalue":{"value":"10.1007/978-3-642-40885-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$21FDD431-B68E-412B-8201-5D5FD3077BBD","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":"Q2849497$EA4C3A52-6C70-40F1-BA98-12D9F3D83E32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849497$7CB23032-206C-4634-BB4B-9C30072EF640","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849497$7DFCFB12-1763-41CD-BD2D-597971E71D77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$6120ADA8-B404-412C-865A-AB68E0169D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$711C5F8A-99C1-4D74-8EBF-31BD745B4BF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11ae21138f98de3de4fa63f71b00c0d1f1e26cb","datavalue":{"value":"6210149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$E6F443EA-CAC7-4DF0-BB7B-B9ADDE269F9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849497$931351C0-E5C1-4F6D-BD43-3DBA8244FBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c82488a6e50b49ea233ffd0982a0e15dbf56305e","datavalue":{"value":"non-joinability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849497$745A4451-26D6-4B5D-97A9-AD37D4658984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849497$4CBDFABC-9224-4440-B627-32610ACA19B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0e004ef5d9100b30c5abebcec9ed563723a2ad","datavalue":{"value":"ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849497$0AF689FF-BC2F-4620-9859-333780171399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849497$E3E7CCFB-A9BD-4D8D-A7CA-8D5AE2C0033A","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":"Q2849497$BD1A7062-0F07-4789-A29F-7A00B3E11E8A","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":"Q2849497$001CFC2F-93F7-456A-ABD3-FA11540BB713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849497$914832F1-6B6D-42CC-9234-B9B72A335748","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":"Q2849497$FE80037F-267B-4301-A12B-F744E4BD6398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0256a3810851f5d51887429c48a0ffd3ad620b08","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849497$140370D8-DD37-48A0-8AEB-3ACBDD7B9F20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c122280bacb47043286cf07c3c8f4164ff551c3e","datavalue":{"value":"W291680708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849497$3FDCED10-A7E3-4190-A1A9-1449E1A580AD","rank":"normal"}],"P1643":[{"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":"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":"Q2849497$2B361047-F53C-4476-8B66-2BFD7958C082","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":"662e7ecbfc8e4a786432e67308114ecfd47316d0","datavalue":{"value":{"amount":"+0.7812159657478333","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":"Q2849497$8A1D7D3F-263C-4643-AFC3-BF9B81B91F4D","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":"50bd974f390fbe3a10ad5a87e274ace8ee0fcffb","datavalue":{"value":{"amount":"+0.7542006969451904","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":"Q2849497$0EE1B4B7-DA04-4194-9170-5586CD84013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d21077d3a817a05504fc88d9252f7f3476dd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2881099,"id":"Q2881099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137bd1f7a011f1aa1158e81494b54d5eca261450","datavalue":{"value":{"amount":"+0.7515316009521484","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":"Q2849497$D69D5016-2B3F-4AEA-BE81-E40468B09860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf024aa9c11d7a9325b0e6852ea3f518f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":5055864,"id":"Q5055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e0f7e258deaa2668674231903bf3f1ee4ed45a","datavalue":{"value":{"amount":"+0.7508137822151184","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":"Q2849497$8AFB004F-7961-48D4-8E55-DC2DAEFB2BF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849497"}}}}}