{"entities":{"Q673788":{"pageid":675637,"ns":120,"title":"Item:Q673788","lastrevid":63476865,"modified":"2026-04-11T13:26:05Z","type":"item","id":"Q673788","labels":{"en":{"language":"en","value":"Graph driven BDDs -- a new data structure for Boolean functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985766"}},"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":"Q673788$1D5B6755-B0FD-4E23-9B4D-66A5C7006BF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b628dd1560b38df5705bb5669a00a127012248d","datavalue":{"value":{"text":"Graph driven BDDs -- a new data structure for Boolean functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673788$88E1FC68-E764-4A4E-910B-F996FA2B8E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a345dcdd92524e16a158f88a886ae3b0196e39","datavalue":{"value":"0873.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673788$C83E13B7-D41F-41A7-8569-878E1E59669B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f1df9f68e1873fef7d689ecee11371ebdf10bcc","datavalue":{"value":"10.1016/0304-3975(94)00078-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673788$DADF8E09-B1B9-41F6-B65F-F972D5A6DCFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad68ae0b32e7bd128d545ceeb6b30fc05a2b0b39","datavalue":{"value":{"entity-type":"item","numeric-id":210284,"id":"Q210284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$0331669A-348E-48E4-90C3-685BC8EEC454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$1DB5180A-DCF4-4B06-A46C-BA2D484EAF05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$BABBF33A-E5F7-4967-925D-564C27D818A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673788$38D4FD40-97FB-4317-881D-F2E629AE9088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673788$7AD32453-2847-4C9B-BF41-69FE9A0F258E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40153e296f861fb4b9d7d5c43036496b0f119259","datavalue":{"value":"985766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673788$2D00F35D-2D9B-48CB-887C-8448946AD468","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q673788$0D6B8758-1AFA-45FC-B99A-A67AFA08AC9B","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":"Q673788$9397191C-B568-49B1-A2E9-2E5D8548B366","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2203b366c82a0463c45f36551379738145af6b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3807134,"id":"Q3807134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$DDD2A3D6-69B8-4AAF-AF07-944B8388FA99","rank":"normal"},{"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":"Q673788$89D0D047-7CA7-4D51-8D0D-F1E853605D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bce9bac897f983fda4ecc0cf3bbfd3856074f","datavalue":{"value":{"entity-type":"item","numeric-id":1144943,"id":"Q1144943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$DFD38E2E-2742-4523-93AC-982D86B31C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50324ccb6206134f253ce476b8660b15930be48f","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$DE10BE6C-3FB1-473D-88DE-BB11B3B7F710","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":"Q673788$55835602-CADA-43E0-9738-895B688B234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$290EADB5-B46B-46E0-9EEF-B2C5D4D04FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67782435c81856906476d249cbb89a86efd5732","datavalue":{"value":{"entity-type":"item","numeric-id":4160379,"id":"Q4160379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$4346857E-9A9D-4295-AEA1-5D0304E34C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1626c6a073fae5477a342820cd5f34f4b930a32b","datavalue":{"value":{"entity-type":"item","numeric-id":4281560,"id":"Q4281560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$EA8B3825-4E99-45A9-88A4-569E794EEE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a53a620792c1d6ed972f10c353c8182901d68fe","datavalue":{"value":{"entity-type":"item","numeric-id":918199,"id":"Q918199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$B31AD607-FD38-42D9-B32B-CF88A030B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e09fe27f7c3ada130d82295101c384f15829","datavalue":{"value":{"entity-type":"item","numeric-id":1313758,"id":"Q1313758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673788$31EA738F-2023-4FAB-A2DE-2979A0461879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2811146844bd2fee08b0fe89d864dfbdbdaef7a9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00078-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q673788$E39B217F-A7B6-47C3-B718-5D3C91A20D3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ba67183d62270b752a7ad0400437f4acd08d40a","datavalue":{"value":"W1968923513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673788$31FEA647-59E6-4606-BF5F-067A3404ACFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816e2286a8198ed6df73a14bd5dcb37c65f0851e","datavalue":{"value":{"entity-type":"item","numeric-id":4542178,"id":"Q4542178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae8a91ccbf6520897b63b86f23f0374ae75657d","datavalue":{"value":{"amount":"+0.862048327922821","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":"Q673788$15CC0D60-DB5D-42D5-90C1-E3C22060E21C","rank":"normal"},{"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":"17d5d493818c3e1bd389feb917084fe979dbdb3a","datavalue":{"value":{"amount":"+0.8617265820503235","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":"Q673788$20C2D77E-F89F-494D-B17C-A59D34DC57BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417071963e60889aec0bef4c560d02160aef064d","datavalue":{"value":{"amount":"+0.8590452671051025","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":"Q673788$CDECE9F9-D51D-4189-BB59-62319C608FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85051722761fbec9019a04dca4a47a2658cbe695","datavalue":{"value":{"entity-type":"item","numeric-id":4412138,"id":"Q4412138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207b59c7c18d93f8782ce9b5658aafab45957b87","datavalue":{"value":{"amount":"+0.8489757180213928","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":"Q673788$67461CC9-F80B-43D5-B963-D180DBAC38C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph driven BDDs -- a new data structure for Boolean functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph_driven_BDDs_--_a_new_data_structure_for_Boolean_functions"}}}}}