{"entities":{"Q3503087":{"pageid":5532990,"ns":120,"title":"Item:Q3503087","lastrevid":80986541,"modified":"2026-05-06T17:27:25Z","type":"item","id":"Q3503087","labels":{"en":{"language":"en","value":"BISIMULATION MINIMIZATION OF TREE AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5277205"}},"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":"Q3503087$3CD29CE0-A82C-49C7-A3B3-94451890DF6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"695b5b9f6e46f7563acf62d0e827e1048f9bec51","datavalue":{"value":{"text":"BISIMULATION MINIMIZATION OF TREE AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503087$CE53B63F-4FD5-4F89-A4E9-0CECC09BE897","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48b844e37dbc6992713016547598ad9b8c595ef5","datavalue":{"value":"1143.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$D3E3EB89-8F62-4E6C-A60B-3C6AF55B27D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96f0e5c897566334a36e763404a0422b742ef36f","datavalue":{"value":"10.1142/S0129054107004929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$6004C971-BB8C-4158-8FFC-B28812F1E4C1","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":"Q3503087$C5699CB4-9CDE-4B0F-939A-2D899AA5A65A","rank":"normal"},{"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":"Q3503087$600F3130-B843-4AD2-8535-634A48BBA68D","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":"Q3503087$CBEF1DE1-FAC4-42AC-9C4D-AAE1F6CE960A","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":"Q3503087$905EA2C1-BD24-479E-AB2D-59B41CD51ABF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9210b7f4387a8a6dc8e8fac3d9ed99451b2d14b5","datavalue":{"value":{"time":"+2008-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503087$6FF8C090-75C1-415B-834F-8F21B133962F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$BD1D2D80-53D0-4026-91F8-48D4D445FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$D25E6170-2696-4134-A6B2-F784774FF740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0580de837c89a6ae22c58e4ee3355a0edc841e12","datavalue":{"value":"5277205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$5527F02E-98E5-4620-A973-A3E0FF9B0EE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503087$53A39BCA-55A6-4993-883B-0BC20E1195A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503087$BC6D6991-A17A-4A48-ACE3-EA8D3058C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503087$95EE14A5-2861-4D8F-8865-A5DF9424523E","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":"Q3503087$CBC04474-2565-4BD7-8DCC-B16D9C665501","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1271be2462d26865fe1bbf9317b8786f46d5a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503087$111D1D0B-3B9A-4FB7-A851-38C8AA96AE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503087$FDC2DC03-174C-4711-8FF9-0A4B4B871BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7deb449e4da90a2bb649c02f59d9e307faba6b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4337430,"id":"Q4337430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503087$048C75A1-5663-45EF-A756-6C3A80D64578","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":"Q3503087$D11823A7-A089-46D5-86FD-716F9A77E3B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dce28352a2676e9cf3f9fd6cae408faa284af2e4","datavalue":{"value":"https://doi.org/10.1142/s0129054107004929","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503087$E32AE3D9-0CAE-4EFC-992B-8C7E2197C343","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"127c5aa810b441de49efd40e85d4e86d860b760e","datavalue":{"value":"W2118707006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503087$94ECD596-0704-4101-BC65-AE88E1B5E36F","rank":"normal"}],"P1643":[{"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":"79c37a2d33463ee31db569e813728c9f49c167f4","datavalue":{"value":{"amount":"+0.9869256615638732","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":"Q3503087$EF791FDA-9AEC-4BE4-975B-89B2D5978417","rank":"normal"},{"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":"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":"Q3503087$C143478F-7734-4B91-91A2-4372C044C880","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":"0c9926b3a80a17d9dd52fe7e43582b208a90466d","datavalue":{"value":{"amount":"+0.8797293305397034","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":"Q3503087$D45A0245-BBEB-4F9C-932F-0D01C68BE4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89856e5c55ea20e75034028a5c1b61e0af22a9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5897663,"id":"Q5897663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08e39708fb73537581123a45f7730dfdcfdaca4","datavalue":{"value":{"amount":"+0.8418551683425903","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":"Q3503087$8EAD3B63-5198-4C43-A688-A4BFE792B7A9","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":"1e52477fd76ce157710f76ef509f3761f615fb8b","datavalue":{"value":{"amount":"+0.8376568555831909","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":"Q3503087$C212A24E-0871-4FD5-9AAB-60FC8CF805ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BISIMULATION MINIMIZATION OF TREE AUTOMATA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BISIMULATION_MINIMIZATION_OF_TREE_AUTOMATA"}}}}}