{"entities":{"Q5696301":{"pageid":7725861,"ns":120,"title":"Item:Q5696301","lastrevid":48570889,"modified":"2026-01-05T06:17:01Z","type":"item","id":"Q5696301","labels":{"en":{"language":"en","value":"Uniform Proof Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215471"}},"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":"Q5696301$C9710FCB-B7CD-43D8-B57A-E9A2F6F5F4CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e66dd32e306cd13c350e7e695ad1d0552e05d6ad","datavalue":{"value":{"text":"Uniform Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5696301$1B0E37EF-FF4F-4BF7-A989-6126DE0C7B7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba40f0124235be83fb263658dece7b468c519651","datavalue":{"value":"1082.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$D8B07202-80B2-4EC2-A9B5-FDE72ECBBAA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696301$75A7C5D7-F661-4C7F-BDBB-341CD7D32B0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5696301$446B7386-B9E4-416B-AABD-C1939154C3AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e926533d9fca5129860bf92598236573b9cc3cf0","datavalue":{"value":"https://semanticscholar.org/paper/91f2be6082b3ceb697f167b886433e62cfeb98fd","type":"string"},"datatype":"url"},"type":"statement","id":"Q5696301$336285DE-0715-4D5E-A8B3-CE81C7B3519C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$F658EC62-600F-43E6-9F87-768E3AC3C849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$571E0D56-9D1F-48BE-B008-6D52F1BB0557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$A7B80A10-51D8-4851-9458-E0AAF21B03E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"252346f17fcbb30952676b0c3acc6fa5dc5750b1","datavalue":{"value":"2215471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$EF2832E5-CFEC-42A9-86F0-F4DB20840C6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab33312517e22c640b55a13d3120017f6e4b55b5","datavalue":{"value":"uniform reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$53189232-8228-43FA-9012-BEA699F3221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$0AF6B719-4F11-4928-A7E7-963C36F5A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2226fb16f736a01577a57695d2f4a65c80558b22","datavalue":{"value":"arithmetic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$C48528B1-3A9C-47CC-9267-868AF96BA7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$E549787C-8F17-4310-9D7D-98736C10B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$3AB59A07-0ED6-48A8-88FE-A312E0626673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$E3987C35-9AC8-4864-BC48-0E225394D95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696301$D0E27CF8-B9BD-4CC5-BC0E-8FD524AC8DBD","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":"Q5696301$B5874A5E-9DD7-4E4B-B3DF-584701B244B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f10e080e2f8ad768fff0dbf84cb985a979144f42","datavalue":{"value":"W2033014810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$CC88232C-E00A-4728-A5EC-57F435874515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2f78dbc4c4a8d4133d54fb959836773a91678b","datavalue":{"value":"10.1093/LOGCOM/EXI035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696301$AB2B425E-9B8C-4F70-9A95-08BB5AE14C27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696301$2CF061CD-4AE0-4EC1-B4EC-F18F3A332BEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d9f1ad29a3d2df728d720d035313c689cb7084","datavalue":{"value":{"amount":"+0.7474303245544434","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":"Q5696301$02E87BA4-7943-4B6F-822C-89B04FF88ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a634bc71ae9624eb486e8ac2d486a6e8d135499","datavalue":{"value":{"amount":"+0.7421103715896606","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":"Q5696301$0F712355-1865-42DC-83AD-58ACF31144D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc39d5da8ab4770fb707a842bc2e9f75c2cf116b","datavalue":{"value":{"amount":"+0.7388158440589905","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":"Q5696301$6B490D71-8A93-4CBD-B255-57FAFE33008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb7166e9e0d2b10e731e4b3ae18e533d80b4d23","datavalue":{"value":{"amount":"+0.7388157248497009","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":"Q5696301$3C47AA42-0836-4D4D-8232-4B78965F1341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b417248f164d120103a0cb16f0137e6e5af00970","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133d7eb1fe643a7f4a94e15e042a0f4c4c1373ab","datavalue":{"value":{"amount":"+0.7383065819740295","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":"Q5696301$EA89A2AE-799D-4903-8E98-D0A63749453A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5696301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5696301"}}}}}