{"entities":{"Q3503899":{"pageid":5533803,"ns":120,"title":"Item:Q3503899","lastrevid":55938871,"modified":"2026-02-21T08:10:24Z","type":"item","id":"Q3503899","labels":{"en":{"language":"en","value":"Backward and Forward Bisimulation Minimisation of Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5286073"}},"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":"Q3503899$0D8EC25A-7525-4985-B864-3DEA5DEB3E3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d99f4660d2b64617afd2e2727fac7d27b3c45f6","datavalue":{"value":{"text":"Backward and Forward Bisimulation Minimisation of Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503899$10C4BBD9-3D8C-484D-8A05-94EB45691D5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f79d4b3c1015b7a44deaede86321c6eedcef5af0","datavalue":{"value":"1139.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$54BC25C8-82F9-4DC1-87D2-73A699E18635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3da0593e1a8cac5ebae360907598700d53765bf5","datavalue":{"value":"10.1007/978-3-540-76336-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$CFC80F90-C6B1-4B62-BBD0-46C81D85559B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c83cf8e9a44dbbf3b3dff09993fcb7be635e7fe7","datavalue":{"value":{"entity-type":"item","numeric-id":766164,"id":"Q766164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503899$1BB80B75-8C40-4A39-8444-7E37237CDF56","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":"Q3503899$00AE5C7A-713E-445B-AB17-F54EFF74F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"337283bf1c4a2952ac4e645ed96eb66eae135a37","datavalue":{"value":{"entity-type":"item","numeric-id":840777,"id":"Q840777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503899$7FAFD2F5-AE1B-4CA5-9BBE-59C50D8BEE4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503899$DF506D7F-7E1C-4607-B318-F82CA4341C0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f425c9fa8666905f3e65543eb13845c1c7986a","datavalue":{"value":{"time":"+2008-06-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":"Q3503899$887F1F42-BF87-4079-BD81-CF3358BBA4FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$1C89B8CE-1B0E-47F2-A34B-87D186D07A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$61DCE209-8547-4549-AB3E-EA1B6653E41D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34dbc0766462c282142b02cbbf499f20213e78c3","datavalue":{"value":"5286073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$41287E43-6911-4E5A-A53C-0C27F7B6E909","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503899$8724CB55-F1DA-4CE0-A3A8-B6FA4E3FF530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503899$98216454-059E-4830-B668-F87079701555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae8844fb4afa35253d54126900473b330ca958","datavalue":{"value":"minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503899$BCEDC273-233D-4C55-98CF-1D9F3639DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503899$36A7D922-899A-44CF-B37E-DCD1E74D55E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"041a9c6037595b96934854883425881695f41c9a","datavalue":{"value":{"entity-type":"item","numeric-id":14052,"id":"Q14052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503899$F9819B0B-43D9-4685-999A-8E2E19B80277","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":"Q3503899$A45A92BA-C4E2-4F3C-930B-75ADF321D685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f674b98d1964e0317e114954f1eddab167105306","datavalue":{"value":"https://doi.org/10.1007/978-3-540-76336-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503899$071053A8-6303-4BF4-9AD1-150BD3885FD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0a01a8d9d3b4178604c9b5ac3c1de6a2c60e4b7","datavalue":{"value":"W2117952194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503899$3949C81A-494B-4694-B55E-F0C5D0EDB081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dafacd1dab13b2508b85d760c22dc60b8aaf881c","datavalue":{"value":{"entity-type":"item","numeric-id":840778,"id":"Q840778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df2b6463b57c53fcd886711c0db7c84007e964d","datavalue":{"value":{"amount":"+0.99686944","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":"Q3503899$BC0D6ED2-1856-4D02-9497-130B04482640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3f2d4eb311d382e89bd2f23da4bb962dc4fc45","datavalue":{"value":{"entity-type":"item","numeric-id":3503087,"id":"Q3503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c0b0e1fb62a863dd845c81df1ac8932b3c7151","datavalue":{"value":{"amount":"+0.96440977","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":"Q3503899$27FCF79B-F742-49AB-9793-B095E5E70BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2a7f6bb45adad9022e0740fa9b9fc314333ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5757232,"id":"Q5757232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c0b0e1fb62a863dd845c81df1ac8932b3c7151","datavalue":{"value":{"amount":"+0.96440977","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":"Q3503899$B7035B7A-02FE-490D-8ED0-298410732983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf7c24c848140715b3c99c838b69e135e6285d7","datavalue":{"value":{"entity-type":"item","numeric-id":5428234,"id":"Q5428234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c810210ba806523dc359a490dd9f5fb362d819b","datavalue":{"value":{"amount":"+0.9323414","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":"Q3503899$375D634F-891F-4C5E-9EFD-A48073FAFADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd50e4a14d885e5732d0e3164e135646e05c05d","datavalue":{"value":{"entity-type":"item","numeric-id":3635993,"id":"Q3635993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e390c87826b5b9baf1146fc50ca74df949eeed","datavalue":{"value":{"amount":"+0.9115573","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":"Q3503899$A6193552-3442-40C3-BFB8-28F500886D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fefe700b9dc3ec66d3af12d0eaa3acb6f0e0966","datavalue":{"value":{"entity-type":"item","numeric-id":3602816,"id":"Q3602816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9203af9984b11fbfdd11e4ed4eaee60be092e6d","datavalue":{"value":{"amount":"+0.9000908","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":"Q3503899$712B464F-A168-43B6-B6F0-5620E6E5E846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca72cd043eb9249036e07a7bf19c19bb95918534","datavalue":{"value":{"entity-type":"item","numeric-id":3395139,"id":"Q3395139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9203af9984b11fbfdd11e4ed4eaee60be092e6d","datavalue":{"value":{"amount":"+0.9000908","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":"Q3503899$E40DF1D8-29F4-48C2-9112-3692E9CC88AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60fe8acd7c8978290130e1deba619ba56ee2f36","datavalue":{"value":{"entity-type":"item","numeric-id":4635952,"id":"Q4635952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0163edeaaa1fc940efab48069dd9e0b463a0c788","datavalue":{"value":{"amount":"+0.89439255","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":"Q3503899$5CD2C44D-F10F-40CC-BD27-4364FD9AEDA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503899"}}}}}