{"entities":{"Q5900979":{"pageid":8007833,"ns":120,"title":"Item:Q5900979","lastrevid":41037824,"modified":"2025-04-17T22:28:55Z","type":"item","id":"Q5900979","labels":{"en":{"language":"en","value":"Proof Complexity of Non-classical Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723165"}},"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":"Q5900979$AEC94616-70E3-4012-8DF5-2C5B5B38C456","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2c1f51f476a3ba62951102e3aa908229a838e14","datavalue":{"value":{"text":"Proof Complexity of Non-classical Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900979$F4180FD5-BABE-42DE-B207-9E858AEBD755","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc6ac55f00d841f8a5797481f1711ed2714610db","datavalue":{"value":"1284.03257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$32DD4EF4-2280-4321-AA08-0283E242EB50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62de4ec26e45349036db8ab398f336bf28af9eb5","datavalue":{"value":"10.1007/978-3-642-13562-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$EE872A1B-CC98-4212-B257-10D02B8CE1A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900979$C74932E1-3458-4D22-941C-64FFE6598556","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900979$89AB52F0-90CD-49C0-8ACA-8FDD67C18B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-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":"Q5900979$ECAE0315-4118-4128-BA15-D560722ADD0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88c717e6c3c4c43dbfc326204c65837dcd83c9b7","datavalue":{"value":"http://eprints.whiterose.ac.uk/74776/10/beyersdorff.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900979$8B63D277-0000-4C04-8EFE-2A1C654AED03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$2E10755C-5585-466C-8509-D82AFBE1B76A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476ee43540fe99b7d67b95b65791c4b586c1e7fb","datavalue":{"value":"5723165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$F9A0C881-C208-4543-BE4B-13E6528D0525","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"03f178d926735a00de076b32a26f918194cf1e9c","datavalue":{"value":"Q59903358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$D1CECBE2-3827-4588-9FAE-6FDAF62FEE16","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":"Q5900979$0DB00FB6-A5D1-4516-B136-D695A008D421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4d038c8a63bea53763bd363f82dbcdbea40646a","datavalue":{"value":"W2406716656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900979$A200D506-2769-43E4-9571-F6F87BA95542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7cee953fe1937bf532e79a63b5ecf3e0581e8","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$0A6622F6-B249-4805-B1DA-801A856FB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7168d293d86afc25c1adbbe605c8e3b6dfb446","datavalue":{"value":{"amount":"+0.9587535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$3CBCAF05-1B3D-4F1D-9835-A9F9C25411DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ec113b23214e288da260f9f7085565692b35cb","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a1dfb7a75f20828db5887576144cb1f35b3daf","datavalue":{"value":{"amount":"+0.9373239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$B20F3537-4ED4-4368-8717-3EE8A805FC19","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":"5055e196874cab727321de60f248d7eb8484bf61","datavalue":{"value":{"amount":"+0.9324884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$02F06A92-D463-4117-B412-EF856EF00076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd71905a039304f595542fea57706554ecd11c3","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5055e196874cab727321de60f248d7eb8484bf61","datavalue":{"value":{"amount":"+0.9324884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$E8537D4B-636F-4ED8-9156-05DFB0683B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3e5b2b6ef848a577c3b798b95fb59409523b32","datavalue":{"value":{"amount":"+0.93171614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$FA02CBCA-E0BD-4297-A856-6785A02B1FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc430af3819509f8af41df6940546adb4b9d9959","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70533f376b3801927b9f10dd3cb7c12374babd34","datavalue":{"value":{"amount":"+0.9307594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$B4B8687C-B506-453E-9435-0076FB9AEE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e75291811b5412217dae2b918a9dae6ddc1047","datavalue":{"value":{"amount":"+0.9270316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$406F0FF7-0EEB-45DB-8545-91536C100A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e58770b831abc2ac95b038ca376cdd6dce9e1543","datavalue":{"value":{"entity-type":"item","numeric-id":4930577,"id":"Q4930577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad653da647a45d40bf77edd853b02467f2f2f758","datavalue":{"value":{"amount":"+0.9259454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$9D013FD1-B8CF-46A2-B5C5-79A147269FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a7bf0d0f25486e2b487ca15bccabd9d7423916","datavalue":{"value":{"entity-type":"item","numeric-id":647339,"id":"Q647339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad653da647a45d40bf77edd853b02467f2f2f758","datavalue":{"value":{"amount":"+0.9259454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5900979$B091F58A-DE5F-4E93-8120-60040D48388E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900979"}}}}}