{"entities":{"Q6825925":{"pageid":15095599,"ns":120,"title":"Item:Q6825925","lastrevid":56071249,"modified":"2026-03-09T08:03:57Z","type":"item","id":"Q6825925","labels":{"en":{"language":"en","value":"Algorithm Class: Lattice-point enumeration via threshold BDDs (0/1-polytopes)"}},"descriptions":{"en":{"language":"en","value":"Counting/enumerating 0/1 points in polytopes using Binary Decision Diagrams, with emphasis on variable-ordering heuristics for compact representations."}},"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":"Q6825925$F2D229EE-462B-4191-8124-8341534503BF","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":"Q6825925$10C93274-0B8E-48CF-AA84-4016D011C625","rank":"normal"}],"P1765":[{"mainsnak":{"snaktype":"value","property":"P1765","hash":"24c47d826f5034acecb20a98c902eca9a0d710c6","datavalue":{"value":"al:Class_Lattice_BDD","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6825925$362279E5-C699-4130-947D-366FD5E70C02","rank":"normal"}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"2e1f84d5d3307872e2c043705ad4e870ce5e603a","datavalue":{"value":{"entity-type":"item","numeric-id":6825550,"id":"Q6825550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6825925$E7DEEBF6-2C1E-43C1-80D1-903679920508","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":"Q6825925$33423676-AFE7-4DB1-94BE-0004496099A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm Class: Lattice-point enumeration via threshold BDDs (0/1-polytopes)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm_Class:_Lattice-point_enumeration_via_threshold_BDDs_(0/1-polytopes)"}}}}}