{"entities":{"Q1398371":{"pageid":1409111,"ns":120,"title":"Item:Q1398371","lastrevid":70330761,"modified":"2026-04-13T14:03:14Z","type":"item","id":"Q1398371","labels":{"en":{"language":"en","value":"Optimal proof systems imply complete sets for promise classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956115"}},"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":"Q1398371$DE2AAA96-2AB9-4302-9466-3B1CBCF63A30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"505aafec75698c51146c018cb3c27b73183caeb5","datavalue":{"value":{"text":"Optimal proof systems imply complete sets for promise classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398371$BCAF353E-D9ED-4E8F-893B-6744B3462EFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ac9276611c170dc879e4f3de06b3446a52003d0","datavalue":{"value":"1029.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398371$90B9B140-C4B8-4241-AE5D-8F1F828ABE73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1214a1fbd7708806f460dc859d8af88119519266","datavalue":{"value":"10.1016/S0890-5401(03)00058-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398371$65182A7A-C306-4763-BA6D-067119956958","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ccdbbd400f0c973fa2e979fe6e13986f59d9284","datavalue":{"value":{"entity-type":"item","numeric-id":259078,"id":"Q259078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$A608014C-8870-403D-810B-6F7D8A5500A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25faaff3fe66b80bb11ad870b71eb139863bc0a0","datavalue":{"value":{"entity-type":"item","numeric-id":690462,"id":"Q690462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$F7291FF7-B76C-45D1-A1E7-1965E617B240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efa0ee16bcf9d62945fa4e27ea47d07c341ed7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1114674,"id":"Q1114674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$45797AE0-3BDF-4C50-87FB-8E592339A9A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$5CA8CD4F-56F3-460D-B53C-65AC7857C16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb93fa1c465ad8bc2fa283bb0b87b8516d9e8f76","datavalue":{"value":{"time":"+2003-07-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":"Q1398371$E3B7D87C-9F45-4CB5-8E14-5F3F192346CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398371$103058E7-CF64-4884-84DF-28DF72021F4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07bc8355bdc5a805f421345ea0d5a1b58342694c","datavalue":{"value":"1956115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398371$D8B56FCE-E44B-4F0E-8CE2-1F9A86742369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e026dbc3f6f776654ac1a5b76af393b8ed6f9e2a","datavalue":{"value":"Optimal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398371$B6E34B0B-B4C4-481B-992E-DB89C709642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c43cfc217f5c92368eb2f6a2065f941a58aa71b6","datavalue":{"value":"Complete sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398371$51EAEE41-23E3-4B52-AD5C-99A95DDC6CF8","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":"Q1398371$0C080E0C-F5BF-46A7-8443-8E1C63930A6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$87CB94D8-0EA7-42A3-A1F8-351B6C5A3377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfc53db72d247da5f30e677d4e958d296619aa4","datavalue":{"value":{"entity-type":"item","numeric-id":3996675,"id":"Q3996675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$E92C0952-7A85-49D1-ADDA-5F1F06007358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09716bd57a1011f7c259b1047b4d21b39a969d","datavalue":{"value":{"entity-type":"item","numeric-id":4775472,"id":"Q4775472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$FC6F7E40-0542-4CCC-8498-1431792CA79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade69b408f8557183a2782db8b3c453d227c6020","datavalue":{"value":{"entity-type":"item","numeric-id":4835660,"id":"Q4835660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$A8D66DCA-B347-4666-94E6-6CFAB2BDFC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8341f14615b169306046574a7b0720ccb03ee","datavalue":{"value":{"entity-type":"item","numeric-id":1200807,"id":"Q1200807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$E38B0826-9DA4-4C47-BE04-BA92D9FED282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46529efbf9c922d6828ac361405a65b66086dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4501551,"id":"Q4501551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$175E860B-46AA-49AA-8E47-6B4E5EE1E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486673ceaea3791821750647cd986822d2610503","datavalue":{"value":{"entity-type":"item","numeric-id":5750401,"id":"Q5750401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$134315C5-D38A-4ABA-97FB-ED2840B842A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c847610ade77b047e3075d35766cbb1d381ec23","datavalue":{"value":{"entity-type":"item","numeric-id":1259907,"id":"Q1259907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$338A2AEC-753F-4A8A-B9C3-FD86EC496B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$22285999-C73E-45A3-8C6D-65138EB857D9","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":"Q1398371$24F74991-53C9-4F68-AE84-EC9C2214C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91437bc3f5649edc6a7acb3095e2cdec844eb2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3711749,"id":"Q3711749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$1703D1FB-558C-4D7F-9807-998EB568E360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd07bc9a9b69ce8a80cf38ac60dbedf570ebf67d","datavalue":{"value":{"entity-type":"item","numeric-id":1109566,"id":"Q1109566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$E62310AD-64EA-47F7-AB51-7A53BD1415C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4e03bf5b3e8f3211abc8ec442c9eefd10dbc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4258579,"id":"Q4258579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$982CB3CC-0B2E-4508-AC89-F35ABACFF1E1","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":"Q1398371$517B07EA-EBC2-4686-BE14-697C3E4A2DEF","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":"Q1398371$A921D1AD-DD24-4B85-A0E9-4D06061AB38C","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":"Q1398371$8351D71C-6593-431E-8551-443F9155F788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c3df03f1a2987977466dbdd6d02f2af5a8e45b","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$41ABB4DB-8033-4BCF-BE16-EDCE0CF20C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$92A04A36-63EB-42CF-89C2-2B6C80A819C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c8c349f001f12c53469cee5a8ecb1db611a664","datavalue":{"value":{"entity-type":"item","numeric-id":5055954,"id":"Q5055954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$333CC031-2196-454F-99DA-AA772A530AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c72aba4f754fb3aee58df56c633c6e4b5ddbcd5","datavalue":{"value":{"entity-type":"item","numeric-id":3718150,"id":"Q3718150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$D48EDBE3-F300-4AA8-BFAE-74B545C84571","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":"Q1398371$16B97967-C8CD-412A-BA71-041B6F96BA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9716957b8f9307cec140776ae6ef1a5565b490b8","datavalue":{"value":{"entity-type":"item","numeric-id":4315092,"id":"Q4315092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398371$5ACDEC0C-BD75-4384-B5EB-ECAC22849747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9886f1acf8a6997a8f8cd4ef82cc8f9e33fc36c1","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00058-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1398371$F392AB36-C870-47D0-8579-61B4B8DB6EBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04ff9c1d3587b7c911cc893915797a7aaa8b18c8","datavalue":{"value":"W2080818057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398371$826B6186-63C1-461C-BABD-F7AD7534BC6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71fab58efbcd167afe02e17b89f46d07c5dfec4","datavalue":{"value":{"entity-type":"item","numeric-id":4258579,"id":"Q4258579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304dd95db32f31c5e04312b4ff9bdecea3458751","datavalue":{"value":{"amount":"+0.928643524646759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398371$786B1169-6542-4015-B174-657FF5852285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c91a64b41129f5c6738ed93501749e52e07b84e","datavalue":{"value":{"entity-type":"item","numeric-id":3392941,"id":"Q3392941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efee9e2ef14335a38af5680b0def5be3f716039a","datavalue":{"value":{"amount":"+0.906705677509308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398371$57B570FB-445E-4D57-9634-0F45E121C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe776d3fe927c40ec99f1c0a53436cc939d25ea","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da1e357b7895745e82fd1292a20c691eccc7a60","datavalue":{"value":{"amount":"+0.8974241614341736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398371$E7FC2F92-2F0A-4B93-BB4E-0A20AD759286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eee996fa620e61bdbac66b043c815f7f9f78887","datavalue":{"value":{"entity-type":"item","numeric-id":4530008,"id":"Q4530008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da1e357b7895745e82fd1292a20c691eccc7a60","datavalue":{"value":{"amount":"+0.8974241614341736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398371$AEBDDE6C-532D-4C6D-8278-4D6A1319D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093c4723104c7c5c7ba6628a88a66a7344026964","datavalue":{"value":{"entity-type":"item","numeric-id":3107337,"id":"Q3107337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb83859f4ca2e388722d43911aada309787b0697","datavalue":{"value":{"amount":"+0.8772662878036499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1398371$F03CDB4F-FBD2-4572-A5FC-80CCB3D9E723","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal proof systems imply complete sets for promise classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_proof_systems_imply_complete_sets_for_promise_classes"}}}}}