{"entities":{"Q2843327":{"pageid":2854047,"ns":120,"title":"Item:Q2843327","lastrevid":51798680,"modified":"2026-01-20T02:31:59Z","type":"item","id":"Q2843327","labels":{"en":{"language":"en","value":"Solving QBF with counterexample guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197749"}},"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":"Q2843327$F9CD2B36-B17B-489B-A176-B9A1714B66BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90d6d91a59efa22252f5cddca3cfa211600708a6","datavalue":{"value":{"text":"Solving QBF with Counterexample Guided Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843327$63F2FBC0-6B26-4CB4-82D2-833409002FBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcb6c1acc382e482d799d67ec70ad1d37c1f053a","datavalue":{"value":"1273.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$916EFDFD-3422-4188-856D-C3E25F5EBC91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30f603fd8eab31d1c169aa0e9bf97f1dbfb82f8","datavalue":{"value":"10.1007/978-3-642-31612-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$DBFDB6F9-7DAD-4CC8-AF40-BFBE7BA7B109","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$4C53D44A-00EF-416F-AE3B-D196D5B56987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"822a078c7a4829031fff924b3165e7b6eb2f1e2e","datavalue":{"value":{"entity-type":"item","numeric-id":253962,"id":"Q253962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$3DBC3CDF-0FF4-4ABC-91D1-D404D9E410AD","rank":"normal"},{"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":"Q2843327$E462BA6B-D86E-4989-A83C-2C6F8E1E9C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$D26F0336-838D-4524-B83B-0DD1A48B5690","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$C9D239A9-D57E-4E91-8698-92D9170A6BB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843327$6DCF52CE-DFC5-41BE-8B2C-4A3917158AF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b4750a0e256c92b3aaf84b3c3938f1a82cc5ae8","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.9685","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843327$094895A7-6CF9-40C7-B129-57DB79D05698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$F592B8B8-2AE9-439B-84E9-DFD341552EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$41A78827-1C0B-4FA7-A6CB-146ED91D60F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ae67cbdf0bf174432fe8bc09ce69c4e851b8be","datavalue":{"value":"6197749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$DEAB4DBA-806C-4D5E-B4BB-4FF36FCDD21F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$1A4D18CB-0DA6-487E-B45C-265817AF1AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$26B254AA-2F64-4231-95FC-336AEF2D7FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$44DCB953-A373-4821-90CF-0372153549B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$3F532096-E3E0-4CD3-9F77-A7DCBA18A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$F590BD79-794A-4515-9F62-1A43597011CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$04D5ABE8-3C84-4A2F-90B8-01C1AD3EC106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$D66E17DA-2EEE-456C-8091-2C34ADEAC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843327$956C5C9D-341A-4F85-9AE0-585C22B67598","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":"Q2843327$EBB3B95C-5ED3-4196-AE37-EFF4419A30A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7018676ace69d21b245312768d8a4bc063ba564a","datavalue":{"value":"W1503377936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843327$28924ADD-CDB3-4BC5-B8FF-A4F0D38F1DB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a8215cb2ac50decfead0ef13be997f2d275500","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5b05bab1e28815a239856b2198f2f4aab8526b","datavalue":{"value":{"amount":"+0.8935925364494324","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":"Q2843327$74BD3B89-B69E-4038-94E0-2F4D0390BD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd56edf54f27508795f985fdb8fe850a23e1491","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1f39411a8d4307af3f7023e3156f0118a3514a","datavalue":{"value":{"amount":"+0.8465385437011719","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":"Q2843327$42F71A80-28A0-4BBA-8839-AB513CB939AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90393cb1a4862c6b22503feae877e5b45f2365","datavalue":{"value":{"entity-type":"item","numeric-id":3007686,"id":"Q3007686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56d7c89c64295e8505e0581e6aafa4152fbd2df","datavalue":{"value":{"amount":"+0.7978489995002747","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":"Q2843327$FEDC22DD-1C69-443A-9B57-201726C1B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e877f9195dc08d8c769468cc1da3d5e03ef6fba","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5b96f4625b4c5e3be1c2e3757bd1d59c28fdc4","datavalue":{"value":{"amount":"+0.7879050374031067","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":"Q2843327$2AFF1824-59AC-4702-B1DA-E5FAE8936494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89fc255e92eccc916a706837acc484a8f070186","datavalue":{"value":{"entity-type":"item","numeric-id":5015608,"id":"Q5015608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918ddc6324aaadcc2b80ecefc97082dcf2e23dbb","datavalue":{"value":{"amount":"+0.7844539880752563","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":"Q2843327$46D2A7FA-0B3A-4DDE-A682-28658B9EBD06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843327"}}}}}