{"entities":{"Q3515227":{"pageid":5545131,"ns":120,"title":"Item:Q3515227","lastrevid":50411189,"modified":"2026-01-14T00:07:51Z","type":"item","id":"Q3515227","labels":{"en":{"language":"en","value":"Weighted automata for proving termination of string rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5304769"}},"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":"Q3515227$51E873D7-A6F6-43C4-B009-90473F3CB151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5e983151b60169b6e956e0d1ded2fa36fefdf5c","datavalue":{"value":"1149.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$996DCAB6-EBB2-4E60-A4FF-328234E85006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8608b3d845665df20a4960779896ea8329708b5c","datavalue":{"value":{"entity-type":"item","numeric-id":703574,"id":"Q703574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515227$8BAECFC4-394E-488D-93C8-A044A549B6EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"448d08f14247b14b2b79e27dc3578a82c360110c","datavalue":{"value":{"time":"+2008-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3515227$D5813AB5-C10C-49B5-AE82-58A86B65C1DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$536D8796-3643-4E94-9C7B-9884494573CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$45070669-13FD-4600-9C5E-D678CE5D1077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$A24C0D81-4F16-4755-89DC-61FC5E36C604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b37fca7c47f1841ba514632509a8e0952d5b77e6","datavalue":{"value":"5304769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$68939BD0-ABB5-4204-8648-5B29874F5939","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7582cdcade858bb2f1454db7ffd095cfcd5077","datavalue":{"value":"well-founded semi-rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3515227$4D913273-0985-4D95-8F6A-0342A913FD4C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215e268b021d037acb803be5f3846494c13771a7","datavalue":{"value":{"entity-type":"item","numeric-id":22084,"id":"Q22084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3515227$EC61C381-9270-421A-A18F-E0F66456D5DD","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":"Q3515227$66DC1C6A-B6B9-4A90-A1CB-6A0C66C185CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a64b86974cdfcd9084729fb375ae04f5cd37dd34","datavalue":{"value":"10.25596/JALC-2007-545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3515227$84A27960-CEB3-4607-95B6-0D2BE4A08585","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e15abfacd6add774472725ae5e62eb025a863f6","datavalue":{"value":{"entity-type":"item","numeric-id":3077187,"id":"Q3077187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8e1f1ab1ceed9a70861f191046d6af651ab7a0","datavalue":{"value":{"amount":"+0.9222264885902404","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":"Q3515227$62A726CD-7F64-4CD3-AC29-AC6965C2BFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6ea71f8662d3cc0197848e758a6c9071caa25e7","datavalue":{"value":{"entity-type":"item","numeric-id":3636815,"id":"Q3636815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1f814e38647850d8c77da3e1736fff77010a2b","datavalue":{"value":{"amount":"+0.8902481198310852","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":"Q3515227$1C171416-BA77-4DDB-9A33-0AA002147023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a5b6fd6ad07547147e37d40832f2621c2cfa7a","datavalue":{"value":{"entity-type":"item","numeric-id":5463973,"id":"Q5463973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65324abd2d665e6b6cc83d26f279cce1c930fd9","datavalue":{"value":{"amount":"+0.85636305809021","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":"Q3515227$092708C0-986F-48C7-A95A-5FC1012E179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a06eaa6aca70d7fa017c3699e7fc20fcbfc6437","datavalue":{"value":{"entity-type":"item","numeric-id":5462118,"id":"Q5462118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5171895b57f90fedc0b9524f2d4ee74412575d18","datavalue":{"value":{"amount":"+0.8513937592506409","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":"Q3515227$BF3DF29B-844F-4F34-9A0C-8FFE6E592E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1414861b391fdc54de527428e038164fa3bed9","datavalue":{"value":{"entity-type":"item","numeric-id":3077191,"id":"Q3077191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef55c1aed78d626092cb3db96d265ae8a47e873d","datavalue":{"value":{"amount":"+0.8363335132598877","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":"Q3515227$40ED66A7-EC58-4D3C-8A5A-8D48A8E14661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3515227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3515227"}}}}}