{"entities":{"Q6170505":{"pageid":13305393,"ns":120,"title":"Item:Q6170505","lastrevid":39797026,"modified":"2024-12-31T07:55:56Z","type":"item","id":"Q6170505","labels":{"en":{"language":"en","value":"Jan Kraj\u00ec\u010dek, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7725107"}},"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":"Q6170505$6A06EDA3-EF08-49FB-99AC-3B65BF7CF4B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab7c1a49338ca50a8bdd3364f00f3747cd23c231","datavalue":{"value":{"text":"Jan Kraj\u00ec\u010dek, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6170505$908802B2-27A4-4FDE-A7A9-EB13DE21727C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0582c8fbfa44d141be19fdff50b7f99a7578d7","datavalue":{"value":{"entity-type":"item","numeric-id":490659,"id":"Q490659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170505$8F0EDDB9-AFAE-49BA-930D-1339A7906862","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6170505$9AEAF4B2-48A3-4AB9-9C69-294F59A357A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6170505$475D9789-E087-4828-B48F-983960F20935","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cdbcb9a9433c83028f6e622f8bfd7755585518b","datavalue":{"value":"00A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$D97CE4F3-344E-40CD-8538-49CD04BC38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$1982CD53-524B-4A7E-8D37-27D833F6C362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$97DF2C8C-39E9-489F-ABCB-632312A2F65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$9FA62508-DA3C-4DE5-A34C-84C3C89B318E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0886ff5035b0971b41aac2ede4c16af299293007","datavalue":{"value":"7725107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$0A1AB23C-95A8-4E03-9C80-13B87ECA9E57","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":"Q6170505$75BD106C-521D-42AC-B5DB-B13314F6BE1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf4a58fb8b08a59be13b27ec11b0ff25c896a381","datavalue":{"value":"https://doi.org/10.1017/bsl.2023.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6170505$BC58CBA7-57F7-47B5-B3DE-029CE595F3AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ceb01c294bfcf1ffd8ffec25d7603c8dd91f0db","datavalue":{"value":"W4384704381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$E92818F0-232A-4E03-BEFB-DCD9CC658479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fd0f325d900c20138455ad1ddb6a7f1c2033a67","datavalue":{"value":"10.1017/BSL.2023.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6170505$2F7B0FEA-5228-4188-A5E3-2B6520F40C40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6170505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6170505"}}}}}