{"entities":{"Q3077191":{"pageid":3087907,"ns":120,"title":"Item:Q3077191","lastrevid":51193118,"modified":"2026-01-17T04:19:12Z","type":"item","id":"Q3077191","labels":{"en":{"language":"en","value":"Max/Plus tree automata for termination of term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5854943"}},"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":"Q3077191$36F48204-419A-4783-8228-2AF9DD2E4068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"216db4480034f0c4d2ab553b1e6aa0582b501f5f","datavalue":{"value":"1224.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077191$E52CB4CA-AB1B-4CC2-8EB2-8C8868CFA24A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b43147a09f38888bdc440722fa90e825a1545dbf","datavalue":{"value":{"entity-type":"item","numeric-id":843948,"id":"Q843948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$B1B229D1-2BD4-407D-A027-389BB0A6D57B","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":"Q3077191$944D96C5-1D1C-41FF-A8CB-258E483EFA39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-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":"Q3077191$F06DCEA0-16CB-4657-8187-ABBAE37EDFE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077191$592C0CC8-F038-441A-847E-D9FC35DCC7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077191$D3272B4D-9136-48FD-B3E5-977F72B7A6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077191$9BFD47C4-199B-405A-BA2A-FECBB8ED85F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7753609155479039338210113b64df80e5c160c2","datavalue":{"value":"5854943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077191$07E5F88F-AFE4-4673-90C6-7080CF53385F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$2DBE5D33-D0FB-404A-B3EA-FFCD826DE33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$071F8C4C-65D9-4082-B702-AC4B53A38F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272285942f4b091a819d2eb7a865293bf3f9c3ec","datavalue":{"value":"weighted tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$858C0436-167C-47F0-AB6D-5AA78288846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b9ada8eabe83d099a296d03a35e4a77a48dc5c","datavalue":{"value":"max/plus algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$6BC47AB4-D18E-4182-B50A-D1D8BC4967B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736a274446bcb2bd5e21f14e0a32fbe88b4013e8","datavalue":{"value":"arctic semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$ED7A1BD1-6414-4E8F-8A7A-7E73611E1218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75f2d09d7a3a676284c3f6981fc967405a789921","datavalue":{"value":"monotone algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$95EDC5D7-2B11-481E-AE38-09CA16508C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"804164bc1e195026114fa946b5cf094962779c6c","datavalue":{"value":"matrix interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$9A14A880-A888-4F98-820E-A444A222AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077191$90DB2C0C-293D-45D0-85C6-909E1E116D7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$947C68A9-25E1-4A71-A68B-D0C778D04C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$D791C4D0-4909-4BF9-90D7-D9310D2E7552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$C5E329B5-F550-47C6-8C64-70F8AEF949B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa4d2ee831327588266f7bff63c8d0bce25b9403","datavalue":{"value":{"entity-type":"item","numeric-id":22035,"id":"Q22035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$BC97C32A-4F4F-4BB3-BE10-8BFB8ECC623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$8B67F459-8C7A-4A1E-B8D5-D9F96B33CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$20452068-519B-463F-8019-89CA825EEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed30c00dba43cb7404d541bb6de7a2ebb027c287","datavalue":{"value":{"entity-type":"item","numeric-id":22083,"id":"Q22083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077191$7E7A03E8-E036-4616-AC6C-8B1981FBE1D7","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":"Q3077191$4528360C-812F-417A-A1BD-7D312715CFC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e40a11ef909834f90e32555fffe74ec4f9dab105","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4740170e94eb1b5fe9ebf02fff60faafedb462","datavalue":{"value":{"amount":"+0.869526207447052","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":"Q3077191$33877249-DC81-4B6B-A56E-570531D99C34","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":"f1ed8585f3b2684474d9922963d96a5d54fc1868","datavalue":{"value":{"amount":"+0.8631955981254578","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":"Q3077191$34238BBF-14A4-43B7-8A3D-81281D779863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76341588833213c6ce03a70e8f79818899278ea","datavalue":{"value":{"entity-type":"item","numeric-id":5703861,"id":"Q5703861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48198ff36e08406c0448b1054897ade40f164373","datavalue":{"value":{"amount":"+0.8542314171791077","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":"Q3077191$D3BEA251-421B-40AE-A23A-DCEC3D1BF821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b31b9f97f2e3f2201b88b1f4b84ee78cb9666a","datavalue":{"value":{"entity-type":"item","numeric-id":876043,"id":"Q876043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5a243379ed0e06ce13bea765b5ce3a19ce0a41","datavalue":{"value":{"amount":"+0.843520998954773","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":"Q3077191$44791715-940F-4848-A7C6-13123C7BD820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a190e3b746ffab3a7e6559aacea42269f79a5bea","datavalue":{"value":{"entity-type":"item","numeric-id":3515227,"id":"Q3515227"},"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":"Q3077191$55DCCDE5-264E-4741-8379-D9AB0FDF9548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3077191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3077191"}}}}}