{"entities":{"Q6151563":{"pageid":13285870,"ns":120,"title":"Item:Q6151563","lastrevid":58726956,"modified":"2026-04-06T12:00:52Z","type":"item","id":"Q6151563","labels":{"en":{"language":"en","value":"Towards Uniform Certification in QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7814922"}},"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":"Q6151563$FC41E0F9-90CC-4874-BFC3-902C9E43DE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a2bf0b48e07bd2102b299a2db7f2f110c82ceba","datavalue":{"value":{"text":"Towards Uniform Certification in QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151563$912682B8-CCC8-4697-A5B9-46B2D6A402F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$B558E5AE-9EF5-4E18-B634-6D4A5BD65F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$4782F093-D668-469F-BEAF-1BC2A6507AD1","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":"Q6151563$16547AB1-E1B5-4FE8-AA1F-FF1BE5CE47B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151563$E9F28282-F172-4906-973A-F96151E32649","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b04b555dea02dbd2b2824fd1c24538e368cb3c5","datavalue":{"value":"https://arxiv.org/abs/2210.07085v4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151563$51EDBC58-45AD-4853-9814-9DFAE0A48C26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151563$E2B42FBC-91A4-4873-AB3A-3AB3C6A9FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151563$3E4E558B-8BC6-4E59-93B1-0B76F78A58FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410c0a924170028fa36741ac932d50be974769bc","datavalue":{"value":"7814922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151563$ADC5D9E1-042E-4FFE-B79F-EBEB5B8D35CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$EFEFA931-EBC8-4558-A884-2AEB1CD19C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$C7264C6E-011D-4A5C-8B41-0C655B08F5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$2E411C7A-A196-40A3-8A04-AD090DC4CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$063567CD-65E7-4D7B-8A0F-617545205B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f64e3457e4e7acae043ba514e80ec3e98a76bc","datavalue":{"value":"extended Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$C53CE329-69A6-45B8-A07A-0F5BEF8AE55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151563$3661B42B-C5EA-4746-A5B4-315964DE1AC6","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":"Q6151563$F4A04B6B-1CA5-4FDB-A931-FAC89EA8B708","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"191e40602f0fcf40acb6acb51c09c917aff69fe3","datavalue":{"value":"W3215442047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151563$35F45229-6622-4942-9B28-78CF9FCD3CEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$1F78583F-6BD6-4430-960C-45BEDEE2CC19","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":"Q6151563$E8C166EC-0B83-4A8C-AA50-7FE935181D9D","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":"Q6151563$B654AA7A-C21B-4E6F-AE43-2E31296FCD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$3FBD1C99-7EBF-40D9-BB3B-844B76CD27C5","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":"Q6151563$000AB598-080C-4B87-B1EE-2DD9B5D0264A","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":"Q6151563$6BE84E8E-6E6E-48F1-A1F1-1835CDD3EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f810fcfb753207e78a3aa47daed5406a72625356","datavalue":{"value":{"entity-type":"item","numeric-id":3619867,"id":"Q3619867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$87AE3F93-A0E8-4E3A-95EB-F06B4348F795","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":"Q6151563$184FD469-C3CD-4859-B439-E6D54CACA4AC","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":"Q6151563$C79E1EF9-08DB-4A9B-854E-BEA4417C09D7","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":"Q6151563$BD750F85-4D70-4417-9FA8-8BDA4030807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bedf28c1486feba8611f3f934ea721ca73c745","datavalue":{"value":{"entity-type":"item","numeric-id":4598235,"id":"Q4598235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$3CECFECA-1A84-42A9-8249-7245A50AEB51","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":"Q6151563$566BC186-DE8A-48EA-8866-D0791FD1778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$97F4826E-E441-492F-9224-C988972FCEB7","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":"Q6151563$1C60F141-1724-4699-99D3-7D218A4AD360","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":"Q6151563$A87CEA50-6A68-4A76-AC8E-13AFAB1860D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902fdcf74998a1444a82e1d931ed2cb2c0533230","datavalue":{"value":{"entity-type":"item","numeric-id":2362496,"id":"Q2362496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$709752F4-9502-4C69-ABEE-40EB746776C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$63C4CAE2-6AB7-4F22-BCFB-D656D6030F7E","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":"Q6151563$A56E7882-0B37-4C0B-9F73-54AA93C0C5EA","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":"Q6151563$EAFE9F1E-1CC1-4FB3-AB90-8D7109667C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6e4137db0861ec6f9f5dec421fd4e515c74978","datavalue":{"value":{"entity-type":"item","numeric-id":1680260,"id":"Q1680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$8E6E6378-409B-47C9-8CD0-C8C45AAA4D50","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":"Q6151563$51E07EE1-E0E3-49ED-BF30-2924FBFFF30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$A441CDF4-46E5-46D2-B39F-6B14C6C5A7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$8D7A996B-A553-4664-8D86-08159D868C41","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":"Q6151563$E0791237-E2C2-40E5-9E2D-27A81F51B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$20C809C4-EBC7-4847-BE62-1BB4723E51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc791ea6031f9274a6c599a5a61a3da3960fb26","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$41173696-9C05-4545-8DE3-F03A52652072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc30eca61452c90db6ccb19485dac54a36250ff","datavalue":{"value":{"entity-type":"item","numeric-id":2417950,"id":"Q2417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$2B263ED9-9255-431F-9251-86EDFBD0DC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3ee2b673c63614021ee65ce0ec923d2ef81a51","datavalue":{"value":{"entity-type":"item","numeric-id":1656580,"id":"Q1656580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$BD6C8D81-0D53-4764-850D-8BAD781D0D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2bd5f37c640cf668833d8776ed573c6a304e77","datavalue":{"value":{"entity-type":"item","numeric-id":2661367,"id":"Q2661367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$99A8E05B-1D2E-4CC2-84F5-9B4E45E01DC2","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":"Q6151563$4B14657E-3AF4-4902-A721-E83E632E6941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151563$CBA41F40-79CB-4942-87F5-AEAFF4119B48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e01c3adb0d33521a9ab5ed7b269e2db95772a8","datavalue":{"value":"10.46298/LMCS-20(1:14)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151563$DD85956F-62A7-4242-9511-5FF45C7685E0","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":"Q6151563$4F3D9967-6C79-4FAD-A0AF-008184B3BB44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151563"}}}}}