{"entities":{"Q600975":{"pageid":602751,"ns":120,"title":"Item:Q600975","lastrevid":51118196,"modified":"2026-01-16T18:50:41Z","type":"item","id":"Q600975","labels":{"en":{"language":"en","value":"Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809931"}},"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":"Q600975$DA24B40E-625A-4731-93C8-C04924D0BA11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"119a7bc43f9dbec8d49355280cbc546f7c93a221","datavalue":{"value":{"text":"Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q600975$0E2675B4-106E-4F2E-9B9A-15AD68E9821D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c5157eebc9d7a8a9fb54cbe613b4d75b65e16ce","datavalue":{"value":"1214.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$DC9B0D65-E97E-4818-B68C-66D72AC68C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8517bb740811614e9c9211119eb276dabf85e09","datavalue":{"value":{"entity-type":"item","numeric-id":488237,"id":"Q488237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$B186E638-E059-4322-BFF5-85700F3D7B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949e78a66cf5c91e4a4ce5d9e267895c69248c77","datavalue":{"value":{"entity-type":"item","numeric-id":600973,"id":"Q600973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$71D7127A-C1A2-45B0-AA98-E7762D77707A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09a44014cc2ebded009fc7f91c1b53f7ed6e6580","datavalue":{"value":{"entity-type":"item","numeric-id":600974,"id":"Q600974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$0E4E1DF6-CD14-4448-AD65-14DE0ED44C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$08D09AA3-BE7A-4185-8B8E-34ACC9596443","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$B73B633B-EDF7-493E-8B7B-5B6F262ABD79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"25cd2e09c2f6a58ceadbae256038e4067d8608c3","datavalue":{"value":{"time":"+2010-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q600975$8D41BFB6-1490-41C2-8E3C-F95657D91670","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"775cd4510850eea445636544f0f76aa61fb854eb","datavalue":{"value":"http://hdl.handle.net/20.500.11850/22325","type":"string"},"datatype":"url"},"type":"statement","id":"Q600975$1690DBCD-DE19-4DE2-ACCB-91407881F8D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$F9409091-F7DD-480B-9DBC-C1787523327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$ECE90180-9CA1-4921-A4D2-9E3A63F51A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$FF8A1252-93F7-4ED9-80F2-028AA0C69B6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f6337db10dbf97f776f02d99a03d17aec2bec1","datavalue":{"value":"5809931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$86D15578-6EAE-4EE2-872E-488E0B63B2A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15302daebfd66c83531c3f474eb69bd38f7061d5","datavalue":{"value":"binary decision diagrams and their algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q600975$3B1AD78A-3016-43BE-BD61-77F94B98CE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41612c4cfbd4d506f95cbc936b30fc005d6b9822","datavalue":{"value":"quantitative verification of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q600975$B5E32B86-5F14-4773-9553-FBC1F261D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4da8de4a488492f452d4c950c5bd73954a93812","datavalue":{"value":"symbolic data structures for performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q600975$6F6BF906-A241-4689-8AB6-DAE41F673296","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03e289d53457efee2601ac12417ea76e64e91be6","datavalue":{"value":{"entity-type":"item","numeric-id":15401,"id":"Q15401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$06F6E87B-C6AC-49D6-98EF-8BFECFB2B218","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":"Q600975$3054928A-68CB-429F-A289-858E9434C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$73CE43C2-3C21-4A2A-B256-B3B6A7DA3203","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":"Q600975$078206E9-6C8A-435A-91B8-EECC00CA4446","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bd44921374d289479ef5c48d4287af72a5876ae","datavalue":{"value":"W2047151442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$1B99FD2D-F5A7-46DD-9453-CB74B00E69D6","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":"Q600975$8097C413-EE14-46D3-8554-06DF0620DC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$DA61151B-BB1D-40F2-84E0-28E2E2C5F442","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":"Q600975$85AF6538-3528-4D8C-9775-93313154EB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a61000b964a88108517cf3ef5eb51eb15c394a2","datavalue":{"value":{"entity-type":"item","numeric-id":2642670,"id":"Q2642670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$6618C12D-F8DA-448B-AF9E-C193C9DC2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$F646A06D-7EF4-4CEA-9F04-6301EACB1BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e30e49b25e27ce41c05a912022c267c76a5abe","datavalue":{"value":{"entity-type":"item","numeric-id":1400289,"id":"Q1400289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$4B7CEDF0-7877-46CC-B7CB-C2C49D25F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f568d70c4d73f695a2c9cae93b33447dfb81c6","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$3AA41256-24B2-49C8-95F1-F164E03CF433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$DD23191E-F949-48A8-8BE6-E9574574DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09f4d36cec2f8d2be372c1fba34ac44956111e","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$76D2FB3F-7A9F-4721-87E3-CA90160E2635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1552f17be324e14f15edff47ba0c95509610780d","datavalue":{"value":{"entity-type":"item","numeric-id":4884303,"id":"Q4884303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$401D7875-63E1-4321-B8DF-4188F58354AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6456fe837e72d43574de1c8c9081ec9813626320","datavalue":{"value":{"entity-type":"item","numeric-id":4800174,"id":"Q4800174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600975$988161A1-7DF6-454E-AF2D-3741F2DFB379","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":"Q600975$BED4A526-5C51-46B9-A077-62B2B16E6684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc088cfc1a7f127719480a79fe5133b6f64b4638","datavalue":{"value":"10.1007/S10703-010-0095-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600975$0B499920-09FC-420D-A7B3-4298D32B61F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0d08ce8b16c6c12d6d769e25c48c8fedf51770","datavalue":{"value":{"entity-type":"item","numeric-id":4982091,"id":"Q4982091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7772e6a3dc6f7fd8b33cf7d45e4a3cc4719421","datavalue":{"value":{"amount":"+0.7943423986434937","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":"Q600975$3752917F-0432-44DA-927D-6F9A733E0BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef91c17b599bfca6a094e0dc4e48eb4af51d9b30","datavalue":{"value":{"entity-type":"item","numeric-id":1400289,"id":"Q1400289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c3416e7e53f7fa9c5b5e18b335773a3d3fdcb4","datavalue":{"value":{"amount":"+0.7905303239822388","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":"Q600975$7DB35C83-9182-414F-8479-E982CF006C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f8a0e7d01f034669e410e960b01c53c10d30e4","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ddba1ba44cb43c3648d2a362f82bf44111941e","datavalue":{"value":{"amount":"+0.7819934487342834","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":"Q600975$97FCA3F6-4B65-411C-99FD-31393518B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8985842524649145249bd203c50c5697778113b3","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b638dd64fc91c9f33da323c1e0c92d96749f3710","datavalue":{"value":{"amount":"+0.7746319770812988","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":"Q600975$6C6F4BCF-54DF-434F-A3F6-BEAF3DE4304A","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":"b638dd64fc91c9f33da323c1e0c92d96749f3710","datavalue":{"value":{"amount":"+0.7746319770812988","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":"Q600975$EDEDBA0B-43E3-44FB-B967-42743618FED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:600975","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:600975"}}}}}