{"entities":{"Q4589096":{"pageid":6618681,"ns":120,"title":"Item:Q4589096","lastrevid":52950023,"modified":"2026-01-23T21:28:27Z","type":"item","id":"Q4589096","labels":{"en":{"language":"en","value":"Verification of partial designs using incremental QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803298"}},"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":"Q4589096$258439F2-ECBB-4205-AEED-8BA6A983393F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"effd489de48ceb28a406ccdbcdb506d9ae1ea817","datavalue":{"value":{"text":"Verification of partial designs using incremental QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589096$7DD8E3C5-AB62-46D2-938E-E05172827C07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"544d818b5cda39dae73831ccb2d6a7e3e60f7833","datavalue":{"value":"1373.68382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589096$55791A05-4887-41D8-93BF-2FD700C0082D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce72a3c8e61977070a958921365b48737c888d1b","datavalue":{"value":"10.3233/AIC-140633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589096$D00E5041-3677-4F36-A16C-6A57D131E387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d732c8553e3ab8d788973b67196e28e36fe8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1877144,"id":"Q1877144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589096$AE69AD08-285B-4525-B0BC-673901385C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bba63e34e3a8a202413de5666cba2bb459cfcdcf","datavalue":{"value":{"entity-type":"item","numeric-id":4589095,"id":"Q4589095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589096$2C444854-9A65-4302-BE3E-90E705A1C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589096$6A8F0D89-ECD4-4871-BF7B-A22A7BC5CB03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589096$1FDB3A12-3FFB-437C-B0D4-2A7C34BC1CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589096$98A0FE33-4654-4D84-A7D2-D43AF6A3ADD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589096$F70E881A-8591-4BF1-A7E6-AAC365389E55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1877a3fa1d81a707b171a494e670728e98ba653","datavalue":{"value":"6803298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589096$E54D0C62-BE5E-4842-8CCC-538C46FE6E6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01e3ba5d1f001be8b4ea4a9f4b27d3725b41051","datavalue":{"value":"incremental QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589096$D6E303C1-AD22-4CB6-86EF-EF63A06B0AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82450bed172977afbb20c270b28a2d47d2b23411","datavalue":{"value":"BMC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589096$67DE4A9A-C7EE-48A0-BAD6-8B7657930F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e052db7faf47bc97e348198a9945285492bf41","datavalue":{"value":"partial design verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589096$A42EE09D-9A46-4005-BB0C-7BFB2D2549E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f5b0b19fe4e4f140c8797819464978596ff472","datavalue":{"value":"blackbox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589096$EBC55992-3391-4A58-ABD6-5DE8390F77A3","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":"Q4589096$F1C2038D-2352-497A-B33D-4F0953A34C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bb81f909996a060337c730ba0f4f48ea9d8fca0","datavalue":{"value":"https://doi.org/10.3233/aic-140633","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589096$D3E6EA93-D973-4696-B04B-D49E3D7803E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29a51396218583187bb8bf329cf041c38a3e4c7e","datavalue":{"value":"W1515828819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589096$DBF3CB54-37B1-4518-ADB6-B854A0929590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed1245857b58a02451557ca19ed26fe7eb2e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3460052,"id":"Q3460052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9401109501f73ea3a058ab6c72fdbad47b15848f","datavalue":{"value":{"amount":"+0.8290093541145325","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":"Q4589096$35F5A2DE-5BC1-4D35-869D-B147302325FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31b3868b35c8adfea7f296c098db6a941e819fc","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb534dd4e3aec2217e4f54ec7889252d3b90bb2","datavalue":{"value":{"amount":"+0.81568843126297","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":"Q4589096$554E5B50-E775-48F8-A292-C82FBB25ED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d467a109f219e937eec475a5e2589f3d9785fa97","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"875d7087f1c6f9e105af8e63f11b12d2851de0ab","datavalue":{"value":{"amount":"+0.8040453195571899","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":"Q4589096$480FAE45-4BCB-4807-B90F-8559C9E8C6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9662436ddba986dbfe8fb88fc949db265075c573","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f951af4c88f3d4748326c9fd42df563c363852","datavalue":{"value":{"amount":"+0.7984449863433838","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":"Q4589096$B9092389-AE54-4F99-B963-B27402CF595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381b5fbcd46a24011e59d90944023c6e905a64c2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107b257f4d8a653682e771abb4bb32824bfa261f","datavalue":{"value":{"amount":"+0.787182629108429","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":"Q4589096$E2392360-6120-44AC-B65C-E2669589527A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589096"}}}}}