{"entities":{"Q5757232":{"pageid":7786783,"ns":120,"title":"Item:Q5757232","lastrevid":55938880,"modified":"2026-02-21T08:10:30Z","type":"item","id":"Q5757232","labels":{"en":{"language":"en","value":"Bisimulation Minimization of Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187957"}},"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":"Q5757232$64B08370-9A6E-4827-BD4B-7A19CC6EE3C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de317c2ccee6a6d61a43662c8a538403b75e69b4","datavalue":{"value":{"text":"Bisimulation Minimization of Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757232$007073A1-09DD-41C1-9AD7-78AF1EB7C633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8055a4aa0d0f4f825961e255189f4f408e37967d","datavalue":{"value":"1160.68395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$9D151222-FF3E-47C7-8D57-238ECED52883","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c77c81b381274d08bf5bd160dd79e2128cba0240","datavalue":{"value":"10.1007/11812128_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$CE7BA659-6420-493E-B0C6-0B41FC55F47C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"499866ea58d63e98e2ebe269d3560511b0b5066d","datavalue":{"value":{"entity-type":"item","numeric-id":3395138,"id":"Q3395138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757232$7A17110D-B61C-45A1-AC15-1B7228C65D9B","rank":"normal"},{"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":"Q5757232$A1772E37-B4CA-4219-9410-8AB1A59CEDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757232$C859B20E-DF47-4BF8-886F-44DB0085B541","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":"Q5757232$82C7016A-E9D6-43BE-91C2-EFF1CDB1A108","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757232$0C793A28-6D7E-4DAE-8A24-3C863EA906A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$86068116-3FDA-419E-A339-E8515920CE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$EAA0AEC2-FFD6-480B-B1A4-6568DAA84755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7141630dba8d9b7e49d553f95f5c1eceebc6c913","datavalue":{"value":"5187957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$0F89E403-1A73-4EE1-B7DA-B25BACE33454","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":"Q5757232$99B22AAA-A931-4E74-80B2-C76CFF2006FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7c2d947771852fc8914374661b8fb60aedde50f","datavalue":{"value":"https://doi.org/10.1007/11812128_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757232$AB4BAB1E-A579-451A-AB42-A3F0F3C38028","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae762ff27db3f777b360e846b7a36bc6f2c911cb","datavalue":{"value":"W2141408630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757232$8229A788-DDBB-4DC3-AD2F-EC0C832DD1CE","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":"430090a267afc88ca3db14cf90fc5660b85787dc","datavalue":{"value":{"amount":"+0.96677625","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":"Q5757232$E53B69B2-BB08-4753-AF4C-2D060AB777A5","rank":"normal"},{"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":"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":"Q5757232$2D4937AE-8E9A-4EAB-B58C-8FDAF0748F53","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":"70adaaddda53bb61e86da8ee21d728a3aad6c92d","datavalue":{"value":{"amount":"+0.9580222","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":"Q5757232$09FCA908-A6E2-4BCA-B938-C9E20A76C538","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":"e9fcb1387646ba3dc64f8f80a4db767ec0b6c5e9","datavalue":{"value":{"amount":"+0.9381166","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":"Q5757232$FD40901C-FEA1-4CC7-B9D8-19334CFFA13A","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":"278bf1a5ce6845fa3b92f8de1d3d56046c9aa50e","datavalue":{"value":{"amount":"+0.9276434","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":"Q5757232$5A03ACA9-9D26-446C-8F65-4D60BD143D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81c6c96aaf7e4aedba34383d73b780c45424cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4029594,"id":"Q4029594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1749464c3a19d29f0200738a5a719af62006b87","datavalue":{"value":{"amount":"+0.91541994","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":"Q5757232$998246C7-969B-44B2-BBDB-1ABEF588A9C3","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":"45b4840478265a400b285223da847871fde1c5a4","datavalue":{"value":{"amount":"+0.91360533","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":"Q5757232$5603C5A6-6204-405C-8D8F-DBCDF3271A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757232"}}}}}