{"entities":{"Q6535193":{"pageid":14146336,"ns":120,"title":"Item:Q6535193","lastrevid":95734070,"modified":"2026-06-05T09:40:23Z","type":"item","id":"Q6535193","labels":{"en":{"language":"en","value":"Computing under-approximations of multivalued decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7766962"}},"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":"Q6535193$D823DAF6-A1FA-41B8-8709-0FFEE5F3AC70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd61a7b7383819d5c62db2f85faeb8905326cb31","datavalue":{"value":{"text":"Computing under-approximations of multivalued decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535193$9F9AEA00-42C7-46E8-A0C1-D19161F475D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df9015b557a62ecb8ed1dc6a3e9f89115ab290a4","datavalue":{"value":"1541.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$35FDB766-D0B3-442A-8357-04A1BA6DFE23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04453cb5c96f970663ae70b56fd359a7e6a9b3aa","datavalue":{"value":"10.1007/978-3-031-33620-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$76FD33FC-BF8C-4AC5-8FF6-B7A5820A0147","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"414657b39cabf1fe798882b235559393e3ca9a61","datavalue":{"value":{"entity-type":"item","numeric-id":6535192,"id":"Q6535192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535193$CD5DC3BC-51C0-4F99-B69E-FF174CF08850","rank":"normal"},{"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":"Q6535193$A37A1538-EB46-41D8-8051-0A5B7B06FCFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3ecea5c09fc0c2fccf666e4f503b4f338e1922","datavalue":{"value":{"time":"+2023-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535193$D141ACD3-3D41-4E72-A72F-C9E768D9E5FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$919DEAF5-3B9D-4AFF-A0EE-86569ABE3F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$3E40765A-6241-4B44-9DBC-2848BE56D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$B704BA8F-0E72-47E0-875B-B08557B4E600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1df6a2604f6ca4d5fa961024266911622924d14b","datavalue":{"value":"7766962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535193$276C7135-CD8C-4644-9237-7B41B4B813D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535193$FE924559-D816-4F4C-8BC4-435FF7B1D8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535193$5BF1CF71-E46A-439C-92FE-D5B9A21FC770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42558cb28cc83f720c7f94e055483509d5c0b461","datavalue":{"value":"memory constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535193$00C3CF8D-5F59-411E-9BE1-5463BC744BAB","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":"Q6535193$3C930697-78EA-48EE-8E7F-4257EFE844B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535193$0E0C3881-017B-4C6A-83F4-A38B0CD9298E","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":"Q6535193$71174922-B1F4-4872-AF5B-1F86DFED6713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8074f3bc87dd5a5e80eadac646f8a1478d703585","datavalue":{"value":{"entity-type":"item","numeric-id":3896499,"id":"Q3896499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535193$197B53B5-EA18-40E3-A4A8-016319395B0A","rank":"normal"}],"P1643":[{"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":"226f4430c3b7ee1d9c1b7a1c7faf6f269da537b2","datavalue":{"value":{"amount":"+0.7806977033615112","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":"Q6535193$8899CCFD-7162-4772-A34B-7E7AE2C1AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4679efda35bed3bdba3322df8ca382e811e546c5","datavalue":{"value":{"entity-type":"item","numeric-id":2891405,"id":"Q2891405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232c357f17d4ea21ad6301e72b28e613e4522bad","datavalue":{"value":{"amount":"+0.7538210153579712","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":"Q6535193$9F03974C-405D-4482-9D3C-CCF163E640C7","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":"b38519aff6d633565f8e56de2e035d31d1af787b","datavalue":{"value":{"amount":"+0.736696183681488","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":"Q6535193$35385D79-FCF4-4FD8-B3C1-33B91E8C985E","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":"52ce1ae40349879dec314b910e8923387f8e04ef","datavalue":{"value":{"amount":"+0.7359761595726013","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":"Q6535193$E3670750-DCFF-4A73-8996-6CC1D7223FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99e5e0ba057c6fe232d3763db011a9f9be580b","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8eb0b524d9b3b084e62ff02ce1ba26495c0482","datavalue":{"value":{"amount":"+0.7336186170578003","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":"Q6535193$10E9F6ED-C0A7-4C0B-882B-777A1ED416DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing under-approximations of multivalued decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_under-approximations_of_multivalued_decision_diagrams"}}}}}