{"entities":{"Q1401249":{"pageid":1411989,"ns":120,"title":"Item:Q1401249","lastrevid":67517580,"modified":"2026-04-12T18:31:41Z","type":"item","id":"Q1401249","labels":{"en":{"language":"en","value":"On reducibility and symmetry of disjoint NP pairs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965281"}},"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":"Q1401249$D3B69AAC-11DB-48BA-BB1F-C4E2916727F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"262c9084885b21b4c0433ddbf76b1e4cc817226e","datavalue":{"value":{"text":"On reducibility and symmetry of disjoint NP pairs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401249$EC66CA7B-1C88-4BB4-BB5B-E9AC6AA0D92C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b9b1a70796f0191c087ccbc4083cb203a7458b","datavalue":{"value":"1045.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401249$5D4F02BE-6198-420E-9936-DD29DBDE419F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a85ed18eebb2dc512ec691d513ac61b5e8c934bc","datavalue":{"value":"10.1016/S0304-3975(02)00411-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401249$0CA87F4C-B246-48CA-83E4-349F8F05CD7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$1AFAD994-DF64-414A-BC7A-8440E677A5C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$127AFF52-000D-435C-92C6-A8EBBC32514C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401249$5F27C968-2240-49D0-8A4D-40F62B640105","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401249$B6EFC01F-7BB9-47F1-ADBD-5AFFC125C8AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0200fa4c317935e4ab6b39c6aa9d280700211c89","datavalue":{"value":"1965281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401249$10D5EAB9-7462-44E4-AD11-5F9E3C47411F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb532e90f725f29f3a390807bbfdb7d068685a9c","datavalue":{"value":"Disjoint NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401249$B8DBB616-013F-4940-9C33-97D4DC5DFC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bb6ed33219919eaa619f708bf11df8a8f81543","datavalue":{"value":"Polynomial reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401249$424C5003-9BF3-4551-9B07-0AD5E9917A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e66f0b521b3f7ec84fb8841be774947cc4ae6a","datavalue":{"value":"Propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401249$2D5751AE-0596-4AC7-919C-AA87FDBE75D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0530ef18563772d3f741322062bf074cdc527e","datavalue":{"value":"Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401249$73263E6D-DB03-48E3-93EE-79EA0E341A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e361391fe03093db1be0a72d2a1c9e3e765fffc2","datavalue":{"value":"Cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401249$5701E95C-B426-4DE9-BB23-E494E4E69073","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":"Q1401249$FE96F43A-F841-442F-B655-0187606B2D58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$AF3F2428-2BFD-42FC-99FF-20240DF28639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25b6e3a78e9a3f320205259f9976f9eabd886a","datavalue":{"value":{"entity-type":"item","numeric-id":4726174,"id":"Q4726174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$C8AD3762-A1CB-4E87-8C76-20EBD18C7E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e130c72e96bf6a6421f91022aadf22a9675cc8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1977413,"id":"Q1977413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$6B446E19-1DBF-4696-9FA5-A611A5F05F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$5207CC84-07DB-42EC-8AE8-8A84F548FA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f3592150048822b9dd2ff2427ca2c5074fd1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1288204,"id":"Q1288204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$FC342C3A-72A3-4412-AD5F-66A5BE1F9154","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":"Q1401249$6AE38CDF-D0E1-4DA4-9BBB-89CB18817363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa96b7c0ec9bc7a683e7636e258c3fded01e42","datavalue":{"value":{"entity-type":"item","numeric-id":3787917,"id":"Q3787917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$3321EF50-07EC-4DAE-ACA0-83243C69E96E","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":"Q1401249$86CB5AD5-0F5B-473E-9A2D-22D7C81FB346","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":"Q1401249$E046A7B2-EF5D-4D42-BD08-297527FAD61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$2DCAF546-9289-4231-9D5E-A19EC70D1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a48c289367846d2e6cbf6ff475cf182266d6c35","datavalue":{"value":{"entity-type":"item","numeric-id":4178914,"id":"Q4178914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$7099A301-1E26-477F-B146-F7A1FBC1F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45d398cee7029b6c4eb7c6c0e2a1a407fff02c","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$170A37E1-E647-4299-AFF5-C88E3EFE5D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401249$4D801ADE-5CA5-410D-989D-6AF57962F3A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ab165d6d3c606d8d79323a1ef518eb8c6e845b","datavalue":{"value":{"entity-type":"item","numeric-id":4779177,"id":"Q4779177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36bbd55fd3102b305ab6305e76cc2980611cf9b","datavalue":{"value":{"amount":"+0.997921109199524","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":"Q1401249$E3234833-0B9B-4083-A792-6ACF808A2D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d145f7011bb5696089e2d11bf683575ba374fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2387199,"id":"Q2387199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154a73852bc9d3862fe4a067eaea0bb6dd100c5f","datavalue":{"value":{"amount":"+0.8349253535270691","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":"Q1401249$0DCADCE3-660A-4479-BE48-D3618E3DEB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a553968c20f72dc4a7c04371e13f048cae8585b3","datavalue":{"value":{"entity-type":"item","numeric-id":3436752,"id":"Q3436752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cdd803cb7bac5a138a2a685891d2388a7b6e88","datavalue":{"value":{"amount":"+0.8279160857200623","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":"Q1401249$B3424B37-E0D4-4A62-B784-67B767D0A731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b507dfac863132795400f9a7ddb89290c4f9cc","datavalue":{"value":{"entity-type":"item","numeric-id":5465846,"id":"Q5465846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4e64166e3b8a881f30d30dd38f711f05da787d","datavalue":{"value":{"amount":"+0.8266810774803162","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":"Q1401249$03A70672-9C93-4C45-8B3E-764FC86B8070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b229f27005b3ddd16863d120c83416fe77a57c","datavalue":{"value":{"entity-type":"item","numeric-id":5492875,"id":"Q5492875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3ab6b8419108da02822e29599e2dd2065ec538","datavalue":{"value":{"amount":"+0.8208000659942627","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":"Q1401249$48F76F0A-AAFD-4A10-ACDE-75B50FA1D6A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reducibility and symmetry of disjoint NP pairs.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reducibility_and_symmetry_of_disjoint_NP_pairs."}}}}}