{"entities":{"Q3465631":{"pageid":5245134,"ns":120,"title":"Item:Q3465631","lastrevid":52443353,"modified":"2026-01-22T16:08:58Z","type":"item","id":"Q3465631","labels":{"en":{"language":"en","value":"Reducing the gradedness problem of string rewriting systems to a termination problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6534491"}},"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":"Q3465631$C660E3DE-FFE9-49BD-8BEB-84D1AA5DB56C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070f33305b11f50e5684fef1efb7b3569e2d67a8","datavalue":{"value":{"text":"Reducing the gradedness problem of string rewriting systems to a termination problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3465631$FEB75C27-06CC-484D-AB0A-BE10B8F15534","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43cc554ffddcea1c094e96bec1230d0a017ac32f","datavalue":{"value":"1347.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465631$BC48AAFE-01FC-491B-874F-195FCDEF493B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d23c4c5cfa04b51bece91fb244e4417d4f28cc1f","datavalue":{"value":{"entity-type":"item","numeric-id":722575,"id":"Q722575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3465631$AADF9954-E719-44ED-A995-A18219337E29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3465631$AAC8F9AA-121E-437F-8865-86081B116059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65ebf51411462fbea2c3400e60e28505af30db10","datavalue":{"value":{"time":"+2016-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3465631$7AF0A9A1-7DC5-49D4-A5AF-588AE3289029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465631$AB176EFF-43F9-49EE-A6E5-72069588CBEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecaa17d684d269b6048fddebbed7b69d7bd401da","datavalue":{"value":"6534491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465631$AD536881-2293-4F4D-8364-E62BF8A333E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84a59c985dd3aa9be5ee556ed3da954f03c5904f","datavalue":{"value":"string rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465631$AC8960F5-4339-4D07-8FA1-BC4F0EEEEC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465631$CE27FD76-134F-4168-B003-BA54485FDACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b250eaa959f5610b7872a830319bbbd047a2d4b5","datavalue":{"value":"gradedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3465631$49551B2C-22EE-4B76-BE49-05FF066D4FB2","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":"Q3465631$2E6CD012-C284-4F06-86DF-65127A245116","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84f013c6a04a862247d4b30cf63a6c78940e137c","datavalue":{"value":"https://doi.org/10.1051/ita/2015008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3465631$5248C17F-4D91-43F9-874D-102EF057E0D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03a731567b47f78d6828514b9c18ffebc554d864","datavalue":{"value":"W2284055555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465631$63999E79-5C8B-48B9-8046-FE3E523ED1FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f708258d07aae79db6a685f942c6a4239d088db7","datavalue":{"value":"10.1051/ITA/2015008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3465631$E75BC724-5F4A-404D-A8AD-95642774AC21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff3da650db748a1690a8e8a6b39b0ba24f91ff","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fa249922cbfd0e4d3728a41cfcd3016dc5bd9f","datavalue":{"value":{"amount":"+0.7864914536476135","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":"Q3465631$1AABDA99-A36C-4E44-A70E-F48829692604","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":"67fa249922cbfd0e4d3728a41cfcd3016dc5bd9f","datavalue":{"value":{"amount":"+0.7864914536476135","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":"Q3465631$38AB8F08-3B49-4C1D-8CA5-E2986A129BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc9aaeaf4ea6cb2079ebbe6cf98d811a4b4b832","datavalue":{"value":{"entity-type":"item","numeric-id":5958138,"id":"Q5958138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9128708abf832a54066c871c178e6a8c107bdc48","datavalue":{"value":{"amount":"+0.7652979493141174","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":"Q3465631$6B216C3E-A657-4D9D-AB6D-524AB62AF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce4b2f7625f68b8d4518a3cf9ab5cd59f01d768","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9128708abf832a54066c871c178e6a8c107bdc48","datavalue":{"value":{"amount":"+0.7652979493141174","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":"Q3465631$86085E32-5A35-4784-8F33-E540DE681FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea635ad35607e06a297aa41c1ba86301ae6b39cc","datavalue":{"value":{"entity-type":"item","numeric-id":286976,"id":"Q286976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824c420b17640a2ecfdaed1bbae9c91ddd6231a","datavalue":{"value":{"amount":"+0.7609468698501587","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":"Q3465631$F99E1A96-340B-4F4B-8901-19CE95291966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3465631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3465631"}}}}}