{"entities":{"Q2257103":{"pageid":2267846,"ns":120,"title":"Item:Q2257103","lastrevid":78370292,"modified":"2026-05-06T11:25:57Z","type":"item","id":"Q2257103","labels":{"en":{"language":"en","value":"Partially definable forcing and bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6407256"}},"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":"Q2257103$9019C0B8-CC6A-4C89-91C2-014EEC415CDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbf6d7b42b6238c1a3763f9bbc8499c335bc4bd4","datavalue":{"value":{"text":"Partially definable forcing and bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2257103$18770990-51BF-404B-8179-A604483EECA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e74bc5e5b338055a2c21ff2b85cedd727b83a37b","datavalue":{"value":"1382.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$50617880-2388-480C-BFD1-B974DF661817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$6F073AE4-BE77-44C8-BF8E-77C07CF6234F","rank":"normal"},{"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":"Q2257103$15F3DEC0-0BC2-4A07-B7C6-AD33A8C99134","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$320C2B99-36B8-4CB7-B73D-BFCFECC28384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327ec1e4b48ef8cb2eab85e47071bab036811132","datavalue":{"value":{"time":"+2015-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2257103$099528E5-DAF7-4180-84B8-120CC75D4D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a70857d66147848f0b02d5d3235c040b8f8defa3","datavalue":{"value":"http://hdl.handle.net/2117/27193","type":"string"},"datatype":"url"},"type":"statement","id":"Q2257103$BA3118F9-3081-4790-91DC-7B59C4845CAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$EE39D07D-1B4D-40B6-966A-8E6BC7F895D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$5E425F52-67E3-4569-A539-CA4C5C7230C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$03F2CAC9-B6EB-4263-934B-B0004DDF80F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$FFAE9517-5DCA-42B1-B9EA-F39D4B943B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$5EBE29AB-D8C0-4DD4-A859-D0F0069B520C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3039dcb60bf71aefe9b4211fee777c9f0fac3ac4","datavalue":{"value":"6407256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$3F374375-7980-4B01-9876-38604772BA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257103$3113F246-8DC0-4942-8BCF-1F57129D7CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257103$B8D4EC63-85D7-48E4-A821-465736588E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2257103$B7DF4FCE-03E6-4DE8-99E4-7296ED8885C4","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":"Q2257103$C3660336-D023-474C-BB8B-FDBAE18E7BA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d13e252016ef8870a1e30b52911206d493defeb","datavalue":{"value":"W2134910373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$14474998-EE56-41F6-9C15-38D0DD5A374C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a581108248954ab58bdb73d04b02d74f7142f7","datavalue":{"value":{"entity-type":"item","numeric-id":1374208,"id":"Q1374208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$F118F68B-6C4D-4AA6-BA52-7B012AD6ED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$EFA9C2B1-C657-4846-A329-2A5DA095E7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca3374f38546cd0b5f3c54b80aae548e59ad030","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$499B8E01-171E-4EB2-8F8C-04EEEFE7CB1A","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":"Q2257103$D80CC4B1-63CA-40CA-8E28-5B7D1B53B3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$EAED1E5B-0BEA-4F2D-9F24-EFCCD785F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d92fa5008a947cf4d000f7551c40cd38c27e82","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$718F7173-176A-49EA-B4C5-D4392C6AE507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ef2ced0e04f9c35fde1264ec3d5c682c1e23a3","datavalue":{"value":{"entity-type":"item","numeric-id":2946607,"id":"Q2946607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$D739D02D-2680-43DD-B57B-7BD5768B9999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$52B9B518-33F3-466E-A77F-490915FA4208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$9A4D0100-1F6B-47B7-B274-8EA493B92138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a92b4f123fa4e9d402c12a53dc896b2f39e4867","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$1E59194A-E2B2-47F9-95DC-785C04D2F110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f4844883d38ba5b8da2bd118d050bc2a66329c","datavalue":{"value":{"entity-type":"item","numeric-id":1908815,"id":"Q1908815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$C417FF87-232D-4C8F-A203-2D3AEDA2E495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$6F005CF2-C987-4968-A964-E309FC37EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$AA3C654E-0E25-4E13-A9AB-08A2A3DF3EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b599c1282d68ddf16f7f3ca83afc285b3d685e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5292633,"id":"Q5292633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$097FF378-FB03-48EF-A35A-0A3EB762BB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cede0ff806d98b3c150a87a9307eaa595358afa","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$11221D3B-09CD-4354-8478-A3B2CF732B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e4af5b5876ff51622383a273f2390072da4ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5338333,"id":"Q5338333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$F65B9132-6859-4462-9451-9C55D127C877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51b8401e35df5fc023a4820101d20adab29b7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1398366,"id":"Q1398366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$52BB7011-A1C1-4042-92F8-EBC362A18C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$83DDFD41-C20F-4B42-85AD-3A8B091B5CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedadcb6b96cd2c929e3222c7cb41ead94410f62","datavalue":{"value":{"entity-type":"item","numeric-id":3686704,"id":"Q3686704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$40F0C78A-16EB-4AB7-892E-022A11ECD89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53acb139c59d5d85a28fb41626855e17e970b82d","datavalue":{"value":{"entity-type":"item","numeric-id":4770954,"id":"Q4770954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$6A61E74C-508B-48B6-9E43-E51176145243","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":"Q2257103$D4C674B4-DC61-4765-AB0E-C3AC600ED4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c40eb8635c062f163a63f14d78d82cee97719ef","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$06567274-D340-44E3-BDAC-DCE427D6421F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f420ebf9e7100bad0d1a67b793ed7f4c6fe5492a","datavalue":{"value":{"entity-type":"item","numeric-id":701740,"id":"Q701740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$F569B642-DAFC-420F-87F6-17407D7EFB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$AA278948-6676-4605-8C08-A6F154E5D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$016C708A-8440-4E37-A22A-92D1B40CB1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204c5acd5b474dfc8a08017621ca3f34f3cf174a","datavalue":{"value":{"entity-type":"item","numeric-id":5416083,"id":"Q5416083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$5F1E88DE-FE35-4C08-8CAD-9EE920D95DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ef596d715f0e42056e138e2c287ca89a8f0c37","datavalue":{"value":{"entity-type":"item","numeric-id":3041177,"id":"Q3041177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$15B3AA66-726D-4056-9D89-D9C87CB4F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$4B88C682-0D4F-42FF-9AAC-A417E585B022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$CACA781A-5BCA-4ABB-88E1-3DA7BB44BCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847c6fbc8220830e76ff79121ea7d4c2418412e1","datavalue":{"value":{"entity-type":"item","numeric-id":4841154,"id":"Q4841154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$3D78B644-C502-4F9C-9C77-01D4AFACBCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff61ca374ee77277d19fc7961d41ebf54c0ff01","datavalue":{"value":{"entity-type":"item","numeric-id":4893137,"id":"Q4893137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$EA54E348-0355-4469-97AB-02B71CAEC8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$BBE21A17-9A37-4EF1-84C9-38C7333648BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$1122A327-3400-46CF-9934-6A612F7ED40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ad3e47c94faa1151c416011d01c8b47211962a","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$C53C6498-A940-44E3-9CAD-BBB54352CADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f179fd82305f42c911ad67f498b3a9ae42d6d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4737899,"id":"Q4737899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$5604B255-923F-46EB-9A49-CA727B20A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28c4448a377db2fe77b2e2652a92e94bccb342e","datavalue":{"value":{"entity-type":"item","numeric-id":4081206,"id":"Q4081206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$501E865A-80D7-4D77-B043-8AD8FD735101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$A44B2E7C-7EF2-4659-8C39-384953CC1CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481030b7d1e9cac5ae56ed6eb3a25fd1f256c35c","datavalue":{"value":{"entity-type":"item","numeric-id":5528665,"id":"Q5528665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$FE41A757-4312-49EE-9AC5-D700370E51D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$CFDD1F72-B840-46BF-BF88-424A768266C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$3261A948-1048-4709-96D8-55C413C87C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bf66dce643416452adfb65f87a80d3a4ef76081","datavalue":{"value":{"entity-type":"item","numeric-id":5656765,"id":"Q5656765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$2BE81F02-222D-4A75-8B3A-F70EA8A36AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57742c9df7a9fc158a556e7a8ae3837d0df80b57","datavalue":{"value":{"entity-type":"item","numeric-id":4041570,"id":"Q4041570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$072138BC-043A-45CD-B348-FF98B4533F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61606e6d22a535e87dc999aca61f52bc55c83517","datavalue":{"value":{"entity-type":"item","numeric-id":4893139,"id":"Q4893139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$2427879C-2DBC-4E01-BD1F-DCD9F79EBF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ffce6cf7cf29f8dcdcf0e6fa9d58bae904be47","datavalue":{"value":{"entity-type":"item","numeric-id":4227870,"id":"Q4227870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$8F197339-648B-421E-B6EA-47F4B1E6BFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ed9d3f74405c931650d0d10a28ccd22958e018","datavalue":{"value":{"entity-type":"item","numeric-id":4351930,"id":"Q4351930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$E60D4A52-F59E-49EC-AA6B-E702380D7FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2257103$0DED3A02-F838-4055-A61C-761652399290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1b6404f3fe2ad487737896c4bf9ae9e6d5dfe60","datavalue":{"value":"10.1007/S00153-014-0398-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2257103$98D6E04B-6F6A-482E-824B-C7BAA944A197","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partially definable forcing and bounded arithmetic","badges":[]}}}}}