{"entities":{"Q685723":{"pageid":687572,"ns":120,"title":"Item:Q685723","lastrevid":63462573,"modified":"2026-04-11T13:20:04Z","type":"item","id":"Q685723","labels":{"en":{"language":"en","value":"Towards optimal simulations of formulas by bounded-width programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 423605"}},"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":"Q685723$920A669D-5B33-4D82-982D-09EBDBC0AABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3451644b035432e2f562b330d631fd4bd8649188","datavalue":{"value":{"text":"Towards optimal simulations of formulas by bounded-width programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685723$E7603B42-741B-4F08-8957-4DA6992DA1D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad32545c0b6db9f1f84f727a6fec54855c29881","datavalue":{"value":"0774.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685723$3197FDBA-EE82-447B-8950-7C9CE2AE485D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aea6f86cf1095351f4fd29021c53e36a3c35d61d","datavalue":{"value":"10.1007/BF01200059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685723$877E80DA-9895-42DE-9109-93F513568711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ab3d23a89828cc22408540a44e583e90300c44","datavalue":{"value":{"entity-type":"item","numeric-id":387017,"id":"Q387017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$ADB22611-0E2D-4311-B41F-EDA38CD26580","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$448A99D2-EF80-4F06-9992-E2EF01ABC221","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9ee486378a5fb0f84338329fe78e00d0957904b","datavalue":{"value":{"time":"+1993-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685723$855A4575-F1C5-4F22-9253-656671D449BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685723$D4401C44-5DFF-4DB3-A7E2-82459FFA6A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685723$E59BDBB4-6BDA-493C-AF7F-C73A52822279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99afd0492dbd8ef68ca7953b1346d0f0d47a0ffc","datavalue":{"value":"423605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685723$59E9FE33-D9DD-42A0-B071-2385A2F8A6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2b61840dc4248e1cd7da9f57d45a3eb4471027e","datavalue":{"value":"balanced algebraic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q685723$A0F07F15-43BB-4628-B3D5-37E25A5A5550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbe12f17db47c6f536960f0726e1f2db0fb53e7","datavalue":{"value":"algebraic straight-line programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685723$3E30E6CD-0452-4C34-966F-89FBC286A9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8149d1624db32ea0cec37f935993b29657cba8","datavalue":{"value":"balanced Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q685723$BE7B375A-7234-47F2-9D02-E74B85E0F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba485647c9107a6fe44c0324ec97380feffbab51","datavalue":{"value":"bounded-width branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685723$382FF1AA-C447-4318-8DFE-1D34B3D59FE6","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":"Q685723$ED09081A-83C4-4F1F-B675-B23C2CAF14A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85332f45c574807884e55f6488cd3b450f276a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1117696,"id":"Q1117696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$4B994210-27B7-4D8C-8142-E43E3F86B928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae1ff2200c46631e7f9f707b7610866a40826fb","datavalue":{"value":{"entity-type":"item","numeric-id":3990101,"id":"Q3990101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$3856280D-6D1E-4A08-B963-CC478B781025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30026bc0ad7d70772dcc0ef875d17d2ddfd5310","datavalue":{"value":{"entity-type":"item","numeric-id":3718153,"id":"Q3718153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$E2D91A0A-357F-4294-9886-CFEDEEC556F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4077de5ad21c6b78a25ec43c56119974484a370","datavalue":{"value":{"entity-type":"item","numeric-id":4401551,"id":"Q4401551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685723$9BBC398D-0F76-4FF8-8403-A7C71DFDE89E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8148e8249172f6209a33d85c8bb0ad9b3282a6ef","datavalue":{"value":{"entity-type":"item","numeric-id":4302284,"id":"Q4302284"},"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":"Q685723$E2126DFB-CB4D-4E3A-804D-7A20C29BC72D","rank":"normal"},{"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":"79fd63b15763908ce97a793c7ce6582f2fe712e7","datavalue":{"value":{"amount":"+0.825383722782135","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":"Q685723$0CE5710B-DBDF-41AC-9115-C80CD33F1C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f2299e2ece2bf534a591190d450a5be03e69d2","datavalue":{"value":{"entity-type":"item","numeric-id":4852620,"id":"Q4852620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fd63b15763908ce97a793c7ce6582f2fe712e7","datavalue":{"value":{"amount":"+0.825383722782135","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":"Q685723$BC55151E-EC6A-4F36-8C4A-DE1C5DEBBDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce715030d5bd927abc53aac40ec808282ff6e53","datavalue":{"value":{"entity-type":"item","numeric-id":3990101,"id":"Q3990101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98ff4ab78fa3125505876596669a89feeb364cb","datavalue":{"value":{"amount":"+0.7877882719039917","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":"Q685723$DA1BA3B2-73E5-4963-9F8B-6D8D566DF73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf437410fd85d78af5c68d635d6aceb4484de5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1318766,"id":"Q1318766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3a901dd87c80a8d40ccb02e068e48575ab566c","datavalue":{"value":{"amount":"+0.7876784801483154","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":"Q685723$D8A6ABE5-076E-4B8D-AAA1-D6B8CE685ABA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards optimal simulations of formulas by bounded-width programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_optimal_simulations_of_formulas_by_bounded-width_programs"}}}}}