{"entities":{"Q1380431":{"pageid":1391171,"ns":120,"title":"Item:Q1380431","lastrevid":67507365,"modified":"2026-04-12T18:28:37Z","type":"item","id":"Q1380431","labels":{"en":{"language":"en","value":"A BDD SAT solver for satisfiability testing: An industrial case study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123699"}},"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":"Q1380431$C80BCC38-638E-4985-AE5E-5ACBE393CE6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ee072f66a222cc472bce5cc7bc2ea269073f8a1","datavalue":{"value":{"text":"A BDD SAT solver for satisfiability testing: An industrial case study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380431$BEA6CC55-0CE7-404A-B0D5-E27E6498DB55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aafb4d8a7ac344a8d0e058e52df48442205d331","datavalue":{"value":"0891.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380431$FD7C645F-1651-47DA-ADB9-571A2B92D616","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf35f88909e66c67fd8187e2953e39da37698e07","datavalue":{"value":"10.1007/BF02127973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380431$9CF503F3-7823-48F5-91E0-D76282C3AE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5848fd1ed5dd948aad8abd1654a0b87d5d784514","datavalue":{"value":{"entity-type":"item","numeric-id":1380430,"id":"Q1380430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$06C23B05-348C-4383-A2DF-9A0195FFC64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"673d424cd32a8922373044d7504d72be64f351fa","datavalue":{"value":{"entity-type":"item","numeric-id":192391,"id":"Q192391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$5D048585-2F2E-4FAC-A9BD-E72207151C6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$A8D51B0B-7D1E-4504-9069-14294F2A5FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a46d7ed2be515f1109275f35494322d35fd95b","datavalue":{"value":{"time":"+1998-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380431$F3F73126-CD7F-4D06-B3B5-F734F2D52B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380431$E360B729-36DC-4EC7-9CCD-26697205BC94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cef6c0def1ee5b4c48a0888c0dcc6dac1a8cdb50","datavalue":{"value":"1123699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380431$85D93FA6-CA7C-4E79-8EB1-45A188699A5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380431$E2CC18B0-FC6D-44C7-ABB7-334544A2A620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380431$CF243528-6E3C-4DC2-9791-226ABF636045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9930360f08cb852896638ce0b783b18842bcc6db","datavalue":{"value":"VLSI engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380431$39D1FACD-7C0B-4800-981B-3C451D29858C","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":"Q1380431$901E6A9D-633C-47BC-A89D-ED238180CFB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$0AE7AE98-B70A-42DB-98FA-5ED9AD4232E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$26E5CE4C-7C58-4335-9E9F-D9C19B5DA64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6ab3559345bc9f039132e063ea1bc380f23ea","datavalue":{"value":{"entity-type":"item","numeric-id":3911407,"id":"Q3911407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$054C89F6-969E-4176-9F0F-EBF23D615ADC","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":"Q1380431$FABB2742-15AE-4813-885E-CEF486ADE6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397f656ad7df211fad8613745a81fe55825023f","datavalue":{"value":{"entity-type":"item","numeric-id":4032940,"id":"Q4032940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$D2A681BB-9FBD-412A-9A1F-3E8E3C722FAC","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":"Q1380431$BC288C74-0F2E-445F-BA4B-B10041789F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$E4192F59-4CD3-452B-87E7-078A16110ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$B51D5440-E4A8-4FFB-87DE-FE10C3528BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb6d330b0ba17ea9706ff485bd2cc7e5caf6771","datavalue":{"value":{"entity-type":"item","numeric-id":3883524,"id":"Q3883524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$2DFDBE25-84E0-4614-8CA7-5213A97EB553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$3737258B-DD32-49CC-A366-CD3EFF48553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1963aa24001373e5ceaa7806d80ed90d73b392f","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$BBF8C37A-9C34-42E0-B659-A6EF88F9EDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$9167F0FF-AAC9-4789-81E7-632092FC2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79ed4509e4a0b333aa01066e3ba7021a03fa855","datavalue":{"value":{"entity-type":"item","numeric-id":4851834,"id":"Q4851834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$4ADAA1D4-A00D-4D05-B168-C9BD2D283668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1b7f4d37bf437a138f1f98d3c8527d4f425a10","datavalue":{"value":{"entity-type":"item","numeric-id":753688,"id":"Q753688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$D2237317-FA1B-4E77-9353-540F8644A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544f814b7e3f2627aee026f90f7951f501b64294","datavalue":{"value":{"entity-type":"item","numeric-id":4287441,"id":"Q4287441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$FDD59B93-DECF-4B21-89DB-56010C049908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d698348eb856e79e6d633751285caeaf7da96","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$C7033D71-37C7-4F9B-A558-474C0774366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931b806c13bf3431c77d9c32e6a822faa91a3795","datavalue":{"value":{"entity-type":"item","numeric-id":4375758,"id":"Q4375758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$6C11A893-9AA9-4530-9FE9-4E3B9556E964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380431$C8AF60BB-34EB-4946-9E02-0E44DC44BA1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"788662067bc088a91e9074f5def00677e97fd241","datavalue":{"value":"https://doi.org/10.1007/bf02127973","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380431$EDD887B0-7546-4970-A2E0-80B7DDDB5C48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa1509b38506cdb14593e40e2259c9fec68c58fe","datavalue":{"value":"W2019049230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380431$2A1D22F0-4F49-457B-B2E9-F2E7E5E86580","rank":"normal"}],"P1643":[{"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":"9245871ae46572eb98b31a06b2c3338016781ebf","datavalue":{"value":{"amount":"+0.7925043106079102","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":"Q1380431$3F0F8780-920B-43A5-8963-B478D25EE25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb993c9cdce160fb5e590abc6bcb1a9c2a3fe558","datavalue":{"value":{"entity-type":"item","numeric-id":5714752,"id":"Q5714752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01d6edff8e697f215be68c914ab3c9cc7e4ccda","datavalue":{"value":{"amount":"+0.7839925289154053","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":"Q1380431$E69A9332-5821-4143-BB4E-2408A52A0EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6edb2b561f16b39246aae3908a36b4e292e3c9","datavalue":{"value":{"entity-type":"item","numeric-id":5325878,"id":"Q5325878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e79998ea44cb4c661fe4be6101c9d23961a514b","datavalue":{"value":{"amount":"+0.7777743935585022","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":"Q1380431$AD18F947-B002-431B-B601-43AA7BDC110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14210bbf8a0d2b98dbfbdbbb37bb19b7aa787c5","datavalue":{"value":{"entity-type":"item","numeric-id":5714769,"id":"Q5714769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7902b1e110fea9f0be355ae6d9b1204010740b0e","datavalue":{"value":{"amount":"+0.7653055787086487","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":"Q1380431$3FC5FDC1-9BCA-4ADC-B2ED-80A275E42668","rank":"normal"},{"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":"5be0ddf5782e7b5d617b8ed062821b2451b59b6f","datavalue":{"value":{"amount":"+0.7648875713348389","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":"Q1380431$E47CD26C-BEF2-4536-88B2-FED55FEB776D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A BDD SAT solver for satisfiability testing: An industrial case study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_BDD_SAT_solver_for_satisfiability_testing:_An_industrial_case_study"}}}}}