{"entities":{"Q4617985":{"pageid":6647568,"ns":120,"title":"Item:Q4617985","lastrevid":53343839,"modified":"2026-01-24T18:56:26Z","type":"item","id":"Q4617985","labels":{"en":{"language":"en","value":"A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7014571"}},"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":"Q4617985$6789721E-6356-4AA0-8291-C2A2AD8582C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13819930061f1bec14b41ead61070fd2f973bf0","datavalue":{"value":{"text":"A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4617985$B07923AF-68DF-464C-8111-A877AB1C0B2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7ea83201934eae257df3008537d10b4417dd44b","datavalue":{"value":"1407.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$48E8927F-8EFC-40CA-AFEC-93782BD4939B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45eee0ecb69b62e5800c46d0886f5ac2d5a61498","datavalue":{"value":"10.1145/3274279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$B8A95A79-D22B-4840-8789-A3100F63E3C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cecf23e1de77e25adc7ffc70851b8b4dd1bad6f","datavalue":{"value":{"entity-type":"item","numeric-id":4617983,"id":"Q4617983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$F10B4615-8A36-41E2-A98B-5EF7777B0000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"535cb527758a64bfffad9c8d3d7291d14c0320cd","datavalue":{"value":{"entity-type":"item","numeric-id":4617984,"id":"Q4617984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$27E1186F-1BFD-425F-A626-BE383EFAF774","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":"Q4617985$9FC8A702-A5CD-42C3-8519-4E29067F8ECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1e8b10b8228a853731f31266f45b016182aec93","datavalue":{"value":{"time":"+2019-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4617985$FC06E472-E983-41BF-8CD2-756F7509A9BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$F0D3CCA2-8894-45F0-95CE-9D8108E5D638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e07dd4d3d9d30f52ae4bb19afbdd74e9d07a334","datavalue":{"value":"7014571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$D8444CD8-9334-4531-B00E-BDD1C345D761","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617985$8E5E016C-C182-4D54-89F2-4FEA9DEB51E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d55c9a2c4b34db2848066ec61b5803ef53a65298","datavalue":{"value":"Common Lisp","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617985$BD6A5DF8-FCB5-4893-B147-8883E86EC42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746e6471160fb71e6cc9e3d933adeac273c747fa","datavalue":{"value":"Boolean simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617985$0B25732A-07D3-48B3-B1B9-BFE5A4415AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617985$CB2417D4-E0E9-4E6D-97DC-509683A3388D","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":"Q4617985$D745248E-AC01-4C59-97B2-F49D69188C49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3fc4b3a145bdd28a427fafe3cc581674b5b6e14","datavalue":{"value":"https://doi.org/10.1145/3274279","type":"string"},"datatype":"url"},"type":"statement","id":"Q4617985$47E61223-5F89-49C8-8975-464F55EB51C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"888754c3487f74cbecd7d9753384468ce76cb53d","datavalue":{"value":"W2910958598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$F7C4018F-B75D-42F2-B195-4BC08830CD60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$5CD35924-1A99-43DE-95A2-404E82EC1F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$76599ECC-56FE-4FD2-B756-2346C8DFACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$199B8199-0693-44D4-88AA-49D48C445531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7b410608e6554fc1f3766a9b3fafe0843b01c","datavalue":{"value":{"entity-type":"item","numeric-id":2398513,"id":"Q2398513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$6EDF5460-9AAA-430F-B556-03DED77D95F1","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":"Q4617985$05309206-9CE6-47AD-9086-B8B6A7E21346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6141c26fe558f0b4a56fca89c16d19503ea954fb","datavalue":{"value":{"entity-type":"item","numeric-id":5919614,"id":"Q5919614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$F0F4FB51-1027-4C71-BF1D-0DF92FC967D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b5b9bab55d39744ad21716dc7fbe20ef4197a6","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$4DE963ED-A9B8-450E-8799-AE9D349845C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842ab62a5fb0198e7158ba436c3b62d3d528a83","datavalue":{"value":{"entity-type":"item","numeric-id":1878402,"id":"Q1878402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$305DC132-470A-4324-AD3C-B01212C71E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248e065a96b9c6740809bd7ed036b829b97a5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1607073,"id":"Q1607073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$F895BF01-CF0C-4245-90C7-1C68C848A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97591262ba872768ae74f8df649b42e9c5c697cb","datavalue":{"value":{"entity-type":"item","numeric-id":4420060,"id":"Q4420060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$47DD665A-A641-4C8B-85EE-761C9BA6AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e0965a5a6d705e892b0c699c16c3c07967d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":2943355,"id":"Q2943355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$107721F4-FB2C-4258-9657-3F0A6330A264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b99e2c9371fb5c144dc93ae570b1c3fe049599f","datavalue":{"value":{"entity-type":"item","numeric-id":3393339,"id":"Q3393339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$2F8B6DF7-B490-454C-A7D2-79BACED00F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21cf99b4153da9fc281162157cc0e4f2d695f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4658994,"id":"Q4658994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$1164B011-1E70-4CA0-87D9-DBE6DC262EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a576a190cccb348f27a324acd8fa1f37f20227f","datavalue":{"value":{"entity-type":"item","numeric-id":5897079,"id":"Q5897079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$7139DFCF-2121-4306-A599-ACD4C4F47263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13afe822ac2568ea10ba760081e5a07b556ef098","datavalue":{"value":{"entity-type":"item","numeric-id":3005905,"id":"Q3005905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$308DEA8A-B02C-4C62-9064-85BFB1119D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ca3eed1faadff2e5a921716b97f513e7a21660","datavalue":{"value":{"entity-type":"item","numeric-id":4228541,"id":"Q4228541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$36099FA9-6056-4B51-A87B-E7DDC8972809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$9E99DF35-1FB1-41AD-BFA5-F5C88340C548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617985$9DEB223A-462D-4FD3-B6AE-71A194BD340B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9ee8322f0acaaf677ad756476e8246546a562d6e","datavalue":{"value":"Q128553517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617985$A6E87F1D-C951-4922-AFC6-CD74CBA027BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85051722761fbec9019a04dca4a47a2658cbe695","datavalue":{"value":{"entity-type":"item","numeric-id":4412138,"id":"Q4412138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb5ecd64a4a5f810b2f7405a1b2b0f13f00ebb6","datavalue":{"value":{"amount":"+0.8303597569465637","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":"Q4617985$D0B8DF4C-FE23-4ED6-8940-2FDD601E946F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700d50c042f4f1875f2d5f3467ffe9b1fa68f66","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7112bc837360c829d78b77f0e3c2b1044f076967","datavalue":{"value":{"amount":"+0.8297051787376404","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":"Q4617985$D774F2DE-F7BF-4F7D-AAAA-4EB2E283E50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725fb7b414ea14b2d1d0f0dffbbe65fe093bafe1","datavalue":{"value":{"entity-type":"item","numeric-id":5463959,"id":"Q5463959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1a9d9a1882ae638100cbebf435460f13e13b82","datavalue":{"value":{"amount":"+0.8180934190750122","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":"Q4617985$2C81ED89-5C55-47BC-B509-EF31D8529F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35305108a453b85850bb7f11c77fd133c978be1","datavalue":{"value":{"amount":"+0.8125662803649902","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":"Q4617985$E49465C2-D35B-4C64-9C92-3E5994D8AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309ef35668aee6547320b76bde73be5c9a506709","datavalue":{"value":{"amount":"+0.8103432655334473","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":"Q4617985$AFF78BF2-B7F7-4523-BFFC-92E9992EC544","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4617985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4617985"}}}}}