{"entities":{"Q6572036":{"pageid":14183191,"ns":120,"title":"Item:Q6572036","lastrevid":42356121,"modified":"2025-06-12T17:06:20Z","type":"item","id":"Q6572036","labels":{"en":{"language":"en","value":"QBF merge resolution is powerful but unnatural"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7880743"}},"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":"Q6572036$6B7B991F-8DC0-4D03-A4E7-22DD64F803EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87209e93f4dca069dc42cad2d5dfb4a6ba4ea4d6","datavalue":{"value":{"text":"QBF merge resolution is powerful but unnatural","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572036$199EF774-E5CD-40A4-98D0-2FBF58E4ED85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572036$005A5FD1-063D-4508-9B38-4F59439F4B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e0811b8e06de8d9bd08809a52cb321eeabfc7a7","datavalue":{"value":{"entity-type":"item","numeric-id":1981763,"id":"Q1981763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572036$071E1830-5493-4268-91B5-D2535AD2385C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4665cf21e28c8d8d6d68e1278341997f9619a61e","datavalue":{"value":{"time":"+2024-07-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":"Q6572036$075FA0CE-D7EE-446D-8B02-CEE732BFA20F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572036$1B5E6A77-951E-4DC2-8EE5-E07393BD8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572036$7F228109-881A-4CE5-8159-C79CACD6F718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572036$165B3D9A-8BA0-4DBD-99BE-8D628C1C55D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9972d93d45f7c46e72653d0c9402aed2d8bced84","datavalue":{"value":"7880743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572036$D647B2E9-8B79-40E2-899E-4228060AECBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572036$28375251-BD7C-4B5C-8C7F-00DA5963CE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572036$FF1AE826-6F85-419C-9854-480DEC229E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572036$FCBF5649-A641-44F8-B84E-56D3E0BC64C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572036$A117AA3E-FFD8-4AB4-ABC3-9B031E738032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094dfc0d0c92bb33f21e64b63c8cdc5774f9d54f","datavalue":{"value":"restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572036$8A78354F-A679-461C-B75A-3C08460DEF33","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":"Q6572036$2698F736-E1C0-4361-81BF-CE724246FAB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbf1f25f4886f477fefe8f637f3d42613dbd5ac8","datavalue":{"value":"10.4230/LIPICS.SAT.2022.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572036$FAC222F7-A6F4-4D39-80B2-5BAFBB1FF8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572036"}}}}}