{"entities":{"Q7254993":{"pageid":24615476,"ns":120,"title":"Item:Q7254993","lastrevid":84875234,"modified":"2026-06-02T16:46:36Z","type":"item","id":"Q7254993","labels":{"en":{"language":"en","value":"On \\(\\mathrm{NP} \\cap \\mathrm{coNP}\\) proof complexity generators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8205306"}},"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":"Q7254993$1E55052F-AFEA-48A8-BE15-F8F5C1AD6EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7a3432cfe5bef6d9bd7f75fe764e1419ce88cf5","datavalue":{"value":{"text":"On \\(\\mathrm{NP} \\cap \\mathrm{coNP}\\) proof complexity generators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7254993$096E81DF-0126-44ED-8B76-1D39BBD22F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"940672e9a2cf7e6cc3559af14c49ed82725d46da","datavalue":{"value":"10.46298/LMCS-22(2:14)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254993$523DB0E0-A2E7-44F2-A07E-B21694A6E10D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$A5A6E456-4D63-45E3-9C7E-097D1B9FFC90","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":"Q7254993$BA853858-DC93-4159-9E0C-D02E7521E8E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eed00f8a15e6ee04c7dcccc98e92c47d66129d07","datavalue":{"value":{"time":"+2026-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7254993$5463E113-5D52-4EB8-BE2C-1F2767CB0DE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254993$5E60A4EF-37B4-426C-8205-99BD5A099031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254993$4A1F3533-F8AC-49FB-9A85-DBBDBFF03506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64e60f61603c04e7dc0cc33214f89c323380994d","datavalue":{"value":"8205306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7254993$5B4F9DCA-4BFB-4F7F-9E7D-AE5734A89CEB","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":"Q7254993$55093899-697E-47DF-B01C-074E4A4386FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$275CE8FA-25F9-4F46-8E21-23BEB9A1DD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$138A415B-50E1-4D44-BF4B-E7BF50D49C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$78D94489-5921-4C02-AF76-72C191353B6B","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":"Q7254993$D4771F96-AAD3-4FF7-95A4-D882052C3B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842af2467e6c06f3199c66287f8b0603947136cb","datavalue":{"value":{"entity-type":"item","numeric-id":5277762,"id":"Q5277762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$ABE8B7D4-2F1D-4455-A781-07BD11763DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$338206E2-E6BA-4F37-9C0E-CC56625F6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69c6bd35d6a46c79a1a093429fcbf25fe8a0b79","datavalue":{"value":{"entity-type":"item","numeric-id":4268484,"id":"Q4268484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$7699A281-6FAE-435F-9009-6A286B16D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c7d65094075f9268098f770898eadbd5a215eb","datavalue":{"value":{"entity-type":"item","numeric-id":3359762,"id":"Q3359762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$E0C13733-3730-4B54-BF71-803559951DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$1F48A843-7FD5-49AA-B6BA-C55B21111984","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":"Q7254993$5CA6EAE1-5945-4765-BF3E-6792E7A9E4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b195aa3313cbc2f113266d59b0433801d69fb","datavalue":{"value":{"entity-type":"item","numeric-id":3094358,"id":"Q3094358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$54E77F90-5C38-4E71-830F-76AD2C52E77B","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":"Q7254993$F24671FE-79E0-4301-8FAC-761066CB3D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9217254bc1be8aa0b7e6f54c834680974e188d","datavalue":{"value":{"entity-type":"item","numeric-id":5119389,"id":"Q5119389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$46F3D773-E45B-4D50-8472-0CA831580FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d9148b99eeaca574830b3440629423195bd216","datavalue":{"value":{"entity-type":"item","numeric-id":7003394,"id":"Q7003394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7254993$94FA2179-B9A2-4BF1-99FB-38A5438FBBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7254993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7254993"}}}}}