{"entities":{"Q5401558":{"pageid":7431132,"ns":120,"title":"Item:Q5401558","lastrevid":74429235,"modified":"2026-04-14T22:17:39Z","type":"item","id":"Q5401558","labels":{"en":{"language":"en","value":"Hyper-minimization for deterministic tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6266667"}},"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":"Q5401558$6007552E-FFB6-4EB3-9F0B-CA788FB4A695","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab72837a26f2d92ff82c039b955029f575000f88","datavalue":{"value":{"text":"HYPER-MINIMIZATION FOR DETERMINISTIC TREE AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5401558$F9EA140D-5B22-4B90-BA1C-F3153CBAC3DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b67325117e4186fdacd4d68bdd8638dbe8cb0745","datavalue":{"value":"1295.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$C2AADB5C-CE79-411B-B6E2-84A9950E61BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"615a7c653da53b420a0af53c065dd36ad7e5d8f4","datavalue":{"value":"10.1142/S0129054113400200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$4E02530C-E827-440A-8F42-2DB573C44E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"956ccad67dc502dfc66055868e0a535a76df3b6e","datavalue":{"value":{"entity-type":"item","numeric-id":248925,"id":"Q248925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$F1DBFAE0-D3F5-424C-AF07-22A677615E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e274aa20207ae357bad8a786ac2c8ffabe2c65","datavalue":{"value":{"entity-type":"item","numeric-id":519890,"id":"Q519890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$70D6E899-F570-4DC3-B8E6-67B64F0B558E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$4B162978-AB68-4FB2-8D7B-F381414A7382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"263711ed51fd12cc335121a0bdee06ca0225e302","datavalue":{"value":{"time":"+2014-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5401558$778088F3-BC85-43EB-B7A7-ED1180C22FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$7F0A4FFC-B596-4C50-88A1-E51AAA817D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$985CB6A4-FE55-4676-8190-7FBF098D5CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$150FD3B5-3945-435A-9F0B-DAD127DF76C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4298c1221a1a93158f8d89e2a3d75099e62194a","datavalue":{"value":"6266667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5401558$2BB70015-A365-4D00-99F7-3EBD7B432A47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a7b94001e620acc3f2f65d9608d4389e5d58c09","datavalue":{"value":"hyper-minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401558$1CF351CF-2EA7-4348-9DA8-2D99002479D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b3bf60bd23c8b0acb003e2b31935a31ced5b8ba","datavalue":{"value":"state-minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401558$F7D4D074-9235-4FA1-97B5-5651642A43D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401558$A52BEC1E-646C-47F0-B81F-48366CA45B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a250ea5d6c2918d99ec4063ab67b63cb09172f","datavalue":{"value":"deterministic bottom-up tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5401558$27ABCF62-0FB1-42AF-96CE-20E0065A9C05","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":"Q5401558$0E5F3909-F5EB-4877-87F4-9E76D38D2B41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d146661a5a7a9eadc19d6b39a903d04848853043","datavalue":{"value":{"entity-type":"item","numeric-id":3395144,"id":"Q3395144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$A17CD79E-FD97-49BE-991F-3384D168F6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b480de29d4fff9d856bd111d68b9c96191d76781","datavalue":{"value":{"entity-type":"item","numeric-id":3549289,"id":"Q3549289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$2370AC6C-C10C-4407-87FE-C2B948762869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66a85d1f994b8180b9b19c6c1d0aeb52923c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$77429E40-D924-4F97-9A60-3CCE40955B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6bc10ab17919e611a376c210bed7ba9cad008d","datavalue":{"value":{"entity-type":"item","numeric-id":1959648,"id":"Q1959648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$31D3D179-8C38-472C-81DB-25014CCAD07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b639e2895cc464f6fb0bbabf8515800451ffd1","datavalue":{"value":{"entity-type":"item","numeric-id":1041045,"id":"Q1041045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$6758B7E1-E750-4071-A6E0-DBD1C08484A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5401558$F9866A21-76E5-4F1E-982D-E1A3108F9450","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe05dcecdcf9997013097ec44d117509da11650","datavalue":{"value":{"entity-type":"item","numeric-id":2914711,"id":"Q2914711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b446123401c45929505ec49f9b6d8537b8e5d633","datavalue":{"value":{"amount":"+0.9004150032997131","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":"Q5401558$662F4458-DF58-461B-85F2-62E913A4C684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc7bf7f843daa33cd2e413d83f2a28ab9db8c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5327499,"id":"Q5327499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98aea34de25a5cef26fdcd8d229cb4a3c82a06f","datavalue":{"value":{"amount":"+0.8890873789787292","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":"Q5401558$D19A60DA-8302-4338-B7D0-27557AF26A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4207ac9d77b372fe20475406091f8577df4773ff","datavalue":{"value":{"entity-type":"item","numeric-id":1959648,"id":"Q1959648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d9a01dc3695eb1dd349bd5c5f8c7ae0bf84ebf","datavalue":{"value":{"amount":"+0.8860883116722107","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":"Q5401558$1D095310-3C05-4FEB-BC9D-D7C751CB66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140428886740037deddd07c26949adaaa4a1deaa","datavalue":{"value":{"entity-type":"item","numeric-id":2344747,"id":"Q2344747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1337375b987307b3742566f97ea85d363e56082b","datavalue":{"value":{"amount":"+0.8845767974853516","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":"Q5401558$B3F51498-C5B4-4B29-8E98-BA5DD336AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1923a867f08b266603b025a5331b92d0cda54d02","datavalue":{"value":{"entity-type":"item","numeric-id":3637336,"id":"Q3637336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181b027d1507ad5b4d8c5e10c754222c7a5c0a5e","datavalue":{"value":{"amount":"+0.8760769963264465","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":"Q5401558$D5A7F5D2-AB00-4C76-B1F8-8EAABDB53612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyper-minimization for deterministic tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyper-minimization_for_deterministic_tree_automata"}}}}}