{"entities":{"Q3014928":{"pageid":3025652,"ns":120,"title":"Item:Q3014928","lastrevid":85797506,"modified":"2026-06-03T11:34:18Z","type":"item","id":"Q3014928","labels":{"en":{"language":"en","value":"Joint spectral radius theory for automated complexity analysis of rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918462"}},"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":"Q3014928$FE98D685-DDCF-4015-A71A-AB9C16D472E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c0b4545fe48de93e2c313ce28b830399be32fd5","datavalue":{"value":{"text":"Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3014928$CD8BE660-60AE-4AE9-AE73-97AE9C1C9F0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0e3fcb5b5a0b372d78c2d76d25afb320cd5c63f","datavalue":{"value":"1307.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$32AC988A-7409-47AE-9B8C-84D011E00EF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46981e63213535dd1ea71854853323bc3685f6c7","datavalue":{"value":"10.1007/978-3-642-21493-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$3AB3006F-E3D9-4A21-92C0-0D1508638B99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$429F51D5-B763-4AED-90B0-313EDA8AA1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72dabc59d6ac55abae8a5d41136834dd0407ff86","datavalue":{"value":{"entity-type":"item","numeric-id":276250,"id":"Q276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$A6F16A44-934A-4835-B3FF-54084D0B541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb0b460f563dc4e217d0b33806af3f62c2f386d9","datavalue":{"value":{"entity-type":"item","numeric-id":2891463,"id":"Q2891463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$94573162-1868-4273-A0EC-1B4B3F9C36B1","rank":"normal"},{"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":"Q3014928$174DFDD3-4919-4EDC-8DCE-9E80705B39B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83136e3815234cec6578a3872e677d362852be2f","datavalue":{"value":{"entity-type":"item","numeric-id":352958,"id":"Q352958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$9A9907F4-C515-401D-A87E-02795B7F1C7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"990dd856f9b39b97bff0e5ce9e90e3e73f0526ea","datavalue":{"value":{"entity-type":"item","numeric-id":2849996,"id":"Q2849996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$10D4E99A-71A7-4C23-AE1F-13D25154BB13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3014928$8642FBDE-1DC1-4853-9CBB-CC8ED563AEC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$6780F8F9-DF57-4A78-A623-52C56AEDEF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$2D1275F1-0D42-46DA-8217-77CB2BD09E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$E2A7F2BB-DA22-4A45-ADE0-D125D52C29C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae80082a337b22e4d1c70ae35b634cf858f9ded1","datavalue":{"value":"5918462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$CA498747-3A73-4F5A-B9A4-3A666382BA8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e715b79f732edaf46530aab329517140a348962","datavalue":{"value":"derivational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014928$B65A6201-A74C-4AE2-86EA-EF89E754FA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f18020a2c5acb2dca6db0f6db0519ec81f93bb1","datavalue":{"value":"matrix interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014928$1AFB908C-B597-46DE-92CA-5FEEC0B57638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014928$C65B836F-2F94-47F7-9961-7D1650E20300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fbeda96ae86fe1ea31e6c075b0e16d435263a44","datavalue":{"value":"joint spectral radius","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014928$D817394C-02E0-49AE-9F3F-5D6AEF0E8E5A","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":"Q3014928$EAC89675-7046-4B65-865B-11846FE3EB8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4dd86b018787f3578760cb8905a0d81be87262f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21493-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3014928$F4A97F37-1EAB-4819-A889-684AAE8F7A6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30ec5ee331d008b2347e6b5b8761c42bd1c5487","datavalue":{"value":"W172021561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014928$4AA31592-A655-4282-8936-89509B9D0526","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$7A1D3975-2FE9-4EE9-B2E9-7C9593770C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5da64e3f531635622131eb2a356179d072c21f1","datavalue":{"value":{"entity-type":"item","numeric-id":556878,"id":"Q556878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$8D4B2425-F1A0-4D2D-B1B9-55E3549B3D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$A1F9A829-F9AA-462C-A501-E4645F2760CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$87DD8C71-80E4-41D9-98F9-3773460358B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f56aec464de226bde780d4a3fdd179a2846aab","datavalue":{"value":{"entity-type":"item","numeric-id":876043,"id":"Q876043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$A2D58F35-4365-480F-AF52-7AD190839029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e754d2489cd4e938ceb6ef25e32ef535b674e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541717,"id":"Q3541717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$1D72092D-1093-4154-9177-8739A7625BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a55dd1fafdb97010211da4cbf64ca40ccf24f","datavalue":{"value":{"entity-type":"item","numeric-id":3998992,"id":"Q3998992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$3EDBC5AB-6F45-4DEB-8C33-D2885F1759E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee7fcc5feba9a7c8e526b2b9eb1af896f85634d","datavalue":{"value":{"entity-type":"item","numeric-id":2483266,"id":"Q2483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$058ABF53-CE5D-4E52-9289-67D73E08315A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$642F6340-1B29-4232-897A-5E09D4F91AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0bfd7fc410231621da60e4613e46718e4da36b9","datavalue":{"value":{"entity-type":"item","numeric-id":5895523,"id":"Q5895523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$D7D945CB-004D-422B-8D49-4407236D953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b123db3a4418e7e0b3c4a8923bc434312bc66f","datavalue":{"value":{"entity-type":"item","numeric-id":3165968,"id":"Q3165968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$6CCD646B-1A73-47C8-8510-946BFC3C4AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c47b803ae3417d59bdf5abe0462b8106abf537","datavalue":{"value":{"entity-type":"item","numeric-id":4933331,"id":"Q4933331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$09A1BE96-F22E-432D-AE5A-9E81D63FEA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab582632e94e7a5a299775b63611d428c986861","datavalue":{"value":{"entity-type":"item","numeric-id":4789272,"id":"Q4789272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$9189693A-1D6E-4E93-BAF2-936CF0689D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$26AB8A26-9771-4507-877E-AA7219DED39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23219815202c781951ef934ec25bf96b0ff01db","datavalue":{"value":{"entity-type":"item","numeric-id":5389155,"id":"Q5389155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$18EC4E08-8DBE-4205-AF7C-18F9F1AD9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55b45a3aca375756d29d078b25e4aaeb0c01b3","datavalue":{"value":{"entity-type":"item","numeric-id":1177168,"id":"Q1177168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$A1BAD947-674F-4495-9308-F09869CFF3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657ad85f37f04b4d7dfc9abe82606843fc77cd97","datavalue":{"value":{"entity-type":"item","numeric-id":5389157,"id":"Q5389157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$3BD8F751-8249-4439-99E1-DC7BA26C43B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac27b687c7a6102d152723e7b5b7704ccbccbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3066114,"id":"Q3066114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014928$1E95F97B-C5C2-4036-B1E8-95651231C6E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2c664c1b146a563fcee20ce6615727bfc3d063","datavalue":{"value":{"entity-type":"item","numeric-id":4933331,"id":"Q4933331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2290bafa4a6c173a1c081302c9a11088b8537d29","datavalue":{"value":{"amount":"+0.8694642186164856","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":"Q3014928$8CA8E581-285F-487E-9E00-B514D0A6F69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171238c18169b1f3689276bf056f0c5ce1bcc23f","datavalue":{"value":{"entity-type":"item","numeric-id":3165968,"id":"Q3165968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4810405cb18ddf162efd47c3e0a272fd617fed06","datavalue":{"value":{"amount":"+0.8323062062263489","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":"Q3014928$42CEDDD3-D98E-4A56-BD0E-453DBE616EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c47ea155701ec3cc1ba5690bba5ca92942d9f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5389155,"id":"Q5389155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1d17e3a06071226098c20f85b5e774a4295672","datavalue":{"value":{"amount":"+0.8314732313156128","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":"Q3014928$4CE09BBC-E72D-415A-997A-854B9D59E5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ba2965d0f1ec2feca087c9fe743725df2f8537","datavalue":{"value":{"entity-type":"item","numeric-id":5277888,"id":"Q5277888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe109d786f14b33ca2510ba10da949c50306ce5b","datavalue":{"value":{"amount":"+0.7959729433059692","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":"Q3014928$C84FE7F7-CE09-427A-8E83-F47CF99BEA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926fe7dfb76f995dd131e99826f8cb89eb3eff17","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc818a4babbc928033b3ed6b513567f57c368eb","datavalue":{"value":{"amount":"+0.7587237358093262","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":"Q3014928$0E078C08-7E86-4741-8A76-69CC00A0CF13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Joint spectral radius theory for automated complexity analysis of rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Joint_spectral_radius_theory_for_automated_complexity_analysis_of_rewrite_systems"}}}}}