{"entities":{"Q2118282":{"pageid":2129025,"ns":120,"title":"Item:Q2118282","lastrevid":43520568,"modified":"2025-07-30T13:38:02Z","type":"item","id":"Q2118282","labels":{"en":{"language":"en","value":"QBFFam: a tool for generating QBF families from proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495563"}},"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":"Q2118282$DBCCFB8D-B05C-429C-9FFF-97E0FA44E705","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb02b133ce04389f1e7db31fa280e0755c1b6662","datavalue":{"value":{"text":"QBFFam: a tool for generating QBF families from proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118282$557C196C-6FBF-4112-9518-C320C51C36A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77ebd22c425ce6db1a3fcb290ea005494ea64e07","datavalue":{"value":"10.1007/978-3-030-80223-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$2D40F2C4-8810-4526-97E7-937D62A2590E","rank":"normal"}],"P16":[{"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":"Q2118282$933D06F4-9C78-46E7-A5F8-95736D3361B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$23ADE4EA-F0F2-489A-9DB2-0546796ED36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee4845e86e5811d62c9668c255c85eabfc67a62","datavalue":{"value":{"entity-type":"item","numeric-id":286395,"id":"Q286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$C2811241-7F1E-47F6-BCB8-8F50E0802F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36156a8bef2477d344e38cec20e92a8817bd6ed1","datavalue":{"value":{"entity-type":"item","numeric-id":1796488,"id":"Q1796488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$69B35090-62E0-4F41-8AE1-7821AF0E1990","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118282$AD44693D-C5F8-47EE-89E7-B24FAFB871C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$D641F21D-8684-4550-8829-5775929D0B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$0A4EA0B9-3D86-4A87-A544-6D7D2F724EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$79478FAD-0A91-4D64-A514-FE18CC62BAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b767e4e42c7eeb5cbd214de2ceec27e912260e9","datavalue":{"value":"7495563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$03AC5382-2C26-408E-A7A9-02F50B2B15B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118282$3623E4D5-E493-4E05-8BE5-2F5FBC71B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4258b084bbb5ff23c26f60fbc2dfaa287f8d4d29","datavalue":{"value":"formula generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118282$450ACAE0-BFBC-42B2-810A-CDCAFF152A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df8d1eacb6d602a0d2e74473db9982db22c7e30","datavalue":{"value":"benchmarking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118282$4B95E5A5-DC66-4238-BE84-37DA41130E91","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":"Q2118282$2419E266-EABA-4AFC-8F24-DFF915FC95A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3107434ca4c9539c5921268b86627eaf32e887f","datavalue":{"value":{"entity-type":"item","numeric-id":33767,"id":"Q33767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$56CA9AA9-2AA8-4532-9B2B-653F49279CEE","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":"Q2118282$6E5D9B55-C9B9-4E38-BD3F-F62A0F0000B9","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":"Q2118282$4D6E4B39-806D-454F-98A7-043EBFAE1FA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4e0925416a2628783cc10f9375bcedb49bc3ee2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118282$06472E3C-F9AA-4F56-A76B-81C7B57E8987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bf973f99b1ee7a390fb5160b4e10ee4f7a3eed8","datavalue":{"value":"W3184306867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118282$CF79B804-99DF-4E09-97E6-D7B76CEBAEE4","rank":"normal"}],"P223":[{"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":"Q2118282$46321E0C-66B3-4649-A664-DAF6C79B8729","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":"Q2118282$EF49C92D-28D2-4C6C-BE16-D7270AC0772E","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":"Q2118282$BDF53CF5-09A1-4758-96D0-6F03F1F6DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6c6909b124e99090c7a8c5c97603d84d3b174f","datavalue":{"value":{"entity-type":"item","numeric-id":4972172,"id":"Q4972172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$714D8A02-C902-4515-92F2-E92D69AE9960","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":"Q2118282$64181A62-FBB4-48FD-A192-768DBBB86E4E","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":"Q2118282$C2A7DD46-1806-498E-8C8B-D6C5253957F7","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":"Q2118282$79C115FE-667A-4904-B0C8-347A698D8880","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":"Q2118282$E303893C-2333-465F-B496-84CB401EBA45","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":"Q2118282$BBCAE999-4BE4-4519-A1F3-E0B487851EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1991b57af1236465e3fc5b826bc609c184e61","datavalue":{"value":{"entity-type":"item","numeric-id":5270089,"id":"Q5270089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$26A245F5-C338-465A-9A59-E4D6E0A1F3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb9764ba86146d674c60b7306b3648f378e40a0","datavalue":{"value":{"entity-type":"item","numeric-id":2181920,"id":"Q2181920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$8F7AD391-1DA9-40A3-9F0A-D47126E65B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$A20103DB-236B-4C39-AAE5-9C116A7CAAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4ae29165efe13f7314230b25e8837a3f719672","datavalue":{"value":{"entity-type":"item","numeric-id":3502691,"id":"Q3502691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$4D3F286C-4CAF-4BB9-924B-55E188D73671","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":"Q2118282$564FFF8E-F1D9-490D-88BE-CA3035E26B7A","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":"Q2118282$A3CB06BD-F04E-4A58-A5AF-72257E33DB4D","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":"Q2118282$64D9F9D4-57BD-4C76-A406-5EC2F79E4DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9def7d0498f9f5ca8cd1639afeef0ff4343ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2818030,"id":"Q2818030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$0E45C0AA-CD0B-4220-93F2-0C69E5B98237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$FB74C78F-7C2F-4F89-99F6-4FF3441E0C66","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":"Q2118282$76686BE9-79A5-4FB7-9C7A-443E062BB21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7034b36f7daf0d6e51d9a266fbf3c95707f17f6d","datavalue":{"value":{"entity-type":"item","numeric-id":1799597,"id":"Q1799597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$E14B4F1F-B409-4D8D-B047-EBB1824CE9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b81b715a41dbad1646161e307ff3c7d5aa1d605f","datavalue":{"value":{"entity-type":"item","numeric-id":1656578,"id":"Q1656578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$2B8086F4-94BE-43AE-8ADA-AA6F99F515CB","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":"Q2118282$CB6734E3-181F-49C0-A301-0CDCC272D99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$3173F902-00AB-47D1-AEE8-CE0BC50ED35C","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":"Q2118282$C357312A-FF0B-4E7A-8BCA-9991225DE8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c07e39edb1ccb52e81245ff4646e9302f6b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$00EAEC31-3B12-4104-8BC8-8A075247D479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d2f5bc898b6e2a144af2a78aee91152cb08c3c","datavalue":{"value":{"entity-type":"item","numeric-id":5015608,"id":"Q5015608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118282$929467AE-2C7C-4AF5-99E1-F0AFC6FE9873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118282"}}}}}