{"entities":{"Q3084594":{"pageid":3095309,"ns":120,"title":"Item:Q3084594","lastrevid":85726373,"modified":"2026-06-03T11:18:14Z","type":"item","id":"Q3084594","labels":{"en":{"language":"en","value":"Data representation and efficient solution: a decision diagram approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869997"}},"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":"Q3084594$E3C96726-E532-4588-BA16-24ED9FFEBADD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd878a7d6b53579bb8e80a3d500ea79e10dfd83d","datavalue":{"value":{"text":"Data Representation and Efficient Solution: A Decision Diagram Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3084594$43CB8B5B-2D68-402C-85D7-32DC91A95C26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0384b2858d58c7e9501e7d848870ff31ac7db60","datavalue":{"value":"1323.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$2D14EB2C-A506-466F-BC01-D43A952D0E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a23cf3a423f380d32f0206c7f184d0e50eed35bb","datavalue":{"value":"10.1007/978-3-540-72522-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$F3116400-2DBB-4920-956D-139E99A9BA72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4a9452230b48b25729b39bc47037fb4f65b446","datavalue":{"value":{"entity-type":"item","numeric-id":2158284,"id":"Q2158284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084594$71F3868B-0C24-4DCF-9A81-1DC0F1D12FCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f056f7a1a7b956cfb0904c3e9d3f91d89452ce89","datavalue":{"value":{"entity-type":"item","numeric-id":3084585,"id":"Q3084585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3084594$1F49C9FA-B973-4FDC-A460-D5C1163E2A4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16c9a1933e1fdfa35e8488934a9f704f41ab136f","datavalue":{"value":{"time":"+2011-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3084594$E9D824F2-124F-4958-BBF5-95C4AE6D92B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$D06F44AA-65ED-42D7-B699-189925F6263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$30EC7FC7-220B-4E35-9CCF-B3BF0F05A08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$6B0FF045-8CCD-4255-B306-0CA66AE5C3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$F879D2B4-D1A1-4659-966F-6506C8DD826F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0952dabdf9374efe3d879f15ac9da2d07432053","datavalue":{"value":"5869997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$ED5C0C6E-8BFD-447A-BCCE-8F6C3E36D359","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$19AAD50F-246E-4EFD-B3B0-06DCE612AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601ea8ad275668319aed553583a468a03dc83444","datavalue":{"value":"multi-valued decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$F23A6331-DC9F-4C09-A17E-D05A2F5131F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c486118c65964ced405613d895b3c3cbbc6c1f90","datavalue":{"value":"edge-valued decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$7AB9F908-97C3-445C-878B-9FEF402E2434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7d5745970751dfe5e1719f69572b4dbdde51d6","datavalue":{"value":"state-space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$3E1F5EDA-A9F2-40C3-8524-68136CC1CA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$6F39AC8A-3D27-49E5-B521-B7E868C5FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d340d862a7924b60569715773d28927b4bafd663","datavalue":{"value":"Kronecker algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3084594$8032E674-69B4-4E0D-8CEA-0A970E2634AD","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":"Q3084594$378656E6-C27D-4151-86C6-EFD7C3B93923","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1675eb42800b1f885e4e1517482ff314bb7f7c90","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72522-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3084594$BC4EFDDB-D8BD-4000-9DFE-F006350D8886","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b336f5641aa20e2beafca8c4c7dd45b938f5079","datavalue":{"value":"W2156296817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3084594$CD8EA533-4645-4ED4-A8F8-CF3934E94A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaad2ef115915cb89a46561e90a9d6433c28a0b","datavalue":{"value":{"amount":"+0.8271103501319885","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":"Q3084594$36C5A393-25CA-4E49-8BA2-7749AE585288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad85dfcc116d1a9e05369a87275933300f5ccc59","datavalue":{"value":{"entity-type":"item","numeric-id":5479174,"id":"Q5479174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e21db31d2bf1a3d4e323cada854d164a33c6d21a","datavalue":{"value":{"amount":"+0.8160226345062256","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":"Q3084594$B1EA58FC-AC6E-4E8F-8767-ABBAEC73DCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca2413c22e2ad719ba692319ba1f693f42e8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1606804,"id":"Q1606804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33cea49ce2f394ae9cbb2c185fdf3505a427ff65","datavalue":{"value":{"amount":"+0.8124868273735046","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":"Q3084594$FE465B2C-EABF-4FC9-8A20-F65DE6983C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad2432244288313a894ee17cc37193992c15014","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6130e0bb2d9e732662468186281b150d54e4ed","datavalue":{"value":{"amount":"+0.8061569929122925","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":"Q3084594$41BC2CC8-6442-4CD0-99AB-5D0171DDE2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31a4a27caf24eea3899b7c50077fe84d757b19a","datavalue":{"value":{"entity-type":"item","numeric-id":3045255,"id":"Q3045255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a83bf74b1b1309d5b352e998acc9f88d0436556","datavalue":{"value":{"amount":"+0.802332878112793","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":"Q3084594$15A8F285-93DE-4EF4-9B3D-9EC69753E0CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data representation and efficient solution: a decision diagram approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data_representation_and_efficient_solution:_a_decision_diagram_approach"}}}}}