{"entities":{"Q7202828":{"pageid":22245659,"ns":120,"title":"Item:Q7202828","lastrevid":107543429,"modified":"2026-10-27T10:36:25Z","type":"item","id":"Q7202828","labels":{"en":{"language":"en","value":"Semi-Algebraic Proof Systems for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7202828$38E2A4AB-C214-4221-A512-87084E96D4A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1533ef58fe3b6ac0b6e76c86b8ed9a818696c893","datavalue":{"value":{"time":"+2025-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7202828$456769F2-3A25-438C-97D7-9ECD05C35224","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"2036fe4f336f41b25830d74cdbc39632d6ad6823","datavalue":{"value":"2511.08050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7202828$CE9D77D4-1BA5-4ED6-BC90-602FAF57BA7C","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":"Q7202828$8F2CC637-D613-4110-A619-F9DDFCC76A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7202828$4451D4E1-1D94-4613-BFFF-08B1C740A484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b755aa6809ed6385b6401923bb6f2b3bd28251f","datavalue":{"value":{"entity-type":"item","numeric-id":6864440,"id":"Q6864440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7202828$7E647967-C9EE-4127-8A54-BB8820807F6E","rank":"normal"},{"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":"Q7202828$68E4F888-3200-4442-B3F6-D92702E6598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f8391d74befd839df4719918bb3086e90be1efc","datavalue":{"value":{"entity-type":"item","numeric-id":6643073,"id":"Q6643073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7202828$D01200E7-40C1-4557-ABD9-03540FEE2866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7202828$770FF032-4145-4988-9103-574E7E48637E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7202828$501EA781-3CF6-4302-9126-6571DFDF3CBD","rank":"normal"}],"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":"Q7202828$C17C070E-86E9-486E-9AE2-3FB55E91B4C4","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":"Q7202828$9262728C-9223-420B-9C75-7B94A83B4374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semi-Algebraic Proof Systems for QBF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semi-Algebraic_Proof_Systems_for_QBF"}}}}}