{"entities":{"Q1613429":{"pageid":1624169,"ns":120,"title":"Item:Q1613429","lastrevid":71473632,"modified":"2026-04-13T22:29:59Z","type":"item","id":"Q1613429","labels":{"en":{"language":"en","value":"The complexity of minimizing and learning OBDDs and FBDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1792366"}},"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":"Q1613429$A2FA8DCD-DB5C-463E-9A20-FFD8DF211CAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa6ecb049e47c7b1bd905ec63decc468095e38f","datavalue":{"value":{"text":"The complexity of minimizing and learning OBDDs and FBDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1613429$8C2E0634-4EDE-482F-9702-F34056B909AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26ba8e9c250b82517030ab2f16a6ca9de0cdbb98","datavalue":{"value":"1002.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613429$BC6D2AB1-6754-4EDC-AF87-21430A677884","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae990b87ff47bc854a3e5b71362c3c247e26cc30","datavalue":{"value":"10.1016/S0166-218X(01)00324-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613429$884EB56F-A0DA-4404-8101-2BA9B5C67157","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad68ae0b32e7bd128d545ceeb6b30fc05a2b0b39","datavalue":{"value":{"entity-type":"item","numeric-id":210284,"id":"Q210284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$85FB14F1-02C1-494D-8246-24F54DCB2F0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$4E17E475-5941-478E-9426-1871D1F7860B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04ef60e6a08d63a03521c7b80b58e0a998b63b55","datavalue":{"value":{"time":"+2002-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1613429$A0A6609F-C84A-4A68-93CF-4FE5160D6B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613429$D99F5013-8EF6-4FAA-8755-C10B153E40F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2952f42da1533bfae5de6a7962ac63cb0253831f","datavalue":{"value":"1792366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1613429$B732E78A-A785-4F0D-BC2A-70681C58F7F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613429$AC2C2E55-BAFC-4C56-B401-10A23ED93AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90ce8a4f653a4ecc88fcc978f3f04d987f87a0f","datavalue":{"value":"free binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1613429$4E184F41-4788-4AE1-BFEC-B60068CC51B6","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":"Q1613429$9763B931-A591-40D7-A04E-EB81AA6BB9B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$715186EF-08D7-4761-B12F-FC37D8A596F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$4CE2AD9E-A75A-42C8-806C-BFB861E62C7A","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":"Q1613429$19F698E0-5667-4E52-ABFE-B20F84AF2DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67782435c81856906476d249cbb89a86efd5732","datavalue":{"value":{"entity-type":"item","numeric-id":4160379,"id":"Q4160379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$55F8C6E7-02BD-4FE9-94B6-47DF518492CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72e284b05f6d26d2d76e5c229c7999c408c3a89","datavalue":{"value":{"entity-type":"item","numeric-id":5375442,"id":"Q5375442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$BFE8E5CA-69DA-49CE-BA17-C632E5BD66B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$BB810F50-9024-45CB-842D-56CDAB511215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2779c135e276cb2ba89f1577b854a83ed2c3554d","datavalue":{"value":{"entity-type":"item","numeric-id":4419787,"id":"Q4419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$8A98D864-FB69-4635-B670-E48BFA2BC325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db99c21b94c60f303b191f15b8e05c4141c30dda","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$0FF0C919-34E2-465B-A393-7802E500CEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$A8235B2F-41D0-49E4-95AA-76409BAF999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34866ea766971af89b30adf0e5d6c644f933a12f","datavalue":{"value":{"entity-type":"item","numeric-id":3813320,"id":"Q3813320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$F26CA956-756D-4BA1-8737-56B045658BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34101ed4e8ce2c8bca9fc7197b2b3a43ba98e34d","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$7ECC56F0-9612-483E-A785-4C7841A13AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea900da544809ce8ef5c87a4321fccd5a9916115","datavalue":{"value":{"entity-type":"item","numeric-id":4941907,"id":"Q4941907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$323F570B-1A81-4316-9348-817616078CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd29d824dbce9664110e60e74e7edbbffcc7c5d9","datavalue":{"value":{"entity-type":"item","numeric-id":673788,"id":"Q673788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$10EAFEC4-7A46-48C8-88E7-39CFB2F85019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0962521a64e4c207ee4c6274955735371b352ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4287364,"id":"Q4287364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$EAAB4531-ECBF-40F1-AD06-BD024A88612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea74fd1c7b11ffde4d0857afce41adcda7b0d36","datavalue":{"value":{"entity-type":"item","numeric-id":1841888,"id":"Q1841888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$428BEF67-0DBC-41CF-AB52-84440F98DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2098acaa46578fe8fd92bde511375c2733ac78","datavalue":{"value":{"entity-type":"item","numeric-id":4268445,"id":"Q4268445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$92B022FE-A9D5-44F5-A61A-AF23B2FB5212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$43AD33C7-712C-48C1-9D70-C8C3E56D765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b82601988f1a6239764f109a2a1130fb98712c4","datavalue":{"value":{"entity-type":"item","numeric-id":3798243,"id":"Q3798243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$04940366-52CA-4A82-A03D-496168BABC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bc7c146c515de56380f9786cb8389fb225ca92","datavalue":{"value":{"entity-type":"item","numeric-id":3347300,"id":"Q3347300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1613429$2332D7C5-2D80-4B8E-9F94-A81293E795ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b452d071537a94c5ad4176b33aab61c0c15f967","datavalue":{"value":{"entity-type":"item","numeric-id":4941907,"id":"Q4941907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd1be5e2072820fde7a2a141f0ffe0dd6647381","datavalue":{"value":{"amount":"+0.9059220552444458","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":"Q1613429$B00D72EB-E68A-42F9-81AB-50E9A0A6EF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e387df55cf0e70bef87d8d330f51752ab9247","datavalue":{"value":{"entity-type":"item","numeric-id":5054808,"id":"Q5054808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cc6faf03d3418cba6000dfe45790046e2dd686","datavalue":{"value":{"amount":"+0.8950471878051758","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":"Q1613429$CA29DB2F-668E-4216-9C2E-D16A35E9A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1327496d1e02b808bbb7ba65b8f0b5a062f1297e","datavalue":{"value":{"entity-type":"item","numeric-id":1841888,"id":"Q1841888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9ae4559afccea2be7657f54441932589484a6a","datavalue":{"value":{"amount":"+0.884017825126648","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":"Q1613429$863C1C45-D511-4863-829C-571E2801D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8442511968101c0b715ad107915e98a3f357a6","datavalue":{"value":{"entity-type":"item","numeric-id":503467,"id":"Q503467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feec7b8ca8930a4f22584e0be3b19cde9a913bb2","datavalue":{"value":{"amount":"+0.8834035992622375","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":"Q1613429$63D979BF-F84D-4071-9689-A9C6BC4325F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ea138f46ab51de9fb7b34b300ad12f605586b","datavalue":{"value":{"entity-type":"item","numeric-id":2942417,"id":"Q2942417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc46fb8f0826034260de2bf8fd88c634e5d05b6","datavalue":{"value":{"amount":"+0.869182288646698","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":"Q1613429$99605571-7649-4446-9C90-8575F619DE47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of minimizing and learning OBDDs and FBDDs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_minimizing_and_learning_OBDDs_and_FBDDs"}}}}}