{"entities":{"Q1944897":{"pageid":1955639,"ns":120,"title":"Item:Q1944897","lastrevid":71950461,"modified":"2026-04-14T01:38:28Z","type":"item","id":"Q1944897","labels":{"en":{"language":"en","value":"Proof system representations of degrees of disjoint NP-pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149184"}},"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":"Q1944897$9DD150E1-F349-4324-BC63-1923BDEE1B30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ea1d713e02e0614e0258d448fa5ba9e3c8c9ad6","datavalue":{"value":{"text":"Proof system representations of degrees of disjoint NP-pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944897$99509003-DBF9-4016-B749-B8458D758005","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86f6a20a63f62feded72d0b2d21a4a2ee7435eae","datavalue":{"value":"1260.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$34C909A5-A469-416C-8854-4DD7F981C882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67fd69af6c91517aae24d4f85769ddfc8b025e8","datavalue":{"value":{"entity-type":"item","numeric-id":652626,"id":"Q652626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$6E5E33DD-8CF9-490F-9505-69521E98A00E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$E1C2B91B-2126-4533-A15D-67C266EEA5D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1367ad7cbadc1870b58b208d8a9f406baac6ad8","datavalue":{"value":{"time":"+2013-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944897$E24428F9-35E8-464A-ABEA-8AEE603BD978","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$4D9669CD-665E-43FD-9FC5-7DB6B67337AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$C4EAF22A-9535-4DA1-B5F4-95B24AB9B82B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6318ed6813d0ac18a3f1aa695a9fdb4abb9d4688","datavalue":{"value":"6149184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$DD2F1F45-2774-4ED0-B3AC-1A9469A8720B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944897$A4C406C8-DE14-403A-9DF4-8D3AA7AA9405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ee89a0dfa95cea25d89af12e6e41994677880c","datavalue":{"value":"degrees of disjoint NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944897$9B5BEF32-1244-421E-AEDE-CF556CB8EB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944897$E3A0B959-369E-41EE-A134-84E6AECA6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c5166194886630988b0c48ce8a93dc5184a9e7","datavalue":{"value":"canonical NP-pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944897$2A006C29-FF5B-4EE5-83CB-739C1AAA12CB","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":"Q1944897$6F9DCBF8-9D0C-4AFB-B6A6-784B43616065","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c749e59ec6aaeff33ad7159e8e63975db305433a","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944897$C0E9323E-F76D-4150-B01F-620DC222912E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28428120db0e5f27cb6be0dc0a165bf298fe5bb4","datavalue":{"value":"W1969650910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$7F5EF6D3-3811-48FE-99CE-E5BCCA265ABC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae69f8ff95a1054d345672afc2549299a932f6","datavalue":{"value":{"entity-type":"item","numeric-id":3692867,"id":"Q3692867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$E1ADE327-23C4-4184-A35D-95A223C87CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abbf7ce3fbab369f154d6c2bbf08f84e8fd5db0","datavalue":{"value":{"entity-type":"item","numeric-id":5898879,"id":"Q5898879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$64D554F2-8C04-4A41-B704-17D6C46AE8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1b9eeb094380eefc65dfab5eaa83af9315b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$BF0EC0F8-FB50-41D5-9A88-8F6931301EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351b741f48792ae1bfe049e0186304f343d3b13e","datavalue":{"value":{"entity-type":"item","numeric-id":3392941,"id":"Q3392941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$14E0BFEC-9485-4BED-BB26-67BD2C2F29FB","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":"Q1944897$73630161-45A3-4548-A46E-6FC81131B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$1A9B69E3-18BC-4922-A9D3-916D02B0E99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef35df92a72ac804c0e31cf57121f38f29d45c4","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$82AB1639-6B25-4A29-B4A0-7FD8BBBF311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60774e96c9df4f7868101d808b2076956cc7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3636159,"id":"Q3636159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$3D8DB62C-7F83-421B-AB5F-1DC28FB4F333","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":"Q1944897$DE4B539A-5E9C-4E74-8EB0-75238024A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3af0a1db3b65d01a8001ccd7a57a4efdf08f362","datavalue":{"value":{"entity-type":"item","numeric-id":5925717,"id":"Q5925717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$C91A5451-96B4-4DDC-B805-89F378699097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ca3cbc41d16207c3f87002d2101ea25acb3f26","datavalue":{"value":{"entity-type":"item","numeric-id":3113766,"id":"Q3113766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$A7188526-7D45-4F86-8DBE-715ECCD47751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37793be3730796c8bd8943b2c004c4b13247fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1401249,"id":"Q1401249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$B98866E6-5103-4D78-AE41-C8206E40B26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c993d4bcf8f4089ef3ba4f0d9407b1b4e30698","datavalue":{"value":{"entity-type":"item","numeric-id":5422270,"id":"Q5422270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944897$EDDE4634-F395-49C2-897C-A4E7B42C0B32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"836218a367c38e0ee0072b69a81c1cee75bd2bbb","datavalue":{"value":"10.1016/J.IPL.2011.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944897$7382B9FF-3864-40B1-85E5-A56B95820A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613783461e0ed794462d84c60679b85594e71d3e","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61982b83c99f2333b4808228a16809d978e87166","datavalue":{"value":{"amount":"+0.852534830570221","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":"Q1944897$86AFD952-CFE2-4549-A254-E592BE3BAC8E","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":"28093276c174d154e702508e486707f01cae5f51","datavalue":{"value":{"amount":"+0.8512451648712158","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":"Q1944897$90B48683-BE89-458E-ADC8-A6AB96ECD0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d87d376a43d179a5d5dd4d20a2744b5ca26842","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c6f0b86235a6dd261dcec71a5ac4fb49c4be37","datavalue":{"value":{"amount":"+0.8496564030647278","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":"Q1944897$9F29F1E8-718E-4D47-A714-A74AD204049B","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":"d2f2e415ec4af5505adf2909ccf83ffffa3dadde","datavalue":{"value":{"amount":"+0.838094174861908","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":"Q1944897$EF01AE6B-0016-4FEA-AF08-E3B88158D765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3826ad06e418714f7e857c35ab8ff93ef3e11e84","datavalue":{"value":{"entity-type":"item","numeric-id":5898879,"id":"Q5898879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82b8b554d5a29732c80b1a11a1119042ebd1137","datavalue":{"value":{"amount":"+0.815140426158905","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":"Q1944897$61C6C9A6-B911-45A4-9DF5-CA471EDF65EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof system representations of degrees of disjoint NP-pairs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_system_representations_of_degrees_of_disjoint_NP-pairs"}}}}}