{"entities":{"Q679436":{"pageid":681285,"ns":120,"title":"Item:Q679436","lastrevid":63534372,"modified":"2026-04-11T13:49:31Z","type":"item","id":"Q679436","labels":{"en":{"language":"en","value":"A characterization and nearly linear-time equivalence test for \\(\\mu\\)-branching programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002531"}},"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":"Q679436$E622BB4F-CD9C-4C36-B612-36637BAF7193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a31f0b9a9d21b2be0943c1eb9e8351bd9c56d9e","datavalue":{"value":{"text":"A characterization and nearly linear-time equivalence test for \\(\\mu\\)-branching programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679436$0F2340D1-6852-4296-B4E9-9CEE293AFBB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"216649639e579985f774f1c1e511e81eaebf92ab","datavalue":{"value":"0870.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679436$A3748317-19C9-4106-93D6-4DC50685A9A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679436$5BEBBD76-10AB-4E66-B8A3-5EF569343C11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679436$3EFF1E92-9933-4FE7-9E5B-1491AD0FB811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d3a5e5496354873fc9041cf8583a3f1c55aef95","datavalue":{"value":{"time":"+1997-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679436$2F4F092D-DB53-4BAD-8E99-AC90A674A963","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679436$37AF5B50-5F6F-47BE-BFA3-38F5548E0F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679436$DB45815B-9B62-49CA-8393-038683B76D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a81293ed1e8c6af1196e5694ebd8ef2813064222","datavalue":{"value":"1002531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679436$8CE02C89-D9B4-428C-BC5C-CCCD08A1DA9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q679436$D8D3DDF9-6E35-417D-880B-D4CAAB72F6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b150bb25a70bfcdd9f8a94d03b3a9183e89ce623","datavalue":{"value":"\\(\\mu\\)-branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q679436$984D4300-6531-46CB-8CE0-52FF672575E0","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":"Q679436$A61D6389-88AD-4AC1-AB89-D000E3129E6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340d7a7393a884660e0ede77f2908899ac97e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2011643,"id":"Q2011643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b635f265fd4fbb5dd527c11daeddf6a2c66abd73","datavalue":{"value":{"amount":"+0.7229992151260376","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":"Q679436$2A0E4EB3-FDFD-4CB2-A96B-F253E293DFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621763d2bfb992ce18e9e3845d29725f48ce8a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad5a8919829528c21512c315be030d7d8f08489","datavalue":{"value":{"amount":"+0.7109731435775757","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":"Q679436$0E07254E-A723-45A0-8D3D-2AC18F72ED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8669cbcf37c61d9bffb64756c4a730e7f95140a0","datavalue":{"value":{"entity-type":"item","numeric-id":1816743,"id":"Q1816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b733fc00b45b2d7e3635ffdd4c23119c25836f","datavalue":{"value":{"amount":"+0.7044091820716858","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":"Q679436$2B87A2D9-0572-4BC5-9BE4-F1264075B271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e8ca2ccce0019f00dde64e81fabd3119796a72","datavalue":{"value":{"entity-type":"item","numeric-id":3991212,"id":"Q3991212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab5fd4e2026c91dcb85129ebead3a49c7400d31","datavalue":{"value":{"amount":"+0.7035942673683167","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":"Q679436$4E194995-51D7-4EB1-A68F-3670F2ECC879","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization and nearly linear-time equivalence test for \\(\\mu\\)-branching programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_and_nearly_linear-time_equivalence_test_for_%5C(%5Cmu%5C)-branching_programs"}}}}}