{"entities":{"Q4633560":{"pageid":6663141,"ns":120,"title":"Item:Q4633560","lastrevid":90104675,"modified":"2026-06-04T19:14:55Z","type":"item","id":"Q4633560","labels":{"en":{"language":"en","value":"BDD-based Boolean functional synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050746"}},"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":"Q4633560$BEE89D47-C0DA-47D8-84BC-6151765E6F2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7749add31973522b72487180bb9731d8a88e9799","datavalue":{"value":{"text":"BDD-Based Boolean Functional Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633560$37AA209B-74D1-477F-901B-79BF84565E5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccda89d0eb901951c10baf5a544cd3dfb7442f67","datavalue":{"value":"1411.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$4B9634A9-BDC4-464B-88B1-CED8C3C169A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eea266c41429265e534be2b3e94721122de0a45a","datavalue":{"value":"10.1007/978-3-319-41540-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$932D5B9F-A3E9-4258-A8BC-48957678B1E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce3235ec129ad3625a486882d6986bbad2750a54","datavalue":{"value":{"entity-type":"item","numeric-id":386989,"id":"Q386989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633560$0ABD2F20-8566-46BB-9F9A-36F240035A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50261e2c1423d51f536b2cd6642a289db3bedc50","datavalue":{"value":{"entity-type":"item","numeric-id":784103,"id":"Q784103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633560$27076E9D-0A2D-482F-A061-09B91641A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633560$08ED4E6A-7686-4448-83CD-44604F5B737F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633560$D4B993EA-FA46-42F0-84B5-AD874B5608E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-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":"Q4633560$FBC6F631-704F-411D-9A8F-0A441876A741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$44460D60-B5B9-40B6-B4F9-FAC5DC1B84B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$A6E200A0-0264-4D12-BBF4-C02CCC5AC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$EDDDEA17-6237-4162-9EA6-8F2D4133AD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61ae645730867078bb3b238a42acc00e3c0efbe2","datavalue":{"value":"7050746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$D3756416-BF2E-478A-A54C-AE7B334F6E9C","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":"Q4633560$C1ED94CF-E7FF-45F0-8442-8EACB82C3684","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1a793ce347e6071273defef7f3e15a058027fbf","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41540-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633560$BBF6CED1-A688-4936-8C85-9DA054D304A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55f810e7a0fc408b67d3b872af12bd2468e9cb2b","datavalue":{"value":"W2505627961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633560$6773B64E-8EC2-46C9-B0F1-2C002AA28641","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dc29971954425bc7712e86b4962700f69939dc","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0961109e69aaf68165d596b429552c063d4714","datavalue":{"value":{"amount":"+0.804594874382019","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":"Q4633560$D24D0A82-02AD-476F-A201-2E1B58808112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be946f02e692896d7a0e357d6887a420cde4b641","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0faeeb6aab603a7f55f0792f82d866d637b08e","datavalue":{"value":{"amount":"+0.8043138384819031","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":"Q4633560$8F9428F3-2A9B-4F18-8F21-4824A4D90697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb42c4ef10ac9e969c090494172d73496dd4d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54d51f4a18cb730db97bd147ddd39d949595f90","datavalue":{"value":{"amount":"+0.767340362071991","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":"Q4633560$246909E4-B6A8-42B3-88D1-20E987D2AA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1dca324120ddb9e7c2aafc7ee4afa691ffaf39","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817e1099b58505bcc2e0d0eb1f04435afbc95491","datavalue":{"value":{"amount":"+0.7565091848373413","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":"Q4633560$CBBB4DA3-B835-4469-AAA6-99F51BEAA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23a66b3ea8973f6022153552b744b9ae0fc541","datavalue":{"value":{"entity-type":"item","numeric-id":5096325,"id":"Q5096325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1e685e773d5adcd228792c97b5403afa6d19ce","datavalue":{"value":{"amount":"+0.7546967267990112","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":"Q4633560$E0FA40F5-7DB2-49C0-AB87-FC168B339070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BDD-based Boolean functional synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BDD-based_Boolean_functional_synthesis"}}}}}