{"entities":{"Q2894267":{"pageid":2904992,"ns":120,"title":"Item:Q2894267","lastrevid":44710503,"modified":"2025-11-25T10:58:02Z","type":"item","id":"Q2894267","labels":{"en":{"language":"en","value":"VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051079"}},"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":"Q2894267$FD41E392-C8DB-4C13-832D-7E4079B2213A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dfee3b3358c39c065697e85e37499ca8d3c0573","datavalue":{"value":{"text":"VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894267$1EA50685-78AE-4007-92EE-A3D7185472E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"378aa636708336a41772c6932a8a496436318abc","datavalue":{"value":"1352.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$09036C52-664F-45C2-9F89-E94436202690","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f2e3582a6c488f35a1cbde5c07dd4901fc0c323","datavalue":{"value":"10.1007/978-3-642-28756-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$822F7E75-75FD-4E05-A22A-89D648139D78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2f44950ca7dd1c6c1a3c279ac4a004cf6e7360f","datavalue":{"value":{"entity-type":"item","numeric-id":300411,"id":"Q300411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$64BA749A-E41B-4E9B-93C0-5A62114931F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6439f80db2ada6e86c7129feed371049e77c5451","datavalue":{"value":{"entity-type":"item","numeric-id":2441714,"id":"Q2441714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$622421EF-0D25-49F2-B45D-90B027AA6C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$91BFD626-2E66-4D82-9820-7F787FC2CEE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$0C2338D2-41C2-4EEE-828D-D92B9B09387E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-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":"Q2894267$02EB154D-EB44-404B-B8FD-0A4B3A608CA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$68F5E00F-517E-4896-BF59-DFA4C7E147BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$6E313A63-435C-49B4-AAC4-66366E5642AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60f1bff624b675c4501a1e9afad5b878cc7298e6","datavalue":{"value":"6051079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$58969434-EF4F-4B72-BAA9-84D65A36B223","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$AB5BBC20-2EFD-4ECA-84EA-AF4B9BBD3F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$0C458A49-C8A8-4BD0-803E-CB30A1F69D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$9239D8A5-EA7E-46C1-B86D-FC1A9AE202CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36a00a675e842945d4f0b12a80fc4f477fb24f91","datavalue":{"value":{"entity-type":"item","numeric-id":21897,"id":"Q21897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$3F2E40F7-E401-4143-B2C8-8F416CE7BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58e47a588502216ced9fceebd5c31f566ecddf77","datavalue":{"value":{"entity-type":"item","numeric-id":21896,"id":"Q21896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$95071322-2F43-413B-BD89-992673458F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95e49c761262888f9ed7c2fb823acf2035fbd96a","datavalue":{"value":{"entity-type":"item","numeric-id":24797,"id":"Q24797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894267$4757C718-75F1-46E9-BE63-E5FC874EA448","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":"Q2894267$0B67853A-7FE5-4F6A-98AB-DB0B7971DBFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0add5ae07448f032279d4f7c31b46d3721144d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894267$C0393A77-9690-4A33-B31F-C1B67B4FE9A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4fbd93d3e939e175e75d61f964839c1c8ac9e9","datavalue":{"value":"W342816535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894267$8224CF77-8FDF-4D00-98B3-30AE1F817E5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea52539aa9dd5eaed3f5736d09e425d92306f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5136340,"id":"Q5136340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9976edb309cc2a2b83f8d4955a6209b0f84357f","datavalue":{"value":{"amount":"+0.86239326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$3CDF919F-DD9D-425D-A677-A4A47B1AEC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff1ded4edace3df1b4a8100bb76c409e5844d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0f79b9107a8e671986bd2a43989642f60a4c40","datavalue":{"value":{"amount":"+0.8437361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$C270B9A2-1C33-41E5-9B21-1E06B04155A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1ae03ae953e6fbb1b092cac2398df59acec03f","datavalue":{"value":{"entity-type":"item","numeric-id":5219916,"id":"Q5219916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fd8ddff26b2d4e9435702abc61f1c7f728b59b","datavalue":{"value":{"amount":"+0.8385211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$F85344A7-600F-40B5-95ED-F036FA71BB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70dc527cbb707cda13b726cf893f78d5a3eddf49","datavalue":{"value":{"entity-type":"item","numeric-id":3587404,"id":"Q3587404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e701edceabd61a0afb3716f88ebb4d59e873fd10","datavalue":{"value":{"amount":"+0.8374336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$A17B98B8-ABD4-4650-87FA-62BD099D59ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d73f51083484d5eaf3ec14552b0d0709892b9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3518284,"id":"Q3518284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5305ae459c95328a881861831a24da7c0d5e460b","datavalue":{"value":{"amount":"+0.83630455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$8AFF70E7-906A-4547-84F1-D91DCD8BD09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59c4cc8f5637ab9d08ef30da66b8bc6a90af59a0","datavalue":{"value":{"entity-type":"item","numeric-id":4412831,"id":"Q4412831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ca41f857e0874941c4690a679cd340dd9c0fa4","datavalue":{"value":{"amount":"+0.83589226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$7BB9DDCB-CE1E-4A5A-AB61-132BB608E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767e8d77c120720ba34d5236c6f2760ccb7e17af","datavalue":{"value":{"entity-type":"item","numeric-id":3503900,"id":"Q3503900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8963c855263b8a8c601b0cc318bf8f10fa046e8c","datavalue":{"value":{"amount":"+0.8344801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$5D788335-BAC0-4BE0-AB60-547F1E827C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af711ed571253812b0a7d45eda7dd0b1fe9ab39","datavalue":{"value":{"entity-type":"item","numeric-id":4723311,"id":"Q4723311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f004b6e66ce89e0042f6257cf56fef1c1453ab1e","datavalue":{"value":{"amount":"+0.83382905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$31CA40BB-AE49-432F-BDBA-0C57118D059C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7426a9ef8b8cf0a12f271337da0d9aa223fab57d","datavalue":{"value":{"entity-type":"item","numeric-id":5758053,"id":"Q5758053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7dbf9d05f63b3ead43fd60fff029e5b6c9f9384","datavalue":{"value":{"amount":"+0.8327005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$79D52B7A-5B4E-4BE4-B65C-68F43E86FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f249d046f809b4dfe387d6bf4b32e4b27214a863","datavalue":{"value":{"entity-type":"item","numeric-id":3741087,"id":"Q3741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac1d4915723a25ee73a110971118d65d499a678","datavalue":{"value":{"amount":"+0.830865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2894267$AEE85E65-0734-4720-8DD3-8A8AAE6239C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894267"}}}}}