{"entities":{"Q840778":{"pageid":842626,"ns":120,"title":"Item:Q840778","lastrevid":64736472,"modified":"2026-04-11T21:53:09Z","type":"item","id":"Q840778","labels":{"en":{"language":"en","value":"Backward and forward bisimulation minimization of tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603655"}},"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":"Q840778$CE360109-1365-4268-BF58-09109E835BD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd978a78482b6c0319862586f85f572cd5f905c8","datavalue":{"value":{"text":"Backward and forward bisimulation minimization of tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840778$3FAC2E1E-C06E-4682-84DA-A19EE48A9459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"537bacf865c307deea313990cf6515c3b28f3bd6","datavalue":{"value":"1194.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$E96070AE-85E6-470C-8F6E-5182D448AC66","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":"Q840778$0C526F2B-F1B1-4B33-ACF5-A6B5D1F5B093","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":"Q840778$6EF03E4C-21F4-468D-BB81-FE1BB2DD8309","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":"Q840778$4E58F6B7-B73E-4F23-8CA0-DD6F9C606F2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$8B08EB2D-BE50-4C25-A9FE-6E63B07DA87F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840778$253FD7D3-8E72-41C1-81D4-0798239891EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$A3218941-0876-41BD-8047-BC7596D027A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$2409E6F7-3DD9-41B5-B351-3D0499DE1153","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55457394d12ebd7fb2651879586cc294ac7e042","datavalue":{"value":"5603655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$33F927C7-4397-48D9-AB84-0095C0A65497","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q840778$8DB9C85E-28B1-4170-9419-0C70AF52CF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q840778$DE680ACA-8845-41A3-BA66-E35C418F79D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q840778$6EA54466-15BF-415E-A028-B91F2449093F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q840778$E57CB23E-F3E8-4022-A99B-5906653EDC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22839511b1b2e88121e4d8d7f81e307f8961a75","datavalue":{"value":"tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q840778$94B14F14-3E83-4B1A-93B3-3773C3C26B7E","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":"Q840778$70AF34FC-E6D2-492F-9B82-E7B06BC7BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36fa141f751dccf010b9f64004a72053554ab246","datavalue":{"value":{"entity-type":"item","numeric-id":20038,"id":"Q20038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$1CEA2577-4501-442E-A38C-99897C6EDD1F","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":"Q840778$739EF395-2CD7-4F59-B9B7-DB0F0A926994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"713e8999553058ff406e2389bbd202ab15db756b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.03.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q840778$66D3DA43-5CE0-424F-9443-5476BF8E2D3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be466882297c606269adc2b2136bc70531271dde","datavalue":{"value":"W2089409100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$1F1BEC8B-7223-462A-8877-FBBFF330D00D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$E4D9BC5E-3A71-412B-9FF8-3E6CB41805EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a27dc96f0a65e06d5ffc24907f33faeedbabbc5","datavalue":{"value":{"entity-type":"item","numeric-id":5710693,"id":"Q5710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$D8785699-D2F1-47DE-B560-0D6E7D236C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f43a199ed38bb42c6c9191aa2cf2011c278a70","datavalue":{"value":{"entity-type":"item","numeric-id":2641868,"id":"Q2641868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$A4156C91-A0B1-4481-AE06-116D2048B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1e33f3350b731e2f34864bda3b1ffb9e25f467","datavalue":{"value":{"entity-type":"item","numeric-id":5428232,"id":"Q5428232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$E8319C7D-F0A8-4D15-9E35-970983B9245E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd0724dda115b26cb0e5a862c615c88ad9e077b","datavalue":{"value":{"entity-type":"item","numeric-id":5757232,"id":"Q5757232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$0EFDB3F4-E186-4DBF-86DB-652E2F75B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d77dbdc203369b5b58da54f9364dfa0f285eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$78972FA5-9835-444D-8A41-38DF8225AB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$D659FCF0-4F17-44C8-AFDF-CD9CE1822358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$6A648CB4-1E42-4C1A-9936-6B46309E5D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"177b17b6b7746ad7f61966dce7fbdd950c309f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3602816,"id":"Q3602816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$6EBE92A1-351E-447E-96D4-247B25795E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5ef03ca1784e11a8064f6b468622ab4030a00f","datavalue":{"value":{"entity-type":"item","numeric-id":3503087,"id":"Q3503087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$53E67377-EB0F-49DD-AB14-395B8469A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$8B2C7BFE-AC40-455B-B924-116D9444D8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$634C71F6-9A3D-45F8-962E-25A01822E573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd4c2af216429248e0dacec37030185cbe535dc","datavalue":{"value":{"entity-type":"item","numeric-id":3503899,"id":"Q3503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$AAC05FCE-85BA-4839-9A99-040C274EF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd67de75f050e420c5c8b79ea64bbeccf467f90","datavalue":{"value":{"entity-type":"item","numeric-id":5757236,"id":"Q5757236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840778$018F2674-E3E3-42C1-874B-6EAAE6984A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd6333832509d0af25f50896de4aa53436492eb6","datavalue":{"value":"10.1016/J.TCS.2009.03.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840778$C45BD014-002A-4E63-A9EB-07E3C7C5B7A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20586a6999569c966b4342103db3ada966d472aa","datavalue":{"value":{"entity-type":"item","numeric-id":3503899,"id":"Q3503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23f2256ca5cffdc4a540ea889f42736ab472578","datavalue":{"value":{"amount":"+0.9859852194786072","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":"Q840778$EB91C91B-BC02-4BAB-B100-7F5349A7FF9E","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":"e668fa906771eedced75c8f19f1a231e0d76893f","datavalue":{"value":{"amount":"+0.9011907577514648","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":"Q840778$73A3E5BF-3709-4A8E-ABE9-EF38802DE6AD","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":"c18fe31b6256862ee5393f7e93824d330972cd66","datavalue":{"value":{"amount":"+0.8872510194778442","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":"Q840778$6E9D047C-62B1-43B7-BF0E-F876DB0E2427","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":"697be140b0a87669e510bce49cabd2209827926c","datavalue":{"value":{"amount":"+0.8638501763343811","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":"Q840778$D8C70430-9B4C-4356-87B7-110D86953675","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":"74361037a2f8ddaf11aafbe303ee0327f8dd26d7","datavalue":{"value":{"amount":"+0.8270906209945679","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":"Q840778$3615CC1D-26C3-46F0-9CAA-499D4DD13CC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Backward and forward bisimulation minimization of tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Backward_and_forward_bisimulation_minimization_of_tree_automata"}}}}}