{"entities":{"Q4013403":{"pageid":6043199,"ns":120,"title":"Item:Q4013403","lastrevid":55189807,"modified":"2026-02-04T14:58:34Z","type":"item","id":"Q4013403","labels":{"en":{"language":"en","value":"The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64247"}},"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":"Q4013403$8B99EA5E-9185-4BD0-B32D-DE582E773159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"355928f0a1099e12b896798ecafa0034e5370bf1","datavalue":{"value":{"text":"The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4013403$09782D8B-8DF6-4739-82D3-0BC64F5FE7A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"161b7ce39c6277b9481fee1355f85bea2d824809","datavalue":{"value":"0780.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013403$979D58EC-E61D-4595-B06E-B4D40B389049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f1e5330ff1181aa9364fa57e496286640675a6","datavalue":{"value":"10.1007/BF01213858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013403$48AAF46E-28F3-4D58-9C27-FB766615C4C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46c7c00558d7121734d489049799fa24953dd04","datavalue":{"value":{"entity-type":"item","numeric-id":287428,"id":"Q287428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$CB439723-CD3B-4E23-B056-194C39B37512","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$422C0680-5CE1-4502-9B37-772DA5B9402A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4013403$697BAB06-6B05-4CE1-B454-CC82A0C482CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013403$68880E4D-6585-42D7-9F39-5662F4DF4043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a62bfc1d75099ec4452c9a26661921343c72f3","datavalue":{"value":"64247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4013403$61A7F3BA-E5C6-45F2-B4A5-EC9BD34D717B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013403$3E9A8FE9-1A07-4D9F-8D5A-D606C6A5ED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c82211f3775bb21f5d1225481e93187dfdbfc92","datavalue":{"value":"finite special string-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4013403$B282F0A0-0B56-4ACF-8499-140DF55A279F","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":"Q4013403$FDB56F05-6940-4FC6-A457-50B4F0F91966","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49582f8ec584180cc897530585e03802107fc8bd","datavalue":{"value":{"entity-type":"item","numeric-id":1098283,"id":"Q1098283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$C0F7D64B-3D85-480A-A6FF-D8D3EAEBB1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f8caa4d24218ecf63bb6d39ed1b79a4c2266ea","datavalue":{"value":{"entity-type":"item","numeric-id":3936184,"id":"Q3936184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$BA1B1968-D87A-48BF-A5F9-A987A22164E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$2D61CDD5-7691-4012-923A-F8C2EE9E4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$CDB17A74-9DA8-47F4-BAB8-AABEC1AA35FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb713495b9ea7313f59f292ec295ea082246771a","datavalue":{"value":{"entity-type":"item","numeric-id":1162144,"id":"Q1162144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$E89362A4-97EF-4866-9BBE-A98D2AFB7AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$3F2DB2E4-8293-4BD1-8B2E-082CB80B61D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$F39BC449-5243-458B-8C8D-747A67E56CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$4228DD94-713E-45EC-94DB-B19C4AF51DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4296a0f1102f265d68e6fe28f366c2c858446fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1057263,"id":"Q1057263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$9DEBAEA0-1F21-4721-A5A0-FA294002CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04ea1c493e890db53f129beb862d1f6ccca1832","datavalue":{"value":{"entity-type":"item","numeric-id":4036570,"id":"Q4036570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$AD243B38-D090-4CE1-8EC4-2C02A6CC7491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb5accf75878e3dac144b7e3246a574b6221a99","datavalue":{"value":{"entity-type":"item","numeric-id":580494,"id":"Q580494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$D3B78E7D-75AE-40FF-B15B-1344C097F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7a0c546117d260a8481d78cb721390d09020b8","datavalue":{"value":{"entity-type":"item","numeric-id":1089108,"id":"Q1089108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$4171E951-8EDD-4008-97B2-0E5569253271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838963065bf2cb01121d1af54e4aed38f9851f93","datavalue":{"value":{"entity-type":"item","numeric-id":1102946,"id":"Q1102946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$3B15E603-CA6B-4F25-BEC0-823FF9E0268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e984fc8e6a0b5492e5ac576671ff2d34a794970","datavalue":{"value":{"entity-type":"item","numeric-id":1191634,"id":"Q1191634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$A691446E-EFCE-41C9-85AE-A149B8761C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0116c001120afe59d2e4ac3014917bd47d1e739","datavalue":{"value":{"entity-type":"item","numeric-id":912986,"id":"Q912986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4013403$61D7B22F-DD34-4035-BF8D-3DCA9CC784CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2902beb6192fd5704c64c2200b784d8ef76f0d10","datavalue":{"value":{"entity-type":"item","numeric-id":912986,"id":"Q912986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3ba439cb7c0c97caa3815296371e4d69225b3b","datavalue":{"value":{"amount":"+0.8857753276824951","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":"Q4013403$40FFFC14-F103-4B51-8E07-10F842FDAF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb196672bcb1c8cbe362cdc469fd4003f74d1896","datavalue":{"value":{"entity-type":"item","numeric-id":1102946,"id":"Q1102946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374422b3e850a1cab7039ed9ac4327556ba8d051","datavalue":{"value":{"amount":"+0.8648965358734131","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":"Q4013403$44E6CC24-BE37-4023-9736-E91EFD48489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0bed15e2fbb5bfb237b57fdafae65829b5deab","datavalue":{"value":{"entity-type":"item","numeric-id":1191634,"id":"Q1191634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce94fde641462366d868cba9b63a2e87a7db295","datavalue":{"value":{"amount":"+0.8449563384056091","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":"Q4013403$30BD8ABA-CA8A-4E10-BDF0-A79A61D79865","rank":"normal"},{"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":"495e49feac787a5c2aa2dd38dfdcd259da345d61","datavalue":{"value":{"amount":"+0.8436741828918457","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":"Q4013403$8B197753-48E9-405F-8456-03D4D73DECA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4e024fa56b2772751ceb9f7b71554ee9262799","datavalue":{"value":{"entity-type":"item","numeric-id":1262758,"id":"Q1262758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ebdb3cf6e54f7b6f2939c39088775e8daebfe2","datavalue":{"value":{"amount":"+0.8327035307884216","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":"Q4013403$3A713DD2-A800-478D-9AE6-E5B85F6A6DFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4013403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4013403"}}}}}