{"entities":{"Q4075449":{"pageid":6105050,"ns":120,"title":"Item:Q4075449","lastrevid":55345015,"modified":"2026-02-06T07:23:01Z","type":"item","id":"Q4075449","labels":{"en":{"language":"en","value":"A theorem on shortening the length of proof in formal systems of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3494393"}},"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":"Q4075449$F7654B61-D0BE-4D4B-916F-65B7E6CF22A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a61fc1ac00020e0708cc413b60af5a019ff15d7","datavalue":{"value":{"text":"A theorem on shortening the length of proof in formal systems of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4075449$445E99BD-6F0E-4F9C-9839-F6B04E9B41FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ced5ba4818e506ee7794396f8d79d542c1b503da","datavalue":{"value":"0316.02046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$7E603013-4977-4436-9045-5BE6A6869290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86d7b098d5a9f4a522ac2c7866e4d45ddf6b4705","datavalue":{"value":"10.2307/2272163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$00D28B37-C2B7-4185-AD9B-6FDF53136C4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ed8fc3e9cf96f8e8d35daf1d7ac5a198960228","datavalue":{"value":{"entity-type":"item","numeric-id":1078174,"id":"Q1078174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075449$70ED8CF8-8744-4F31-A4D2-7B56FBF1F8E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075449$06AA4748-7027-4AB5-AD56-EF252DEB4A9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4075449$D0339A29-6095-44B0-A56D-29922DF26A75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$BE10613E-2227-4B5B-8C4F-09DA508B2BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$BD1D3D10-B347-4F17-B8AD-62DD63BAF18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$BAEAB02B-B06F-441C-A67C-55BF98856C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$B8DB75AC-1EE3-4A3B-8F7D-2253430E1FB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1bc8f0e279887e3bb09ab790279b4b8bc189770","datavalue":{"value":"3494393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$F7FEE00A-3161-47C1-A56C-D6D2CC8EA83F","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":"Q4075449$9B6C0007-E3C7-483A-A1AF-BA8A14C4591A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8baaa6ae821800369a18cb20997c3c63a293820f","datavalue":{"value":"https://doi.org/10.2307/2272163","type":"string"},"datatype":"url"},"type":"statement","id":"Q4075449$B1E95A07-DA54-41A3-98D5-C291E6592679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aed6baab090ba837a380db1a76fefa33b14be110","datavalue":{"value":"W2051561433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4075449$35B2013D-14E5-4E04-ACE0-76AE32535E1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e7b1b42a2a2053b3f616c94f836348e7a959d9","datavalue":{"value":{"entity-type":"item","numeric-id":2541365,"id":"Q2541365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075449$7D4081CE-6E1A-4F90-BC82-3D04A69C031D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ba8f7244e4159964661fb024ab4457cffcc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":5619080,"id":"Q5619080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4075449$1E66E756-F779-45B5-829B-5C55766DBAFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4075449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4075449"}}}}}