{"entities":{"Q4302284":{"pageid":6331885,"ns":120,"title":"Item:Q4302284","lastrevid":81660413,"modified":"2026-05-06T19:03:05Z","type":"item","id":"Q4302284","labels":{"en":{"language":"en","value":"Subquadratic Simulations of Balanced Formulae by Branching Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 618160"}},"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":"Q4302284$3298E0A4-C751-49A4-B0EE-3B578E63528B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"532ac617206de3c2e1482aa8fadbbbeec0833bd3","datavalue":{"value":{"text":"Subquadratic Simulations of Balanced Formulae by Branching Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302284$C0993F9E-615D-4DD3-8AAD-A74D61AEAA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a8c988f569cbeda5e482938a9434cb5d22e010","datavalue":{"value":"0809.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302284$9700DFD4-F5C9-4DCA-AE10-AA339C7D4E6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d77dd76c3a0856a63b525b367bc0a5c7e77a6049","datavalue":{"value":"10.1137/S0097539790181336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302284$CC5A1772-2E12-4AD8-B287-FAB4A6C216AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"153f087410d6445d3ecf9b2f61b070cffa67488f","datavalue":{"value":{"entity-type":"item","numeric-id":269464,"id":"Q269464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302284$623B8067-37CA-4E83-A1F5-CCC1B5AB3756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efc08bcb427d9602fc487f25b09b09349687cb3","datavalue":{"value":{"entity-type":"item","numeric-id":181990,"id":"Q181990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302284$0197B117-ECCF-4951-9B51-2BB0163C3264","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":"Q4302284$DF0C48B8-9AB8-4522-9F03-DD9CA7608929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e7f38426875aa21cabff2c7af836de030766fdf","datavalue":{"value":{"time":"+1994-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302284$644153DE-C65F-43D5-ABB7-8856966A3029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302284$489F1581-06FC-4613-86C4-CC11CBD7117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302284$F5396EB7-F984-4111-A993-623CFD657646","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833bb4eb108dfc84e69a7e8a6ac6638760cf53b9","datavalue":{"value":"618160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302284$598274D4-0051-488C-A17B-8291270DD616","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302284$5E77A89A-1251-42BF-869D-523307250777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86d402dfb3ea7c253b0efaf5c9b1c42bfc5d34","datavalue":{"value":"Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302284$931EDEC2-C107-4C95-BE8B-4CDF06875B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"495a67f45bfa5b921f32601516bc4ba258e87a36","datavalue":{"value":"bounded width branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302284$05827AF5-9CFB-4B4C-B6E8-C5BAA6750074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12404e99ebd9a9b5ffc9a588cda7a85142d5596d","datavalue":{"value":"permutation branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302284$45EF86FA-5AD9-4DEF-B8F6-4A9005D8D5E6","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":"Q4302284$CF4EFD3B-FF7D-4855-8576-AA5DED4BC529","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1333d02f50ab3d6892069479fac429803760cb","datavalue":{"value":{"entity-type":"item","numeric-id":5956012,"id":"Q5956012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f8d977aa284d16bca90b5e0f21166e19c254ef","datavalue":{"value":{"amount":"+0.8824276328086853","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":"Q4302284$8652A920-6F5D-40AD-BCC0-7DBE3ED8E4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c623064b6f21f8a69ac540b37b37c39e26dc076e","datavalue":{"value":{"entity-type":"item","numeric-id":4251042,"id":"Q4251042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f8d977aa284d16bca90b5e0f21166e19c254ef","datavalue":{"value":{"amount":"+0.8824276328086853","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":"Q4302284$88DF56AE-2D3E-4B95-8718-2787E4ECD991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab080139ac2d3e96dc11a78acde753c8c06398ef","datavalue":{"value":{"entity-type":"item","numeric-id":685723,"id":"Q685723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d43d426994b525d8cd5f84358a1f0f491ba45050","datavalue":{"value":{"amount":"+0.8599143028259277","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":"Q4302284$3BBCDB4E-E5A6-4AE1-B213-67B87594D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a13e529330f03f7a7f9443b8f8b2740756d59","datavalue":{"value":{"entity-type":"item","numeric-id":3690219,"id":"Q3690219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6ee1fafd979a1cd5ad20472473f2d73d0dde94","datavalue":{"value":{"amount":"+0.7653974890708923","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":"Q4302284$65E7E2DC-8348-4A9F-80CF-20B5A7A568A1","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":"382367dec2e129fcda6c511e3d14c5997bd061cf","datavalue":{"value":{"amount":"+0.7592741250991821","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":"Q4302284$942E1613-3812-4892-BBBB-BBFFE187EA8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subquadratic Simulations of Balanced Formulae by Branching Programs","badges":[]}}}}}