{"entities":{"Q3395139":{"pageid":3405842,"ns":120,"title":"Item:Q3395139","lastrevid":50751350,"modified":"2026-01-15T01:09:46Z","type":"item","id":"Q3395139","labels":{"en":{"language":"en","value":"COMPOSED BISIMULATION FOR TREE AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597923"}},"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":"Q3395139$41134587-DAAD-46E8-B42E-B47D210698C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2423851b49a374f342803364a8fd3fa02d553f0e","datavalue":{"value":{"text":"COMPOSED BISIMULATION FOR TREE AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395139$B97B4AF9-17C5-407C-B9E4-375077DE9A62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e7cf03922aa406072fe305cc070f35c87216a0b","datavalue":{"value":"1176.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395139$EB93EFB7-E7B9-4D91-AE2D-FA73CE260B96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ce34cd42e6a6948f4d5b9bfcc6a70b6a259c6d6","datavalue":{"value":"10.1142/S0129054109006814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395139$BC13BCA7-D086-4287-A40A-5727E9ECA672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395139$02FDEFEB-00F9-4B08-8A55-23298BC59A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395139$D8F39A14-A62D-4811-99A4-FD483D4D6A74","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":"Q3395139$6AF05B2E-44B1-4831-A668-F0A132687D18","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":"Q3395139$1E24ED81-468A-4809-84B8-367D52FEFF8C","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":"Q3395139$0C35E335-A7A0-4AE2-83E0-AB74A1A5872B","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":"Q3395139$06A4879F-9162-4FE7-97D3-716E9B1F0B07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50fecf8675e1e3b5d160300ecbc650fba5c02aa","datavalue":{"value":{"time":"+2009-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395139$54015989-140E-460C-AE9B-ADAAD2144C28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395139$518A0101-4B04-46EC-A7F4-14EB9B5AD2AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68a4caf0e1a51c377958c1f0d056fab460865c05","datavalue":{"value":"5597923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395139$A8D2BE02-1A6D-4DB5-A719-937BD02F58CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ba89a1196230731f0f761eb736b27ab430ac69","datavalue":{"value":"finite tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395139$BAE15F7C-04F1-450C-8D70-19CED2CD52E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395139$A334C367-3306-4508-AAE3-8847644138FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f95e606128bc14fa7512200099baaf2c1faa4d","datavalue":{"value":"size reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395139$6557CAC7-7ADF-46FB-8F4A-951C702A5280","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":"Q3395139$BF494599-C19E-4FBD-AA45-A6D2742D630E","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":"Q3395139$20A12566-2624-454D-B96F-6B71B110D355","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":"Q3395139$5606F344-CAB6-4394-82F4-79C857F0B9BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4abba5f75d94f92230e7ed8ce53a98793a2fc34f","datavalue":{"value":"https://doi.org/10.1142/s0129054109006814","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395139$ABDCE629-6AB0-4A63-BC19-4DD826BE85C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"675ec0c1fdae4c4cfd0e1cfc20689a19068d294e","datavalue":{"value":"W1976891319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395139$7B2EF400-1805-42B1-A6A1-9AEA53259393","rank":"normal"}],"P1643":[{"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":"4e1a6e67b84250c8fb23d94b84e0130c92309210","datavalue":{"value":{"amount":"+0.9825217127799988","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":"Q3395139$271CB674-2FA9-42B1-9B47-FB289543B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2ccfc943378c1be63c0d6e664a3118f525cd08","datavalue":{"value":{"entity-type":"item","numeric-id":5458323,"id":"Q5458323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca521a2673ab597d2274d0091818164b0ec35a1","datavalue":{"value":{"amount":"+0.8304121494293213","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":"Q3395139$07A01E0A-D8F8-434F-8F37-97238281595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3faf875e68ed80acbbb170b525b29509c3471ed","datavalue":{"value":{"entity-type":"item","numeric-id":5170274,"id":"Q5170274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd6785547b371c50d551a11b300935af5cf184e","datavalue":{"value":{"amount":"+0.8290552496910095","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":"Q3395139$50963CAF-8329-4565-9390-762C02D952B2","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":"ac46be17732173a0933cf7dc69a3a178c98ea145","datavalue":{"value":{"amount":"+0.8120597004890442","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":"Q3395139$34F0C1C7-A48C-4B16-A350-761A6BE792D6","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":"106a673c67b7edac814d8458a014f6af0192cf4d","datavalue":{"value":{"amount":"+0.810681939125061","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":"Q3395139$4C1AAE23-28D3-4A1D-A2C5-EB944072BA1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395139"}}}}}