{"entities":{"Q3477969":{"pageid":5499792,"ns":120,"title":"Item:Q3477969","lastrevid":49379251,"modified":"2026-01-07T01:42:23Z","type":"item","id":"Q3477969","labels":{"en":{"language":"en","value":"Deciding Equivalence of Finite Tree Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4147522"}},"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":"Q3477969$118EEB5A-EF5F-41FA-89B5-6EC78B4FD202","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e434a6be22135b9146d22fa6bb83e48ef57f1b2a","datavalue":{"value":{"text":"Deciding Equivalence of Finite Tree Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3477969$3849EEC1-B45A-422E-80D9-57E993993295","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d89617728e2727b3c0b5b5d516001e85effa5842","datavalue":{"value":"0699.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$1CE1258D-D4B1-4835-828C-89FD7F6B997A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3469672d4bad73d524352a3f7a202d3766536ddb","datavalue":{"value":"10.1137/0219027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$3E691A49-04A0-4A92-9F9F-856512D42245","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477969$C95AEC66-0EE3-4A7D-BC2E-A362AFB1D466","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3477969$DF019FC3-96E2-41C8-B052-6E5D1AC2BED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3477969$39A27D33-2CA1-403C-B260-69345B2EC1E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$A9EEA504-C288-4C3A-9FE5-28F90E761890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$97DAF74C-54B7-4EC2-8F0F-A5F0D0ED6F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$2B131A75-1884-4C75-8386-E15B706CE65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$E15437D3-9138-4360-8C73-98DAF49CD9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e245770746ec6b9b50f6632daa02dbae3582e03","datavalue":{"value":"4147522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$61D18458-561D-4A15-B837-93B76F34733D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477969$AEE64286-15B4-42B5-9C02-403A9A4116ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477969$2478C5C8-DFA6-48C5-B8F8-5A76E9B256AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477969$FCACC8FF-B1EF-49E2-B6DC-36E692217810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ba89a1196230731f0f761eb736b27ab430ac69","datavalue":{"value":"finite tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477969$2B0D86AE-6807-4599-BE25-60A52484359A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dece2b67a16f221be015e3ceddb4de928543fdd9","datavalue":{"value":"ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3477969$91F7DF77-15D5-4891-8B89-29F7BC61CD0A","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":"Q3477969$4DF86339-4C79-4092-A662-2553B16831D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8fb17fb1823544980516571789a583f232aa90","datavalue":{"value":"https://doi.org/10.1137/0219027","type":"string"},"datatype":"url"},"type":"statement","id":"Q3477969$4E06FE35-E6BF-4514-A738-EC322CB12E63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccecf99df92bc2661cd6e08833b5c2f79b9a5493","datavalue":{"value":"W2019789808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3477969$17D55146-CEFC-4831-8243-BE3FF5CC450F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87cdfd11f0eabca02afe81bb5a18c3cc1d117d","datavalue":{"value":{"entity-type":"item","numeric-id":5096180,"id":"Q5096180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de1f228656e9ef3d6602b979c48c20167ea0279","datavalue":{"value":{"amount":"+0.9854073524475098","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":"Q3477969$CF1439E1-9A3C-4F0B-AAD3-F8F7C2692188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e72c7edcc30df95f747a5198b2dc749f809b07","datavalue":{"value":{"entity-type":"item","numeric-id":1825038,"id":"Q1825038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adc2ac7ba6c944d74029608502134bd4c33efef","datavalue":{"value":{"amount":"+0.8638819456100464","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":"Q3477969$3012FB9E-8249-481E-A3BD-981F34A8A0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0a25b7bd9a6bd1f148d21100e1a01d416ddeac","datavalue":{"value":{"entity-type":"item","numeric-id":3974881,"id":"Q3974881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b246ba219c5d3b97aef1b7a3f4a599961531fdba","datavalue":{"value":{"amount":"+0.8512752652168274","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":"Q3477969$4D53942B-2B8C-4D0F-B240-141722A1B6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8f0a7846eefd683c1b477943a2cb8a17a0b29e","datavalue":{"value":{"entity-type":"item","numeric-id":1060562,"id":"Q1060562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88aa4cd602c6c0aeb8efd8efd71d5b0e781537b","datavalue":{"value":{"amount":"+0.847949743270874","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":"Q3477969$3471D0E9-6D44-4650-B30D-43D750BF1B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aceaea1e0d6455a4678346a02bbcb840fa574bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4793134,"id":"Q4793134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e49e21365da7810ed40eb3d5d9588c418319911","datavalue":{"value":{"amount":"+0.8293823599815369","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":"Q3477969$567328D8-CE85-40C6-A5B4-D97D5720DBAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3477969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3477969"}}}}}