{"entities":{"Q4993497":{"pageid":7023074,"ns":120,"title":"Item:Q4993497","lastrevid":98431178,"modified":"2026-06-05T17:30:38Z","type":"item","id":"Q4993497","labels":{"en":{"language":"en","value":"Boolean satisfiability in quantum compilation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359670"}},"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":"Q4993497$8F777826-069C-4A88-84FF-1847965EF536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0070e5ec01f4b2373e4d3e76d501cf5c2133319c","datavalue":{"value":{"text":"Boolean satisfiability in quantum compilation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4993497$5AD5163F-1EA3-41A6-8097-B3458CB18774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcf19429f3e864bc4c8fbaa5f686fd2bc4e7426f","datavalue":{"value":"1462.81065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$40B3283E-B25D-4214-A13D-FC6BC52E9999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136614d670f7218d42b9c5ee5b0393c71ed1e555","datavalue":{"value":{"entity-type":"item","numeric-id":491239,"id":"Q491239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$935BE92F-5DDD-4E31-A872-4FF26771D6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8b51f541a041e5f6cc00fb44b90dd6903e5b77","datavalue":{"value":{"entity-type":"item","numeric-id":1796378,"id":"Q1796378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$5C8F598B-19FE-4D39-B518-C3D9C37F8066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd442f824bf860da33a4e2cb4f8c739c071e3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":2692895,"id":"Q2692895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$E3771C5C-E64A-430E-A8D0-AFC82EE12298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08156fd85e91b2cffc48e122d4439e04cab7858e","datavalue":{"value":{"entity-type":"item","numeric-id":2280225,"id":"Q2280225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$DC765D53-4622-402E-BE75-C34F628B8036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d98c5894b4cfc166b8680c2daa8c845c6c7d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":929158,"id":"Q929158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$210B600B-8CD3-4807-983B-EEBFF1D3CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8d75ad37c0b32e694ae4894b1f365861a967c4","datavalue":{"value":{"entity-type":"item","numeric-id":1140912,"id":"Q1140912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$9DBE9D2B-848F-4186-B02C-3E6BACB53F02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a13ffa206096651a7eda5901a1abc51007a10be2","datavalue":{"value":{"entity-type":"item","numeric-id":144519,"id":"Q144519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$B2D82CE7-4BE7-499F-9263-2EBA0A60A207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993497$D2B6D899-DE6A-4406-89E0-0930E98433F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$BACE3497-F7BC-46AF-81BF-2B003E078D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6551b6d64d9629ad6591ad6ab39951208d8cefe3","datavalue":{"value":"7359670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$7A352EC7-BAAB-4B8A-A05A-0FC6F87C45AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$9DCC1248-DB58-4B8E-BDE8-A359F8226D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$833370E9-15CA-47A6-8F21-D1BE92B79627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7124f2b96b87dc1d10cc1333dedcde8971b1ea87","datavalue":{"value":"quantum programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$9CFFCAEA-FE77-4AEC-AB49-EB478827DE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$D9A3E662-F3BF-467D-9AB6-F0B86ED94F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15df49d2264db910982985ba2c5e0927db14531","datavalue":{"value":"quantum compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$62D15E12-A163-45C3-9D4D-43A46975201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a32771fdcf706d822bd0af348c97c5ff6aa15","datavalue":{"value":"computer-aided design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993497$7AA9FF43-4833-444C-A5EF-E311CFD29EA9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1819c179fd8bd5f9dfc4776e0a0d44f722fa9a4d","datavalue":{"value":"Q92182027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$A5096007-24FA-46B7-8689-27C6BD62CE3C","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":"Q4993497$E7B2928E-80D4-4702-B94C-BA8243F943A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4aa04de08ffddfb5e2549be90f3c4174f161f3","datavalue":{"value":"https://doi.org/10.1098/rsta.2019.0161","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993497$64E7E7ED-47EF-41F0-9B99-548E7BC32BD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32663c3fc8e1aeb7bb37fbe1924a8542538cf5a8","datavalue":{"value":"W2996201965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$9AB7D40B-F6B4-4295-BAC5-14956A216875","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75bdcc58d95c4fe32c84d49328383256e60a88a6","datavalue":{"value":{"entity-type":"item","numeric-id":1703924,"id":"Q1703924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$BC6CD3EF-C0E3-4F6B-830D-40745B9794A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c982cbb5e59dc7e2ae30800c6f4d626a4d47b8","datavalue":{"value":{"entity-type":"item","numeric-id":4376179,"id":"Q4376179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$55F36A0C-E312-4A43-B4B9-6C9AFF3EE937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40b63332a8c70b8a885f40cadfe8315ea5a11ce","datavalue":{"value":{"entity-type":"item","numeric-id":3166025,"id":"Q3166025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$7D68A8FE-BD3A-4DB2-AF96-588FB510F6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bfa37fbaea7f7dccad196f02a8db33be894790","datavalue":{"value":{"entity-type":"item","numeric-id":3081975,"id":"Q3081975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$69027BE2-5CBB-4E28-A3FB-0DF9FD5DBEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a445fad0dc0985d7853860e848fa4592ae7f51","datavalue":{"value":{"entity-type":"item","numeric-id":2706552,"id":"Q2706552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$80DB23D7-AC53-4210-86D2-5759D45DFE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcecda9b1c8c5266e8239dd7fcc0bf1c188d3673","datavalue":{"value":{"entity-type":"item","numeric-id":4544834,"id":"Q4544834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$A5A35A97-700D-43C2-ACEA-88792C985108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859c6d56b5fa020a47e3c25ebfc07a0adb6a82f8","datavalue":{"value":{"entity-type":"item","numeric-id":2875110,"id":"Q2875110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$6290DD68-791F-4222-9876-087EF8FA9068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec05f12232d0a1528cf5463f4d82c9a218e2d75","datavalue":{"value":{"entity-type":"item","numeric-id":4228473,"id":"Q4228473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$60205665-A50F-47E5-B139-5EACB676B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00eff4e1d7fe67e4cc0d1cfe53282cf9abcfe3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3832041,"id":"Q3832041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$DBC0C159-0896-42AA-80D9-E1CA073978E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7246d2b13c96b476bfb8b0abb1887bbd7ac6040e","datavalue":{"value":{"entity-type":"item","numeric-id":4473997,"id":"Q4473997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$AAC3F4EE-B800-46A6-9001-81FCD05E99F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$5DC20453-A656-42CF-85F8-86FBDCF9739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$D7D7E7FD-88B6-4AAE-A5BB-862F45D93407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$759636E4-265E-46A0-9103-0BA228ABE2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$63330D3D-F2F4-461D-88AD-DCD2B9607D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$8719C695-7807-40CC-BCA1-4914982DC448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$907D7E39-7DF7-47EC-A093-F4F0F35362A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56eb355cd11a9d15df4299ed90affd58d06a228","datavalue":{"value":{"entity-type":"item","numeric-id":2634672,"id":"Q2634672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$7BAA9ED4-A995-42B8-B9BD-B7E17FDDB54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcc64509a3b4ae8497ef3a4b4c9f3c08241c8d4","datavalue":{"value":{"entity-type":"item","numeric-id":687090,"id":"Q687090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$329004B2-9DD8-4063-9235-6799E3C900DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$DD941F11-3BD5-4E14-A515-61DFE2D01465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84dad384e26bacddaa78d67dd17a1055e012c40","datavalue":{"value":{"entity-type":"item","numeric-id":5143192,"id":"Q5143192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$A0586613-90C5-4A43-B3A5-DD908377E5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b136aca7c24db9308240cd1a0ea8b6d8dc0fc697","datavalue":{"value":{"entity-type":"item","numeric-id":1796379,"id":"Q1796379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$C49E6A6E-3A2F-431E-90E2-2704551BEC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5dabd0477978c1c11e1fb32c4b54c5f4a0ae35","datavalue":{"value":{"entity-type":"item","numeric-id":5237224,"id":"Q5237224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993497$2B02F1AA-FEE5-406B-9018-D0D5BDA62C7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc260a22d9c3b337cfee07ebf8ecbc5bdae1cfb8","datavalue":{"value":"10.1098/RSTA.2019.0161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993497$5E395ADA-BAC7-48E3-9C5D-07386D47B32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e490e948989c8d3e335999f6faab35413085ba99","datavalue":{"value":{"entity-type":"item","numeric-id":483871,"id":"Q483871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9bb363a0f0c469b4531658ab0f0438b67ae2b2","datavalue":{"value":{"amount":"+0.7263628840446472","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":"Q4993497$45E41EF8-DBD7-4EB6-87EE-88D79D39AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1980efc4453e0387a47f197694899b671ca2b5bd","datavalue":{"value":{"entity-type":"item","numeric-id":6157880,"id":"Q6157880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d94094790bc9149759344664aa80c658b380e4d","datavalue":{"value":{"amount":"+0.7252244353294373","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":"Q4993497$B8B1FF74-C7DA-49EB-8A4E-4DB2D356C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e14752fde18868050029284a4fdec789c5d1651","datavalue":{"value":{"entity-type":"item","numeric-id":2822513,"id":"Q2822513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6c8274af32b30210ef9ca0022aac55c62b9bf7","datavalue":{"value":{"amount":"+0.7151570320129395","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":"Q4993497$5FB7FA63-8CA2-47F2-9EAD-4B2A05EE1145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da783203dcde356751646e7c6522829ad25bf282","datavalue":{"value":{"entity-type":"item","numeric-id":1796379,"id":"Q1796379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01da57fc5e44f06604d980cc5551ad6a7e00d351","datavalue":{"value":{"amount":"+0.7109035849571228","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":"Q4993497$486BCBD2-6357-4EBB-B1D5-CDA21E335BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b548e574d47dadf521ae81047aaf4e967e798c85","datavalue":{"value":{"entity-type":"item","numeric-id":5140145,"id":"Q5140145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdeaa9e911e02ef9451956adcdf2b616575c8ddd","datavalue":{"value":{"amount":"+0.709380567073822","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":"Q4993497$A72D120A-30EA-41CD-AFF2-FB2FEC646728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean satisfiability in quantum compilation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_satisfiability_in_quantum_compilation"}}}}}