{"entities":{"Q2164249":{"pageid":2174992,"ns":120,"title":"Item:Q2164249","lastrevid":57754407,"modified":"2026-04-01T07:10:21Z","type":"item","id":"Q2164249","labels":{"en":{"language":"en","value":"On expansion and resolution in CEGAR based QBF solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571391"}},"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":"Q2164249$A6DE00A0-8668-4CD4-8211-6CEF977B8ECC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7bd666b9e62aed6df65924624e02d66dc9b75ec","datavalue":{"value":{"text":"On expansion and resolution in CEGAR based QBF solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2164249$A3519A92-582C-4C2B-8EEF-C9B9B450BCDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7d9e57b8cea9eb6d13dbd4506bd8ac46d57e620","datavalue":{"value":"1494.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$7E2F2BE4-0DC5-4F4C-BF3B-0850DDD16030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b9a33913069a6c4ff19b56885bf6765035d16fd","datavalue":{"value":"10.1007/978-3-319-63390-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$862DCBB9-E2D2-4725-9AB5-F3121AA12ADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2164249$1F52ABDB-E712-495A-AC26-F9E42E5EAFC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-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":"Q2164249$976F5526-EE18-4649-8055-EF025BF646CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84b65e450eb38347803fa88ff8a59b27cf6f8454","datavalue":{"value":"https://arxiv.org/abs/1803.09559","type":"string"},"datatype":"url"},"type":"statement","id":"Q2164249$26D10114-10B3-4EDB-850E-7515AFCA5FA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$051A2A04-7AF4-4E2C-B010-AA3E7469D409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$1A547237-D064-4E7F-BB40-B16EB1C9751C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf51e45e7fcf8107ccfb64772c2b5741fec00025","datavalue":{"value":"7571391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$A72387B2-7C14-47A2-8C51-2675940AEDC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164249$442FE278-97C5-4896-98FF-B35672CB009D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"065e16b6ca54d5deb341c2390e9df88ff401bb64","datavalue":{"value":"unique calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164249$DEEA7CDC-7DCB-4253-9465-84B77F8637CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164249$F2850975-42FD-4540-A0F3-BB5DFAB414A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec01526d2d3b0a65db74199fe9fb685282baf2c","datavalue":{"value":"polynomial simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164249$F9F0C335-728F-4385-8688-4CE77DAE9351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80008d81258ded70d575e02944a82647618843a1","datavalue":{"value":"resolution proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2164249$9F8F7FF1-9CC1-4A19-8C19-DE4D514CAE24","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":"Q2164249$237E2BF4-9F86-41B0-A5F9-85EAA034EBB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70a0d9e43a94a0ac1b7f57eb0620ffe8e3e0656f","datavalue":{"value":"W2734351583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2164249$ED958946-41D2-4AAB-AF4E-9889AEA3BBE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c733211105b38a2a26b9dc19b8b9e469ed3ff78","datavalue":{"value":{"entity-type":"item","numeric-id":2058378,"id":"Q2058378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789baad8d9f2f69ea631c811ea0854c830ffdfeb","datavalue":{"value":{"amount":"+0.8486981987953186","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":"Q2164249$AEADC7EA-4875-4F68-909E-27012E657E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8010459f767b98a752b540db146dfbc05b1ce7bb","datavalue":{"value":{"amount":"+0.8476946949958801","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":"Q2164249$0B8DB86E-4635-4754-B774-A57DC914604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd65f52ee036a7c3846fcf7643553a6b9cd9ff","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"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":"Q2164249$43220772-0B55-40AB-BED5-E9A74AA0B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6505004c7d850880d939618afa2db85f00ba60","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039a5617a00b28cde8efcc4cec27185a85179183","datavalue":{"value":{"amount":"+0.8427555561065674","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":"Q2164249$26214314-1E84-478D-AD82-10D4F3F3CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758042405434138d14efb0c0f39ea4481adfe4d","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974ce3d44484875865060610448bce60d21e36ce","datavalue":{"value":{"amount":"+0.8388566374778748","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":"Q2164249$40FFB5C4-5172-46E0-81E9-5D516BFBA959","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2164249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2164249"}}}}}