{"entities":{"Q5111903":{"pageid":7141477,"ns":120,"title":"Item:Q5111903","lastrevid":53742257,"modified":"2026-01-25T15:47:09Z","type":"item","id":"Q5111903","labels":{"en":{"language":"en","value":"Deciding confluence of ground term rewrite systems in cubic time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7205331"}},"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":"Q5111903$585F9DA9-D43E-4BE1-9133-48DEEB93C819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22e1e3c969fe53a3ec4e183d1df1b6edb761ba9c","datavalue":{"value":"1437.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$85C44192-59B1-4BC1-8696-BE89142E8EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111903$41C636EA-6342-4750-9200-0F3BFAB2F5CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111903$E952C3B5-225C-41DD-AFF3-5A4A21E9F3A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$5F7CBA52-24BD-4880-B725-04A1AAA3E6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$A3B7383D-A75E-486A-961D-0FF00270C84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64e8872529c2db9d359042e0e2964566d9bd2829","datavalue":{"value":"7205331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$AB45928A-E46F-4396-B120-70454604F097","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111903$B2DAEC82-0886-4C8C-9B18-7BDB04B65546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111903$6FDA4E28-A88B-4DFF-8910-BBC99406CACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111903$7656EA6D-83FB-4F8F-B79F-24C5D07F288C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8a01c41b13bfc79a9daf0b2fde47f5689ed56a","datavalue":{"value":"ground terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111903$01B46002-BA47-487A-AA14-956638306AF9","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":"Q5111903$FD5C0F1A-639F-4F09-8CCA-FBAF0FEE648C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb4ae2cbb629689f087eba4b376376988fd41ab","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/rta/rta2012.html#Felgenhauer12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111903$B8910343-0199-4FBD-8880-5ED79113F250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82313cf3f4d2784c7e7f96087b3423defb8f39b0","datavalue":{"value":"W575118053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$22AA4633-5C8F-4136-9F76-1819F600B81F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a799347e58cd81ea39dc440a6c6ef802a5dec36","datavalue":{"value":{"text":"Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111903$B70C3BA6-ABFE-4BAE-B931-7606BFC1A5CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3bdeee78eaa10678ebcd08972cc252a5b7c7bcc","datavalue":{"value":"10.4230/LIPICS.RTA.2012.165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111903$7A9D0279-ED2F-48F9-B1C4-5557AC552686","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac2d8802165c3709114d572969a52b18d87849b","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea32263fb72cd9615c8d9cdc0a96ccf546250aae","datavalue":{"value":{"amount":"+0.8716627955436707","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":"Q5111903$0E55F1D9-B203-464C-BB25-CE8F19DF4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d985b21f069ebc2fab56ab05cce327d55a086a","datavalue":{"value":{"entity-type":"item","numeric-id":4553285,"id":"Q4553285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f033d7936bc96130452c6d33a938e014f5cc4a","datavalue":{"value":{"amount":"+0.8705503940582275","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":"Q5111903$AD0FB4B6-993B-488D-A657-BC674D09CB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340086969523cb2c3ee426b18857c383b402099f","datavalue":{"value":{"entity-type":"item","numeric-id":5277699,"id":"Q5277699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a886f94ffed7bce5055786e66f09d0da0307f3b","datavalue":{"value":{"amount":"+0.8704293370246887","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":"Q5111903$1C9BA184-0D93-4454-8FFD-AC2BBD162A10","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":"b3915da7d9cd0f1ea45039fc2f265bd9d9c9d13a","datavalue":{"value":{"amount":"+0.8601195216178894","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":"Q5111903$ADAA79A2-520C-483B-BD30-529BCF466B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d0a9bd5c419ca94dfc8bf6669273243f08319","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"807dff6e609699603ff3b591f882c8a607d8f301","datavalue":{"value":{"amount":"+0.8246473670005798","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":"Q5111903$A0C9BF4C-5237-4AA4-A35B-BFD76ACC9219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111903"}}}}}