{"entities":{"Q6490971":{"pageid":14069740,"ns":120,"title":"Item:Q6490971","lastrevid":39786133,"modified":"2024-12-30T18:49:45Z","type":"item","id":"Q6490971","labels":{"en":{"language":"en","value":"Towards uniform certification in QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7836589"}},"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":"Q6490971$C3DACF01-B5D0-4736-9A57-CB7ECC33E74B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19a0422a9322474adb4513e4ef64aff504432e1e","datavalue":{"value":{"text":"Towards uniform certification in QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6490971$85C3D35B-E74B-4578-B248-6E3C2BA034A0","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":"Q6490971$41EAE51A-E249-4FD9-A87E-309BF94AEE62","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":"Q6490971$7BF9C0F1-3E17-4B52-9EE0-8CD06DB44B98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"032f9a20c202a9b1863ae3bd37fdc8353d28eb47","datavalue":{"value":{"time":"+2024-04-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":"Q6490971$48FA2A44-DAA4-473B-B84D-250E74287F34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490971$8A38CCE0-8034-463C-BA0D-62FCB15DB18D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7998ca280074e308419df8ca2739cd6b5259f24","datavalue":{"value":"7836589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490971$40EB0E26-CAAA-452F-ABC7-E7B91871CA64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$178B8235-F618-4441-8D9F-0E5F92349A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$3E0E9967-889E-46F6-B9ED-92C13406CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$A94A4098-5563-4BFB-9DB1-75C2DAF150A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$7DE7E17E-4E15-434E-9A09-E35BEED82829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fc78fe52fb033bccbdb04cd6691cc8e92637e3","datavalue":{"value":"extended frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$2EA3D475-D30B-4293-810B-3B9C00C65BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6490971$417697D1-116B-4361-A0ED-4B0B8E268A8B","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":"Q6490971$86C928DA-0750-4EF7-8C97-F623B41AED34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84e8d46567ba4887626ea9d373d27411a0efb2ce","datavalue":{"value":"10.4230/LIPICS.STACS.2022.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6490971$30F7070F-1833-42A4-ABB9-7A629A3D3031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6490971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6490971"}}}}}