{"entities":{"Q987805":{"pageid":989653,"ns":120,"title":"Item:Q987805","lastrevid":65721951,"modified":"2026-04-12T04:54:31Z","type":"item","id":"Q987805","labels":{"en":{"language":"en","value":"On the size of (generalized) OBDDs for threshold functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771248"}},"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":"Q987805$DB3B502E-0D18-4529-BA23-8C433751732A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4146280192c9610527b07b5e9890f0459fae6926","datavalue":{"value":{"text":"On the size of (generalized) OBDDs for threshold functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987805$EA08DA35-BC73-482C-9802-1E7CC88FEAE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a835a727261563c2c4f1fd4b3b64d3bf165bf104","datavalue":{"value":"1209.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$D1E93757-7431-41ED-8090-12535F6CBB65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$E7A2289B-DEDD-4623-82E1-D8E95C81A6B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$1EBF4002-1D12-49C2-B751-F03B6B3B3616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987805$006E954B-561E-455E-BBCF-19A3050F2B67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$AE740CD3-69F1-4C4F-94DB-78638315A798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$B979990C-442C-47D4-8BCD-C3AB39B2537C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2018b8ea6ee5c5bd71567fd3b01cd9ce29a5063e","datavalue":{"value":"5771248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$AACC74CA-5A7C-4D6C-953E-E27309026BC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec24897927a0742784fae89aed9a922bc2a81fec","datavalue":{"value":"branching programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q987805$104A6BD9-404F-417C-A822-C61786645876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987805$3463E1AF-C178-4D66-9955-DF967E7E31FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q987805$7FB4CB95-A357-4BCD-A07C-5324C3C6ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f958f1f1caf56a0e3143111463ca67fa81df9aa5","datavalue":{"value":"threshold functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q987805$88AB0639-938C-4392-832D-6B17350675A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"de1e9ef7ebd0201d985f68400612b763a18a1f69","datavalue":{"value":{"entity-type":"item","numeric-id":16804,"id":"Q16804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$FAA28BA0-E801-44E0-B74C-39A086F7C7F1","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":"Q987805$CB14EFC1-E135-40F8-A9D3-E23137762BCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ad44894e24b216c54ce5eaa077cbaabf12d6000","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.01.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q987805$4FC560DC-3FF3-4FC5-91D4-747DF3579BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"383ebfaeba321d24617b30d431252a11efa24aec","datavalue":{"value":"W2161264634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$2E1FF87E-E5AF-4EEE-A4E1-72D3ADB1F13F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"096310115150eef759e8c87c149f4ec6a7cdbe0f","datavalue":{"value":{"entity-type":"item","numeric-id":3611963,"id":"Q3611963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$C18569FE-1C44-4EF3-B49B-4E31008D1800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae34259f371f7741922765a31fbdf018ff29ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5448645,"id":"Q5448645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$5FDA4C00-F109-4382-BE9F-FD286DC5C770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfeba2c93b05bb00c4e72504a34410d0fd3444e2","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$93E15599-EB8B-4CBD-B148-471DA0D97EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$EBE77701-6249-419F-8892-984CF637CFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1992fc48da4fa05a2949611df42e5d2c49e243eb","datavalue":{"value":{"entity-type":"item","numeric-id":4471346,"id":"Q4471346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$068B5304-D399-4095-8F65-D778DCF33D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8897b4130327e2a0f29ed3c913f9d426e7405513","datavalue":{"value":{"entity-type":"item","numeric-id":2471809,"id":"Q2471809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$44A3C518-C5F2-4C80-9E1C-7A17625D0ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e912fb88f76046fad79fd63ef41218483f8cfc9","datavalue":{"value":{"entity-type":"item","numeric-id":1390857,"id":"Q1390857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$2CDB0884-E22F-4CDB-A7A8-08889E981EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56295ef9877d927392101ad78570f0fff74ca17","datavalue":{"value":{"entity-type":"item","numeric-id":3352967,"id":"Q3352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$0FA9F65F-1220-4A31-AA5B-EF04FCFB62B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8363d01136465dcc8e95edeca2492460de094946","datavalue":{"value":{"entity-type":"item","numeric-id":1178711,"id":"Q1178711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$FDCD7119-692E-403D-8C94-714E8E708D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4a9a9dc22c9aa32725fe2a87b37ee0604e0dff","datavalue":{"value":{"entity-type":"item","numeric-id":5655273,"id":"Q5655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$41D5D6AC-53D3-491B-AEFB-CD1A77C64D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b122301bc4dac9387e31e289e89fbf6dca4fc40","datavalue":{"value":{"entity-type":"item","numeric-id":5710026,"id":"Q5710026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$85B36D5D-86B8-421B-8D98-F9FFC56BC52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e09fe27f7c3ada130d82295101c384f15829","datavalue":{"value":{"entity-type":"item","numeric-id":1313758,"id":"Q1313758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$73059198-BF31-4B64-8DC3-87BB5B7609A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eac79721205a15c10d4a231e89caf503fa7b874","datavalue":{"value":{"entity-type":"item","numeric-id":4364580,"id":"Q4364580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$518D24BC-0B91-46C8-9FA6-5087725CA8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d19abc0a69412b061ee3ae0c4a0cb13c02bbb7","datavalue":{"value":{"entity-type":"item","numeric-id":5431355,"id":"Q5431355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$CBE201F2-C22C-45F3-818B-FFBD4D50A6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb311be784120e3c267a3604c5f89ac2adc9189","datavalue":{"value":{"entity-type":"item","numeric-id":2465997,"id":"Q2465997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987805$F944F11E-B15F-447A-996D-15FFD1B4E1C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a185c08c6b841db0b5dd33beab43a0724a8fdc23","datavalue":{"value":"10.1016/J.IPL.2009.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987805$9379BA6A-14E2-488B-A35D-8CE30963F5C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218a32d0b9ce002d69f2252c175d473de18ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3599068,"id":"Q3599068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e159e9ac6ed9d5e1911c5023644f888bb657537e","datavalue":{"value":{"amount":"+0.9301981329917908","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":"Q987805$02F0C42E-B741-4BDA-B863-BC001F93F970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eac0de9d4ccb3fe549067c63baa7896f4d21b51","datavalue":{"value":{"entity-type":"item","numeric-id":4525752,"id":"Q4525752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c72300a4d7bf0b4f0755a9a1751114d163b691","datavalue":{"value":{"amount":"+0.921434223651886","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":"Q987805$A6B3BD44-1B35-4FE6-9CF9-624766EB4E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c9918ba4b1fc0dd70bff404640f480f488df3d","datavalue":{"value":{"entity-type":"item","numeric-id":1390857,"id":"Q1390857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be17660630ddaf6ea891549950926cb79e8f088b","datavalue":{"value":{"amount":"+0.9167078137397766","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":"Q987805$BCD75722-066F-4691-8335-4B3F3570191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb1a96f3fda42935df768bfe45a32e5c6e24bf1","datavalue":{"value":{"entity-type":"item","numeric-id":4364580,"id":"Q4364580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0c4765b3ba09ebe7ee357c85eb768c65c601f0","datavalue":{"value":{"amount":"+0.905270218849182","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":"Q987805$3BD7727E-3705-42BE-B621-845E0B3DDA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f34f5a55521d6ff6feef848c8e52fcdfc385a2","datavalue":{"value":{"entity-type":"item","numeric-id":5448645,"id":"Q5448645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee7a84db28d0c8631d5c6fe12a480f098742d97","datavalue":{"value":{"amount":"+0.8815449476242065","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":"Q987805$02265503-ACF9-4ACE-9B3B-114A8298CB95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the size of (generalized) OBDDs for threshold functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_size_of_(generalized)_OBDDs_for_threshold_functions"}}}}}