{"entities":{"Q3006476":{"pageid":3017200,"ns":120,"title":"Item:Q3006476","lastrevid":85472378,"modified":"2026-06-03T08:43:31Z","type":"item","id":"Q3006476","labels":{"en":{"language":"en","value":"Ordered binary decision diagrams, pigeonhole formulas and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907438"}},"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":"Q3006476$81445C32-1297-49DF-80A5-7C0C4BFE5AF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b288b962e5a40fdcec02940141c16f003e4991f9","datavalue":{"value":"1221.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$7AA1980E-A162-47FE-A627-E09A73D23535","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c7302084d6061bb6f189473ae8492ed0c79a92","datavalue":{"value":{"entity-type":"item","numeric-id":823763,"id":"Q823763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006476$6ABF7647-3B2E-4CE9-9B11-8708CDF97F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006476$C656558C-3BFA-4A8D-911D-BE1448DBA424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3006476$90525706-D9EE-499C-A447-3867405C7E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b2b50ba7a4f5a1aad90db4fa17f9e7a261c738","datavalue":{"value":{"time":"+2011-06-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":"Q3006476$E62F54AD-81EF-4B1C-87F1-CB61A2865A26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$FEF3AD78-48EF-4467-BB1B-64253CD838CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$665184E2-9C9D-4E45-885F-E786FCFA4469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$0405C151-B4AC-4EB7-8865-7809FDD096E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$9A0445FA-F768-4298-8F5B-04068B376815","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"029115a2cf9ce688535652e9202333f6a0a7e225","datavalue":{"value":"5907438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3006476$96C1BA56-E3E3-415B-8DF0-E2DED85CC1B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006476$1F17D912-AFE6-4F19-8965-2D74CF93DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006476$9E5F2202-E110-421A-AE1E-66BF2D454819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0fd14deaea77c7869d306ca10307a94a206213","datavalue":{"value":"pigeonhole formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006476$2561F5C9-A7F4-4B78-BDB5-9FF2849B38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3006476$DEEF3C87-1F22-4C43-A2BF-F9BD73374952","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":"Q3006476$17FFF6AB-E830-4B35-8EF2-72CA3F4A22E3","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":"f75cbdf77cae9682dccaedbdfabced8f99ea55b1","datavalue":{"value":{"amount":"+0.8569284081459045","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":"Q3006476$9D74AAE7-633D-4410-84A8-19522C2A6494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a79e067bc4fcd37fc0b4e73ef0f281c1a4f716","datavalue":{"value":{"amount":"+0.8480991721153259","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":"Q3006476$7A95A38E-7439-407E-925B-A2ADF44F2D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caac905ac507ea9ceb4f052f6f47c616e8be18ff","datavalue":{"value":{"entity-type":"item","numeric-id":987797,"id":"Q987797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3b2e7eec9369ca97cf8b08e43096b119bcb6ac","datavalue":{"value":{"amount":"+0.8403069376945496","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":"Q3006476$8F519B83-DDE6-4638-8244-850A2B588020","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":"c6d0c12e1407736ce7c76f456435ac38d6e3b7a4","datavalue":{"value":{"amount":"+0.8242424726486206","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":"Q3006476$CD5B4FE6-940F-4714-9330-6EFD1A8F77E7","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":"d2b9fca508f25521dac710286100037c16353900","datavalue":{"value":{"amount":"+0.8184754252433777","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":"Q3006476$CFCAE981-015B-4A69-91B4-1F7D4FCFD6DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ordered binary decision diagrams, pigeonhole formulas and beyond","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ordered_binary_decision_diagrams,_pigeonhole_formulas_and_beyond"}}}}}