{"entities":{"Q6535560":{"pageid":14146703,"ns":120,"title":"Item:Q6535560","lastrevid":57576078,"modified":"2026-03-31T11:26:29Z","type":"item","id":"Q6535560","labels":{"en":{"language":"en","value":"ZDD Boolean synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793089"}},"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":"Q6535560$A16A0AD8-7B46-4939-94CB-0E64E475AE89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2dc0b0a734283ceb8d88bfc118f0f66807c07f1","datavalue":{"value":{"text":"ZDD Boolean synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535560$C6BA7B6F-989C-407A-961A-87012AAF5741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"066ea2d57a0e286bb68143d7fef9dd03186890c1","datavalue":{"value":"1547.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535560$4E9FEA29-B4D9-4D33-AA7B-223627CA3F6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69e2f630b1e9f1dd51a0a058bf727f68b0bd0356","datavalue":{"value":"10.1007/978-3-030-99524-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535560$385F49A2-A314-4D8B-8E9A-F7182F155BD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c02eea054585a9b007a89e693183e434b10847","datavalue":{"value":{"entity-type":"item","numeric-id":861051,"id":"Q861051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$6D14FF5F-E75C-4F2A-8B6F-56C0CA89C178","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":"Q6535560$7CEA7E22-ED82-46AA-962C-1D1DB24BAAC2","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":"Q6535560$F0F179D9-27E8-4B2F-A0EB-96833B957C62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535560$2C772E9D-D5DB-4EAB-86BC-CB491525F0AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535560$BB0F483C-BB17-4E1F-8BA9-BC893105D33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535560$60192422-5AD2-4AD1-AB10-8D6485CDFD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"accfaa700fe0dd83b8cc3e0765b5eaf75ec52a3d","datavalue":{"value":"7793089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535560$84EE9839-D09F-495D-826E-01493F25E689","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a681125df04e49d34f0d22d8f6d83a29860a3f2","datavalue":{"value":"Boolean synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535560$A52C210E-1EDD-4050-842A-363E9DEDFCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535560$739FE9C7-B792-407E-BB74-5A12E690DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eafc734dbe72dfeb8d7b1ff5c00ac109635b683","datavalue":{"value":"zero-suppressed binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535560$40C003AF-51F3-4218-96EA-F5F47F546A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535560$EBC1AAB6-3C0E-4EE0-9FAE-8768D6C591F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535560$100604BB-EC56-4058-963C-BDD250B8E5E7","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":"Q6535560$1609B5D4-7AE8-4741-AC24-B91838F80D47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96eb372905fff95217379fabbb2cde4a7f97e64","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$23D905C3-2414-4206-888B-0F6B69C121EE","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":"Q6535560$C110DDAA-6715-412F-BB2C-23AC785C4200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669705834fb7a1531543cd81b63b94a38d7cc93","datavalue":{"value":{"entity-type":"item","numeric-id":6102165,"id":"Q6102165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$18A2200B-64EB-4B8E-80D4-1AC76F53D428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c9398475f7fa9379872481d74552458b55195f","datavalue":{"value":{"entity-type":"item","numeric-id":2723442,"id":"Q2723442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$0E744B9D-6BBF-4F54-8EF6-56F859F2AB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$CDC5E6F0-EA26-4792-ACFB-907E816C6C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e2cde3097e5ef0eb181be7885c31eb8953a9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1391940,"id":"Q1391940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$0C801A5C-D26E-43A0-8735-E9A324FE4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e4e76490a5c28083bcab52b3a1dc245c225aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2118296,"id":"Q2118296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$F7C0C1A4-4479-4AD3-A1C3-F79F2E683419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b5b9bab55d39744ad21716dc7fbe20ef4197a6","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$54396F07-8245-40A3-99EE-FEA16A458975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9710a22603c07299f252d6ff60a776152e3fc44b","datavalue":{"value":{"entity-type":"item","numeric-id":2754078,"id":"Q2754078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$8DD156CD-DBEA-4B0F-B7AD-B00838CE587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$D8A30EE8-D820-4B1D-9415-143F305BCEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$A96D495C-9ABC-4D58-B76B-D67601C2AF0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d88e1ddc85f16f6849edb0575b697310b0811a7","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df54e74805bbca2e8ef7f67536e3c8e8ca289770","datavalue":{"value":{"amount":"+0.8517348170280457","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":"Q6535560$5BD06519-971F-4FDC-9805-FDBE7202C76B","rank":"normal"},{"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":"f2b43f33b2a4000a3139d5c54c493d150b7dc2ae","datavalue":{"value":{"amount":"+0.8230820298194885","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":"Q6535560$4B94E93E-860E-4945-9BFA-646CB95E2CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef7da0a15f87b7d78d431ae73248c1966eb322b","datavalue":{"value":{"entity-type":"item","numeric-id":6630716,"id":"Q6630716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b127fd42cc3fb79b5c88efc95643be7885a5321","datavalue":{"value":{"amount":"+0.8209875226020813","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":"Q6535560$605FE9A7-9682-486C-B2EE-6395676B691C","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":"d97fe2e439d0bdd85644abe8dbcf2d6978858966","datavalue":{"value":{"amount":"+0.8136705160140991","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":"Q6535560$405BA66F-E1B2-4E7D-B75D-C1D0A26C71AA","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":"b4c5f099eb6d71fe6b5507b3e4319390da9e28be","datavalue":{"value":{"amount":"+0.7975507974624634","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":"Q6535560$FF884D25-0372-43E7-BC58-06EFC9CDCE75","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535560$DE8862F4-5A11-4E40-B28A-22AE98207E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535560"}}}}}