{"entities":{"Q6635504":{"pageid":14246656,"ns":120,"title":"Item:Q6635504","lastrevid":95887232,"modified":"2026-06-05T09:57:24Z","type":"item","id":"Q6635504","labels":{"en":{"language":"en","value":"QBF merge resolution is powerful but unnatural"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7941266"}},"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":"Q6635504$EA2E7548-153B-4BC1-B9B3-4088675DDDF7","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":"Q6635504$DDF4571E-944C-4978-B0F8-6871479604A5","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":"Q6635504$783AD9A3-A4E0-4621-9D46-D41F176D15BC","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":"Q6635504$6A4301CF-4B19-44D4-9CF0-9F72E07FFC25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$D9565520-CF29-4FE6-9E94-165F72873F3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-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":"Q6635504$B91694FD-3874-447C-8FA7-B06BE02EF48E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635504$EFCD3E61-F0B0-4567-867D-7E13E6B6DAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635504$2943B7F7-C58C-4C5E-82E2-8DC72913111D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c30e02166b30002ffbda8288f3a9870945a3d18","datavalue":{"value":"7941266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635504$29F05A33-3D81-4D5F-B8A4-59A03995A335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635504$20D6FDF5-C85B-487E-B3DD-D1F2E136285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635504$CC82E0BA-F47E-47F7-A935-383C4FD7E46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635504$6CA170E3-35ED-47E5-8608-613DD6701441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635504$17D03AEB-DA92-4466-A808-933DF5FD5836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094dfc0d0c92bb33f21e64b63c8cdc5774f9d54f","datavalue":{"value":"restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6635504$E331A5FB-8044-4604-84D2-E403359D6A05","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":"Q6635504$0C01BD27-6195-4260-B56C-EB8A396B34D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e721a886ab92104d29345588e1c4d3ecf64d536","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$486564D4-F677-42A9-AD7A-30D2EF8D4201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca85511458d1e8ffc3112b636b30e90d46ee5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$FCBC0719-1EED-42D9-A4F6-086918EC22E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$C1AD698F-662F-4FC7-B56D-5DD4A33AA1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2720f4c8adc1662010147bef73f5a359a6284292","datavalue":{"value":{"entity-type":"item","numeric-id":2031411,"id":"Q2031411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$8E7FF20C-C17F-4843-870E-BFAF4C0B8D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$CA778BB7-0EAE-4071-AED8-50D9D77B77F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6310123cfca70004f44ca6676e37b0ecbdc693f1","datavalue":{"value":{"entity-type":"item","numeric-id":1784953,"id":"Q1784953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$00B66C52-9EBB-42A4-B33E-B8DFC9C4506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$8F3A634B-9F7B-4CC7-95B9-C07C58D79B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$21A6F200-1FD8-4CE2-BC1C-E57C2412EB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945a6a0c0b7bf82a6d1f7629f7cfad8c6fd10661","datavalue":{"value":{"entity-type":"item","numeric-id":2118283,"id":"Q2118283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$EAF8465F-7FE6-4C5E-884F-C0301F8007A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$2F0A0C2C-DB2F-4D78-8E53-D437FBE6FE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d88e2cbe8c4f5595724b296d24b589f90c83297","datavalue":{"value":{"entity-type":"item","numeric-id":2118289,"id":"Q2118289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$1C0A4808-49E5-452D-9B95-60DBDCE1700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$3A041D4D-77CB-4620-A330-66DCDEA10B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82356547cd2d65dbba172d044077f5b94e4741d","datavalue":{"value":{"entity-type":"item","numeric-id":6615124,"id":"Q6615124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$B3E75F6F-33C6-4FD6-8444-CEE024A94938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b29a21e50863945786770c45780d8654edc0e2a","datavalue":{"value":{"entity-type":"item","numeric-id":6151563,"id":"Q6151563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$E0151A11-5F4D-4841-AEF4-48539B11DFB1","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":"Q6635504$08678BF4-2903-4E4F-8F32-653022FB9223","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":"Q6635504$E50EA443-65D2-43E9-A8A0-EF15099375DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa44e7477708cf15aafbeca2fb67e3a90886b530","datavalue":{"value":{"entity-type":"item","numeric-id":2870136,"id":"Q2870136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$D731A4F7-06CF-404F-B376-DB7D5F569FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$1E1641C0-85A8-4A28-B0FC-0E9FDB425E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$5CCD4280-AC8E-4157-AE47-590E9C0920B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$AE031EC7-7882-49FF-9041-8908B91FD36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$1AED138B-FBDA-44FE-8C39-9508D49D5B82","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":"Q6635504$38E16E21-FD24-4245-852F-BBE268D1AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$A0C4BEC3-C580-4D9A-ABA6-999566DDA443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$BBB00C7E-EF9A-4879-817D-A2925801BC2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea7bee96f303610962aaaa01742e1908434e1e1a","datavalue":{"value":"10.46298/LMCS-20(3:22)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6635504$FD6CAD68-490E-4939-8595-2DF289A722F0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6635504$6AFAB025-9460-40F8-96A2-D97263D81444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"QBF merge resolution is powerful but unnatural","badges":[]}}}}}