{"entities":{"Q5055954":{"pageid":7085531,"ns":120,"title":"Item:Q5055954","lastrevid":39520582,"modified":"2024-12-30T14:46:14Z","type":"item","id":"Q5055954","labels":{"en":{"language":"en","value":"On an optimal quantified propositional proof system nal proof system and a complete language for NP \u2229 co-NP for NP \u2229 co-NP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631391"}},"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":"Q5055954$5CDAD611-B35F-4973-9309-DDA11C9616F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3ce90370c5afe7890aef6c1b450836a0cacb4e6","datavalue":{"value":{"text":"On an optimal quantified propositional proof system nal proof system and a complete language for NP \u2229 co-NP for NP \u2229 co-NP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055954$9D65C29B-C77E-4230-A54A-2D878F272BB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4917cb263d468f2111b70d8f28f6f11a5fc4ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1853506,"id":"Q1853506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$7632CD8F-CA1A-4C82-9C2B-D8F721005C71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$6B7593AE-1F65-4DC2-8141-6AEB3E94FCD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055954$C7C4B37B-5E7F-4FBC-9DFE-CC45D7A6D0F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055954$7CD498AA-0515-4B76-A315-63E964C47993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055954$02C1700C-9A89-4991-8E23-F6E62C0EF27E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3712565569e5e5376bc06557eaaffd2c485505e0","datavalue":{"value":"7631391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055954$4D7BCBCA-E37B-417E-B9D4-50153B6CEB71","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":"Q5055954$A0C9DA8C-8878-4AD1-A42C-BFB6ED0743C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0a936d29cdb004405e9ceab9ae0698c1fa987d","datavalue":{"value":{"entity-type":"item","numeric-id":4321931,"id":"Q4321931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$92EAC662-DE65-4A70-A644-E365E9045701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$6BC6D7E6-C4E8-463B-ACCD-40737E537E2E","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":"Q5055954$90E2F578-A236-4228-B334-E009C4D6C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc67edbb1677ad77489d6c17db913a838f0b011","datavalue":{"value":{"entity-type":"item","numeric-id":3696516,"id":"Q3696516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$C6B512BD-BF51-4A49-9D68-AB75998570D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$5B0A107E-67D6-4E2E-8E95-8EC5E62FF3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d33a8bea03e38d0829c039acfebe8d2d278a62","datavalue":{"value":{"entity-type":"item","numeric-id":3676130,"id":"Q3676130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$2DE9311D-337A-4554-BCEB-060BFCEE304F","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":"Q5055954$C6F83929-133D-44AE-B4B6-3C378DD4EC9E","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":"Q5055954$6FC333E7-8973-4E7E-B5D8-92922C5DE703","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":"Q5055954$879F021B-7799-4123-9C5A-3B203974F998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb2c936121f4f1d6e6f7ab70089a797e73426bb","datavalue":{"value":{"entity-type":"item","numeric-id":3662618,"id":"Q3662618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$15EE217C-B49B-49D3-BACE-828A6E96CDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$76D19582-3596-499D-AABD-EB26BBA98A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055954$741B175A-016A-4622-AE3D-A1669CA2894D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82a2359dd271c01f54c249c8ef618217e767c270","datavalue":{"value":"10.1007/BFB0036203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055954$4834A3A2-D79E-44EE-B885-4E7F1BE6B2BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055954"}}}}}