{"entities":{"Q1016038":{"pageid":1017886,"ns":120,"title":"Item:Q1016038","lastrevid":56858763,"modified":"2026-03-23T20:58:22Z","type":"item","id":"Q1016038","labels":{"en":{"language":"en","value":"On threshold BDDs and the optimal variable ordering problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5550473"}},"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":"Q1016038$50295172-B797-4826-90DC-128C53709C87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4027f107ad84f9caf0726ca3b7d6c20365a5aa94","datavalue":{"value":{"text":"On threshold BDDs and the optimal variable ordering problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1016038$28A04203-3F96-4C0D-A90C-CBF43CCF4978","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a42f9cbfcc3a43dd0fce4c92db836c6e8c0ab174","datavalue":{"value":"1183.68411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$ACD63C46-1FB4-4C75-B3EB-3F0D3E30C29D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb22bab36c6fbb8f2e88949859b85419c7ec4068","datavalue":{"value":{"entity-type":"item","numeric-id":1016037,"id":"Q1016037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$4EE9641B-0B26-4BA3-A40E-DBFB17D676A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dcf8815e3b257674fa147da7a4e7c92c91c0b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":185429,"id":"Q185429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$72DACD19-A34D-40CA-BFB3-0690118333CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86de3865074070f9a1849bf514f6344b0ec7d876","datavalue":{"value":{"time":"+2009-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1016038$4E0A5D60-F752-408A-A067-D948BE5032B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$907CDDC0-4FD7-496D-BE29-3E32E02E5F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$4C327478-3B9D-4DA1-8AEE-2CE12E033858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$87376D60-ECB6-4BAC-B37F-5F17938D09F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7546069ac6d6508e80413e2311b88f0d02783f10","datavalue":{"value":"5550473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$1295634B-CC1F-4095-B444-7B2B06B3C7B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$9B27590B-FF45-495D-A09F-54A7F012FBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c0b6ac7fce52f39028e540bd2dd47c521f91cf","datavalue":{"value":"threshold BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$CF1072F5-4418-4199-B466-3486F81D4C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de86e88c243a470928d14497b891d099a822018","datavalue":{"value":"knapsack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$9DCE5CAB-A32B-4214-A9CB-6A016AFDDC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d914f45faa1b72a8fac3ec4cd93ad8022e74c1","datavalue":{"value":"\\(0/1\\) integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$071FAAB6-CF9C-4140-9891-09986329DEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bef572aa2cfd461a0fbe3f2c026dcba5e30b3385","datavalue":{"value":"optimal variable ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$3501AEE1-57F9-463D-B531-D1CFD738D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260c8447a11fcb2c3dd6e760c26f6c4c86ade4e4","datavalue":{"value":"variable ordering spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1016038$CA045E0A-BE39-421E-A967-6CFD3F4F8F49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$F86BF4A3-DB08-468E-905A-3F1DE2DE8A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f5c1fbd593c30b23585084ed7dc0b38aba15b71","datavalue":{"value":{"entity-type":"item","numeric-id":14651,"id":"Q14651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$3202A8E2-9926-4181-A6A4-267547B6BB5E","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":"Q1016038$8D204F42-5D89-482F-90C5-A080C2EE0FD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4fca850ac7e066a9ee32a7dd55223530ace9667","datavalue":{"value":"https://doi.org/10.1007/s10878-007-9123-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1016038$50859D39-0AD0-4DB5-B98D-C1F004A2A0F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b122fcbd6aa394704a9a048ecb5577c6b03d5a89","datavalue":{"value":"W2797533443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$74555EF2-9178-4842-8FBA-907610253B9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2763fe25dc6e304b41b0bc230168059e72e796b9","datavalue":{"value":{"entity-type":"item","numeric-id":5710044,"id":"Q5710044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$1D858CBB-6059-44C7-99C9-FE48B246977B","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":"Q1016038$79D966CC-EC05-42D5-ADF4-31BF9EDFB808","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":"Q1016038$4B7F7141-E45C-4D7C-A9D4-2965D9A5B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e02e9c674d233134ea38fb41ce14c527d11d38","datavalue":{"value":{"entity-type":"item","numeric-id":4431379,"id":"Q4431379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$98CA373C-88F5-47F4-B544-13FBF4337B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75434ef849c3ec6704b06b6fb305736b6e78f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2749862,"id":"Q2749862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$C5F24E8F-E444-4F91-A83D-98F9932B69B6","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":"Q1016038$49E2E761-4E9F-495D-AEA3-CB76F02CFF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9914395de143df926d2aecbb3bff4b2c2c78612","datavalue":{"value":{"entity-type":"item","numeric-id":4219538,"id":"Q4219538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$DA4B5399-1294-489B-BE97-8025EB4A7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$AB00800D-B9E0-4E67-9427-FF46E30594B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$30C0D8AC-9911-4BF6-97E2-6F46F7A73945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$E6D9B746-04ED-4689-8E7C-74B480003756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2a67917373e5b4e39d7c86d75e3ad261de966","datavalue":{"value":{"entity-type":"item","numeric-id":4323295,"id":"Q4323295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$73548A3B-DCE5-4661-8C4F-B031ED72BC4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f2af51096bf0c38f5757a1d031a88ac997544ea","datavalue":{"value":"10.1007/S10878-007-9123-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1016038$87CE4EBF-B443-4AB4-866E-D44027972BB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c352aaa3caf3d4574213f26caed68860090b247","datavalue":{"value":{"entity-type":"item","numeric-id":3611963,"id":"Q3611963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$461281C2-A750-4DE5-AE55-9235C4B04729","rank":"normal"},{"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":"f9b3ac89028cc7906020d859c9d5026bc0288362","datavalue":{"value":{"amount":"+0.92780817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$34ABA25B-32F2-4660-8B6B-F8C672499279","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":"65a08acbc27d4e155a9f08529bcc3afca9cee41e","datavalue":{"value":{"amount":"+0.9059411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$9D690939-6C20-49F6-AEE5-E9EE9A2132F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6ae0dfbc583f1e8e5ad6d86f0be09ddef03032","datavalue":{"value":{"entity-type":"item","numeric-id":4218142,"id":"Q4218142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617c92214af4df4ccc42b72b901a92d79004083a","datavalue":{"value":{"amount":"+0.8661507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$D81E7DC4-2582-4A74-88B4-25BAF8C6609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368c5656b3170ac18fccb8cadfc0a65f2b4fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cd78f1cf8609ec21194f0523d7aff519940f35","datavalue":{"value":{"amount":"+0.86152655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$77994570-9296-45DA-90F6-36F03A180034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c9b8fce0be595de666ef3297937e07fc74627","datavalue":{"value":{"entity-type":"item","numeric-id":4218141,"id":"Q4218141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b876f2287ad4daa5f522eee301e681092646631","datavalue":{"value":{"amount":"+0.8502103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$0B95E313-ECB2-4E32-A552-CD219E25B9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5f2925515b394ed6f3030e6913a07175961901","datavalue":{"value":{"entity-type":"item","numeric-id":987805,"id":"Q987805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20f9f425f41fd0393f1dd53362408108ae5d17f","datavalue":{"value":{"amount":"+0.84650373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$E97EB448-7081-4AC1-8962-9B6E1B399516","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":"bb6fb0d53945f87089a013cc530e25b95734d63e","datavalue":{"value":{"amount":"+0.84603184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1016038$A1C3E4F0-B7CC-4509-97AA-040E687C6B16","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1016038$78E3DB5F-40D5-4DC4-BB10-69E8CDC1ED61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1016038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1016038"}}}}}