{"entities":{"Q6825859":{"pageid":15095218,"ns":120,"title":"Item:Q6825859","lastrevid":56071051,"modified":"2026-03-09T08:02:20Z","type":"item","id":"Q6825859","labels":{"en":{"language":"en","value":"Algorithm: Enumeration of 0/1 points with threshold BDDs (azove)"}},"descriptions":{"en":{"language":"en","value":"Builds BDDs to encode 0/1-feasible points subject to linear constraints and enumerates/counts them; performance hinges on variable ordering and pruning."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"3549c24f9ade438a3be5e15249f51b5c11a6425f","datavalue":{"value":{"entity-type":"item","numeric-id":127020,"id":"Q127020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$18DAB969-0025-4B64-BAE8-83F5E703E54D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"0a78f5fbf685685f63a07a4db6904077932b6231","datavalue":{"value":{"entity-type":"item","numeric-id":6503323,"id":"Q6503323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$4C273EA1-16E6-4E88-8EF3-B1CD95A2DE46","rank":"normal"}],"P1765":[{"mainsnak":{"snaktype":"value","property":"P1765","hash":"b590f4a79a1039e868f3a236e190cc57082f9bf5","datavalue":{"value":"al:ThresholdBDD_Enumeration","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6825859$BCC64C0B-A0BF-470F-9773-DDB300540D6B","rank":"normal"}],"P1766":[{"mainsnak":{"snaktype":"value","property":"P1766","hash":"76ae405c21cc184cc8853bc7cc8854f664199f7a","datavalue":{"value":{"entity-type":"item","numeric-id":6825333,"id":"Q6825333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$583B3B7C-BA71-42E1-B7AA-1B17201BADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1766","hash":"87bd800c74911e431ed1f01b9171c7ff0590624c","datavalue":{"value":{"entity-type":"item","numeric-id":6826050,"id":"Q6826050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$F1758BD6-473A-41C5-B612-EE85A5135C15","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"ec52207f94bc37165c59d35bf1f40c3fd7c95fad","datavalue":{"value":{"entity-type":"item","numeric-id":6825925,"id":"Q6825925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$A6770E66-D7F9-4F7C-BFE8-D6FFAEC348AA","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"f7bea0763198128b1ed96215d444e17fc7a54917","datavalue":{"value":{"entity-type":"item","numeric-id":6824376,"id":"Q6824376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$E6623AEB-2ABA-4936-869C-DF3CA378EA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"07628a1afbb33d85ebd0a588f26fbaac6285f345","datavalue":{"value":{"entity-type":"item","numeric-id":6824453,"id":"Q6824453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P560":[{"snaktype":"value","property":"P560","hash":"0fdb9ce5977ea4c8a2a0c645a859d743e941ddd0","datavalue":{"value":{"entity-type":"item","numeric-id":6672349,"id":"Q6672349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P560"],"id":"Q6825859$C1DA733E-FFC7-4C28-937C-6EB78EA13296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"07628a1afbb33d85ebd0a588f26fbaac6285f345","datavalue":{"value":{"entity-type":"item","numeric-id":6824453,"id":"Q6824453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P560":[{"snaktype":"value","property":"P560","hash":"5f11056f12b0006ea090c9356d178e1dd18db1de","datavalue":{"value":{"entity-type":"item","numeric-id":6672344,"id":"Q6672344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P560"],"id":"Q6825859$D59E7732-5A0A-40FA-BFE5-09B9E9A157EC","rank":"normal"}],"P1495":[{"mainsnak":{"snaktype":"value","property":"P1495","hash":"f2805069b00f1b632c8b9c49f426bddff1a8d1c5","datavalue":{"value":{"entity-type":"item","numeric-id":6830558,"id":"Q6830558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825859$FEB25FFD-5962-431C-B3A1-3CA171B0709B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm:Enumeration of 0/1 points with threshold BDDs (azove)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm:Enumeration_of_0/1_points_with_threshold_BDDs_(azove)"}}}}}