{"entities":{"Q6488807":{"pageid":14067576,"ns":120,"title":"Item:Q6488807","lastrevid":55498552,"modified":"2026-02-17T17:44:30Z","type":"item","id":"Q6488807","labels":{"en":{"language":"en","value":"Classes of hard formulas for QBF resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753327"}},"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":"Q6488807$7FF9AE85-7536-4D68-AB92-C041BEBF29F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5901df44ceb0fd4c88d7aaf154d87051c679286d","datavalue":{"value":{"text":"Classes of hard formulas for QBF resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488807$024B9488-FBCB-46EA-903E-384B5A1A175E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aef8f797a04255bb73a518195f943f5b3eac048","datavalue":{"value":{"entity-type":"item","numeric-id":6488806,"id":"Q6488806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$F3158073-68FD-4D1E-B7B3-38F3E80710C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$8BDCCC44-59AB-42E4-AF4C-3F286E5F9FF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$E1564E04-C490-4D3A-864B-581F39D0DFE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eec0b2a8c1cd05be3ac82759501d90cc4056cfd","datavalue":{"value":{"time":"+2023-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488807$A969FA06-41FF-4070-9F45-917667355182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$7DDD1488-A9C4-4591-B9EC-4B657A6B3C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$701F4513-DDE5-4F82-8FE3-473542EB355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$D108F76D-EEB5-4BD6-A94A-A97B1D512CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$A5DA25ED-6FAA-4167-BA57-99E841F030D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$9923D794-C0F4-4988-AC5C-F5F9D765C077","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b0eb53a3346fae818c5dd6d23ebfe0eb60bf70b","datavalue":{"value":"7753327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$493B349E-F917-4796-905A-73136C24CC24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488807$705850A3-1442-4F68-9EA4-384C7EC11D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488807$355BDC3B-5CC4-4B3E-9BF0-7EDA4C40E1ED","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":"Q6488807$6F80A660-6D81-4771-B71F-6364A860D171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c2b15a6d9e26ef5b17be01ad04899f30acc832e","datavalue":{"value":{"entity-type":"item","numeric-id":1656590,"id":"Q1656590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$D7A23977-7A85-4481-BBE2-3152FB4C5B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$7671320B-F12F-43F2-86D6-9D95CEFE6AB7","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":"Q6488807$EA437B00-6BD5-4DC6-9173-6F1661B8C937","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":"Q6488807$4D54AD8D-1C91-4CD4-9EE5-58376DCD47A5","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":"Q6488807$19F90872-4FE3-4C12-8E3D-C68F5F4E2340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e52d8577359975ecff53cb75a5eaac57b25e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$179DAA92-2A28-4235-BD55-89CBF123160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6ca3ba8fb1cec1f266adbfca974e79067f0c67","datavalue":{"value":{"entity-type":"item","numeric-id":2656352,"id":"Q2656352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$DBD6A4B3-3ACC-43A8-B430-6ADD966412A3","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":"Q6488807$303626EC-C1D0-4550-BB70-F352EF076BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186fb58597719ba9662a9164df91ae3f701697fd","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$09C3C722-4BFD-4653-B049-1E8855C0D43F","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":"Q6488807$837E0838-25D1-4E94-9684-22ADB52D8794","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":"Q6488807$1A37932F-AFC5-4F6F-A9EC-198DD28C29F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69487cd155cd2326f33395e10ed3e7f80d64a951","datavalue":{"value":{"entity-type":"item","numeric-id":2272983,"id":"Q2272983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$B3CF608F-ABB8-4EEF-B115-624FC26B26E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76bdf390f8550d14f7ec88391ce9c9eb5f716e9","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$C58540F4-D1B9-42A6-B32F-B57316DD4DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd780d147221055d2260468c7a9108ead5da347","datavalue":{"value":{"entity-type":"item","numeric-id":2118282,"id":"Q2118282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$09406FA1-AD0D-4BD3-832D-9F09C6635956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e846b8bdb707b89fe4e8a66905e75d0802e8ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$2360B756-8A46-4DF9-BEB5-D9CBFB8F82B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$DA162026-AD4C-497C-B3D0-3B1BEDB9AE90","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":"Q6488807$9EC830C3-8DB2-4AD2-A8E0-30CE8A4161C9","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":"Q6488807$954FA16C-1FF1-4DAC-A2B6-5F443A641392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$6EE4BA98-5FF2-4DF0-B146-42BA49EBE497","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":"Q6488807$4C5DEB83-FDDC-4FFF-8D1A-1AA5893AA0FD","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":"Q6488807$250B381A-416A-4716-9D96-AE068D174717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19b1fa5db68c7d404cb2711fd5159ebf7cef9b","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$FD79140B-F067-4245-AF86-AE500F6D5F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e590af769f3a6e3c82b28d33ae089106a54465c0","datavalue":{"value":{"entity-type":"item","numeric-id":2181942,"id":"Q2181942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$FE532F59-78CC-48A9-B600-719EF4C41307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$97836D80-F300-4F21-948E-4E2F52E305EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$A4C254A0-087E-43DF-914C-DBCD7900C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488807$7A2921ED-F9CD-4599-A7B7-F9B63D4B544E","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":"Q6488807$93FE2631-D0BC-4999-81F8-A606CCFC9C94","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":"Q6488807$8D659A6B-6269-4A69-9864-632032A42F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"760f5da13ef5a02e8198bb9af09d88f2cf8efcb8","datavalue":{"value":"10.1613/JAIR.1.14710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488807$41DDBE24-104A-4725-A839-27E2F8D1F4ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45b9f05c3c32efdf433c095da55ecb8bdda573d","datavalue":{"value":{"amount":"+0.8092063665390015","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":"Q6488807$7A98C566-107E-4570-883F-8C1E91871765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821904eff7d6a637f2812526e9f82fee9d4de04d","datavalue":{"value":{"amount":"+0.8038104176521301","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":"Q6488807$814998B2-7EAA-4551-8891-DD3E8454115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be27cb011c2b316d969f24d656bed1628df0864","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1185ccd71a77c6a0c54592300dd53b28e070f20","datavalue":{"value":{"amount":"+0.7901656031608582","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":"Q6488807$A8A4A136-8EF9-4B71-A68B-6DADCB474492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5198cfa13681174cbc78a60ec4742ffc9b4b6a86","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6fc5feb8e5262d4e14db6793a89cde8c07f0ad","datavalue":{"value":{"amount":"+0.7754331231117249","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":"Q6488807$E53F7522-084B-4714-85BF-257A980B8438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab45ed4ffa48184397643d2935acd78ffba209e9","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b9ca10d3c2ba01ef209fe83b629d16adc355b7","datavalue":{"value":{"amount":"+0.7713454365730286","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":"Q6488807$110CAD48-7C19-42C7-B436-A44266C9F6EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488807"}}}}}