{"entities":{"Q5056355":{"pageid":7085932,"ns":120,"title":"Item:Q5056355","lastrevid":91241870,"modified":"2026-06-04T22:38:23Z","type":"item","id":"Q5056355","labels":{"en":{"language":"en","value":"Lower Bounds on OBDD Proofs with Several Orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628968"}},"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":"Q5056355$5B5F1CAD-B951-4B88-9CB5-C15EE266BE92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"380011d18d45d8c67b1c2f66a43b0032d31f6ecf","datavalue":{"value":{"text":"Lower Bounds on OBDD Proofs with Several Orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056355$546E42DA-A37E-4C8A-B4D9-1FC21EE67C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a97f9bd913c9bd29780eb354c63ac86d986dac4","datavalue":{"value":"1505.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$D24FF77A-9DB5-48CC-8E34-DDF5FBA0B92A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f41764254a5a38eee0726f03f69b019b073c9d5","datavalue":{"value":"10.1145/3468855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$3D6557CD-8DAE-444F-B643-C8910E502A71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$00EB9C98-EF4C-4E96-9716-B56B2912E8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ec1f3506837cdbc96572a8b9752777c89e7629","datavalue":{"value":{"entity-type":"item","numeric-id":1635509,"id":"Q1635509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$9DCDB586-7FBB-4F86-8D24-DDEF6EA30102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74efe74cf6a1a588fa17da7c35604ff1c2aea60c","datavalue":{"value":{"entity-type":"item","numeric-id":1625179,"id":"Q1625179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$701AB79A-0505-473F-A79D-51696BDABF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$64CB0B50-6862-4D4F-A16F-2E9EC6B046D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$A1C36348-2652-4ABF-A3E9-0E860E648B8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056355$D5DD3A6C-F23A-4B4A-B3F6-386374663313","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056355$3C232DBD-F328-4D0A-9F35-91562AC2AF60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$95CAAFB6-31D0-44B3-B9B4-85A911DC8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$52703389-316F-4C50-981B-6365BBAA8A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"904f5dbe04051d00cfb8a33fe7cc62b33b74e8bd","datavalue":{"value":"7628968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$9432D734-9966-4F2D-89CE-8DA43530288E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$C5DA6367-9148-4A23-A317-C0E59C0140AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cccf47df3240542d4acef692a81bba72af11a363","datavalue":{"value":"multipartity communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$7536DDC0-0E7E-4EC9-B9E0-0DB523683FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$5C299D66-9050-40D7-80AE-34AFCCF85490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b7551f21077c908b8e642e815bb2f4c912cddf","datavalue":{"value":"projection rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$82BBEB7D-7313-4B35-AC88-BBF2ED0B49DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$22350FB8-4F06-453C-B6A1-1A3C8EFA4D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4154bd50fb881f6946ba8cdb64453fa10798b7a8","datavalue":{"value":"reordering rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$48B34A48-C15D-42F5-865F-23AAD10E8531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$DDF2F9F0-FA8C-4531-9E01-0D6373EBF349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056355$CF9395BB-BA44-4472-91AB-4AB78061AE63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84ba135e5e3e8a3c78097479817b7289665a6c31","datavalue":{"value":"Q113772839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$03B84A84-BF02-44C8-A90A-B271EBF2E691","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":"Q5056355$FB326DF9-34F2-4A09-AF06-79A609684825","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a4632a6eb6a1e1ae0f0b0550c51b488bfe7fb0f","datavalue":{"value":"https://doi.org/10.1145/3468855","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056355$EEE62DFE-FEBF-4827-88B7-43196AFEEA22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5849cc6636610ee6e8bc2f79f85d3aebd212c11c","datavalue":{"value":"W3196881647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056355$421BE72E-D279-4ED9-A5D3-9111F5736FE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11507ff6897153303279240edcb405f5eaa09839","datavalue":{"value":{"entity-type":"item","numeric-id":4928478,"id":"Q4928478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9454bbdeb4c31a3e99f032315340c66d52d9bfb7","datavalue":{"value":{"amount":"+0.8634728193283081","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":"Q5056355$234D50E6-C382-4B44-890B-87DE7EB4E136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9053cd0221d8b2d7979e401c42852b126cc7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95c3088919893fdd92c370c0d0ce02b8e617f5f","datavalue":{"value":{"amount":"+0.8574922680854797","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":"Q5056355$1A4D398C-B0C9-4D5F-8C4E-AEC303A14D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42251eb8c74163d8a65918642b6681c353a8233","datavalue":{"value":{"entity-type":"item","numeric-id":5148102,"id":"Q5148102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2712f43317e5bdf76164e75c5efe35d1f801e4","datavalue":{"value":{"amount":"+0.8534436225891113","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":"Q5056355$2B07F6FE-5AEA-4302-93F7-B6E3FB1FCE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391c1c693c44ddcc7bd2a422a8e7a3438960a5db","datavalue":{"value":{"entity-type":"item","numeric-id":4636642,"id":"Q4636642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4984ca8dca86b658c5312b769c118ff9b49c15","datavalue":{"value":{"amount":"+0.8497872948646545","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":"Q5056355$05F1ECFC-ED87-42B5-91A2-E12030D1F43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8480a23801b3bf7d1a9a627a353b0881ec4a867","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4059a81a8490ff5dfdd5efffa1cfb33c39d6d6f9","datavalue":{"value":{"amount":"+0.8492209315299988","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":"Q5056355$04A00064-D35D-4CD4-908E-0282ADFCEEA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower Bounds on OBDD Proofs with Several Orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_Bounds_on_OBDD_Proofs_with_Several_Orders"}}}}}