{"entities":{"Q3574331":{"pageid":5604235,"ns":120,"title":"Item:Q3574331","lastrevid":51039107,"modified":"2026-01-16T08:21:46Z","type":"item","id":"Q3574331","labels":{"en":{"language":"en","value":"Boolean satisfiability and EDA applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5734791"}},"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":"Q3574331$62D9023B-3EDF-4FE5-8773-858BA9F9A79F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dec05fcdffcafb077c7b9cfa0f373cb4d70d198c","datavalue":{"value":"1209.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574331$830E5E2A-5562-42C3-B0AD-52F8D98A9383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e446c3da66317e361eb85ea02adb511c255b6cab","datavalue":{"value":{"time":"+2010-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3574331$6BA41B1A-CE93-4D36-BBCF-A8CD53E251BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574331$16CAA877-39C8-4F07-B0E8-842466CDCB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574331$AB63287F-BF94-40AD-9681-7B2CB3C7AADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9da03b329ec1dd6decbca67c438a0454f3a9a5db","datavalue":{"value":"5734791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574331$F5EBBFDD-D06E-429C-BD22-1F0667C7E15B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93075c113c514ec5cfef089f598511d50a0c8524","datavalue":{"value":"SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574331$3BF544C9-5766-4AE5-8627-F770A65131A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac6d4fac9dc301434a2035d6f9107a18730c067","datavalue":{"value":"EDA problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574331$D22A126F-D7EA-43FA-8721-1B3713DF2699","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3574331$56790D19-71AC-458B-90BB-4092513638EB","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":"Q3574331$9172A7AE-D0E0-4591-861F-B4079BCACE66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc218b139dbc617f572f99f975331fd47d5a690","datavalue":{"value":{"amount":"+0.8143421411514282","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":"Q3574331$1DC33632-95BC-48C3-AAF6-10803BF06DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5975a5b7036edcb8bd2bbeae5733e05f7a97b54","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558b56db579cc68eed4f1b7f4447086cf3fc77b2","datavalue":{"value":{"amount":"+0.7738074064254761","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":"Q3574331$9DC8ABCD-63C6-4536-A4AE-AC2F1EB7F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae729aa3b336adbd0867e9deb0ff690f73e11e45","datavalue":{"value":{"amount":"+0.7662456035614014","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":"Q3574331$80CE7993-0374-4253-AFB0-699A7C11042B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c63986bc7877fd690d0d55e152223739c1cf2a5","datavalue":{"value":{"entity-type":"item","numeric-id":3527691,"id":"Q3527691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a50a3ecd21b54f46928967e9ee73976638341ca","datavalue":{"value":{"amount":"+0.7659984230995178","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":"Q3574331$CF186FDF-CAFC-41A9-846F-605A694EA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292de707885a80bb043d6e8b5e44de9e52e72bcf","datavalue":{"value":{"amount":"+0.7648095488548279","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":"Q3574331$29CEA0CD-B552-4656-9810-25CFCCA11909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3574331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3574331"}}}}}