{"entities":{"Q2389616":{"pageid":2400359,"ns":120,"title":"Item:Q2389616","lastrevid":72681315,"modified":"2026-04-14T06:28:20Z","type":"item","id":"Q2389616","labels":{"en":{"language":"en","value":"State-set branching: leveraging BDDs for heuristic search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580245"}},"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":"Q2389616$D8E5472C-AC13-4315-AADF-1FBB7AFE18AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fbf85c58e6192c9b1d49ff88313f7068fac4c4c","datavalue":{"value":{"text":"State-set branching: leveraging BDDs for heuristic search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389616$929FA45E-F4BC-4428-A3F0-77F74A06CC56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abfd1f0fd5e62a2761b27092d2fe63a7c29e3586","datavalue":{"value":"1182.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389616$8A34DCB2-CB19-4884-A14F-31D7A32E5CD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb128ab23e53a4e12deea879d678706afdd3aeba","datavalue":{"value":{"entity-type":"item","numeric-id":2286873,"id":"Q2286873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$806EBE17-A353-418B-BFB7-0F87B6BD7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9e35ad5913195eb593489e74765ddd996d1602","datavalue":{"value":{"entity-type":"item","numeric-id":460623,"id":"Q460623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$B66A339D-80B6-46CA-BD84-B9C2CEA08ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$0F215625-FCA5-449D-AAE9-98BF82E79FF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$339FF9A8-2263-498C-8460-A3FFF5481EAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"895fde569e76df2f055cb42fcee60c0329a59331","datavalue":{"value":{"time":"+2009-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389616$7D40AE48-0A07-4B51-A95F-43C236FAB038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389616$30BD8FF3-2FFF-4760-ACAF-5735F33830BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c9e3167d70e09c6446f62948a54822434d160b2","datavalue":{"value":"5580245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389616$230A0F7C-8CD5-4A4D-9EB3-9003627DC208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389616$3455AB8F-477C-48E6-AE20-53CF9A405CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cd8441d2be1e9264add78a488e770d0dd44e21","datavalue":{"value":"BDD-based search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389616$D43ABA69-C375-48A9-BFDC-2D9513E3E976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd0316967df327262c8e2789e587d5cfd82e6af","datavalue":{"value":"Boolean representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389616$4559076B-D1ED-4A93-AFA7-44ED36F55B41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91f8109f9ed2f04d12462882caaf1148ee5f31e0","datavalue":{"value":{"entity-type":"item","numeric-id":19137,"id":"Q19137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$6E6604AE-340F-4507-BB6B-09739A0BF082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c08b821e2757e65336a65d387f7a2d3401521642","datavalue":{"value":{"entity-type":"item","numeric-id":17930,"id":"Q17930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$7E71B749-89CF-4B93-AF07-6EF3F0C031E1","rank":"normal"},{"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":"Q2389616$FB91DD0E-4C89-4401-B3F1-AD31F1EA2B65","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":"Q2389616$2676E8BE-5095-474A-86C8-382AEEF29FA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02478f4dfd76bf3bd2524aeadac0656ec2bb3eea","datavalue":{"value":"https://doi.org/10.1016/j.artint.2007.05.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389616$4091BA89-6B84-4909-9635-8615E2534DD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3f0a520c40c2ba4016717df424fcf45fa7dda6c","datavalue":{"value":"W2122000203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389616$276B50D6-D6AD-4FA8-895E-D6EC16F8BF67","rank":"normal"}],"P223":[{"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":"Q2389616$DAFF9C69-8AEE-4269-AD87-BDFE78C55700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c802bff99753e7bf4b2454f3cfb1065a514958","datavalue":{"value":{"entity-type":"item","numeric-id":1329372,"id":"Q1329372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$EC5E9D5E-CDD4-49B2-A2AB-8AF993F479A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e033e049c5f1a26ce9b84deda7f1f418424a90","datavalue":{"value":{"entity-type":"item","numeric-id":5941310,"id":"Q5941310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$2415CC86-B132-4A3B-B1BA-E6F51B6D40A8","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":"Q2389616$088A1584-41C0-45EE-9D6D-1BDA16AB56B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bf019ca42ed6b74e697390ba04be423e01b357","datavalue":{"value":{"entity-type":"item","numeric-id":3624010,"id":"Q3624010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$185BDEC0-7E66-4CA7-AD4F-C605312C12DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f887475056f853e69431dc44504a1f573af60cf6","datavalue":{"value":{"entity-type":"item","numeric-id":814470,"id":"Q814470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$BDAF5AD1-F4FA-44B5-BDCA-E389F44F739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e676edf9a61c14434cc1c48090af5e6d67c733","datavalue":{"value":{"entity-type":"item","numeric-id":4527271,"id":"Q4527271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$97EB7BCA-9F9D-4A6E-A44C-1A221EDF18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$3969455B-E93C-4B46-AF81-9F2BBB650640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$9279B599-E681-4B10-88DC-308F4B6F274F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e04f4148d7054be79b38b34adb36da2cc4b5db3","datavalue":{"value":{"entity-type":"item","numeric-id":5715723,"id":"Q5715723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$B46844D6-26F5-439E-AAD5-3AA8CB4BE069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af42d21e0650c72e08918183d753c2059b0b0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4527273,"id":"Q4527273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$DBBDD64B-3C8D-4A0C-80BD-862584F0B3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$2D2CD890-12D2-4B40-BE1B-BBC72B3111CC","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":"Q2389616$9B3E0B06-495D-47C8-8298-5C23ECB3DA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ac97e99b78c9a39dd9219b9eac958e93f6dab1","datavalue":{"value":{"entity-type":"item","numeric-id":5191621,"id":"Q5191621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$DDA736D1-B8DF-48BC-8C80-AEA9F55D0D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1ceeb8b3a8be517562af772ac048285c9c60a71","datavalue":{"value":{"entity-type":"item","numeric-id":5308429,"id":"Q5308429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$42D67B35-F17F-4DAF-8B56-B61D4D6407BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac388187849dd0151118ddd114ac013d0b2aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":4493879,"id":"Q4493879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$1A584128-66AC-436C-A005-BA5E2FB7C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852596f4317e4a5e15184765ef82e927a67896b0","datavalue":{"value":{"entity-type":"item","numeric-id":5710796,"id":"Q5710796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389616$8EB378EB-8FDD-499F-8B37-B6357373B147","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":"Q2389616$B0DB60E0-C164-4429-9A40-6B38336A01FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d1c2997f80179b90025ba1d0a7af315e59b5fb1","datavalue":{"value":"10.1016/J.ARTINT.2007.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389616$64A3F923-C3B7-49D0-87A4-A7F98313E293","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e91d02eee9cb9d2d6827f8fe7943652e8513ead","datavalue":{"value":{"entity-type":"item","numeric-id":5191621,"id":"Q5191621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e57a0af8fbee653e18520a027483484b132ec27","datavalue":{"value":{"amount":"+0.8039146661758423","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":"Q2389616$51451EC4-FCDA-4332-9130-B54666914752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e6b507cdfa1554b9b7a91b95104d9207f7f71c","datavalue":{"value":{"entity-type":"item","numeric-id":4737581,"id":"Q4737581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5607310f72ddd582f1162dc2da0f90dcc158e1","datavalue":{"value":{"amount":"+0.7970387935638428","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":"Q2389616$64A8CB5A-60B3-4C49-A5C7-9A2EC56CBB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98f3d44af7ba56126663f97358024a9e7badb97","datavalue":{"value":{"entity-type":"item","numeric-id":840833,"id":"Q840833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df5a7d586dc3fdcbc7472caed625e348566e848","datavalue":{"value":{"amount":"+0.7916355729103088","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":"Q2389616$EEA76B1D-1AFD-4CA7-8B53-5B453756C370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27a82d247e91369635afbaa9a27945a0ab078d4","datavalue":{"value":{"entity-type":"item","numeric-id":343909,"id":"Q343909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e53e05d237cf8c726fc8e5fde430ba139fe5ca","datavalue":{"value":{"amount":"+0.7592750787734985","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":"Q2389616$F73343A7-B844-496E-9A05-7EF9B796BAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952d40a33c2a2251fb2f5768c305737f38ef55c1","datavalue":{"value":{"entity-type":"item","numeric-id":2938478,"id":"Q2938478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3864c74a0f97797d4b6844ef45b0409d27157c0","datavalue":{"value":{"amount":"+0.7591491937637329","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":"Q2389616$97FA6988-E5AE-480E-92D7-8BCECFEFC556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State-set branching: leveraging BDDs for heuristic search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State-set_branching:_leveraging_BDDs_for_heuristic_search"}}}}}