{"entities":{"Q3083142":{"pageid":3093857,"ns":120,"title":"Item:Q3083142","lastrevid":45407083,"modified":"2025-12-07T10:28:12Z","type":"item","id":"Q3083142","labels":{"en":{"language":"en","value":"A theorem on partial conservativity in arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5868005"}},"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":"Q3083142$E6DF2956-D880-4521-953C-74DCCC557B40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9784e42445803f703761942610d8abc6299851df","datavalue":{"value":{"text":"A theorem on partial conservativity in arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3083142$0E1BF890-0A60-49E1-AE19-B07B0355C579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07fd72ca99100b3a3c750a81dcf61ec8dd64c243","datavalue":{"value":"1218.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$EB2B5C4D-E88F-4757-83E9-85E0D57E1D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491e77b99273305a3a3bbdb2dd66a2b0304c39fc","datavalue":{"value":{"time":"+2011-03-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":"Q3083142$C4BBF284-189B-4F92-9812-2711AD3DB37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$39E3A4F2-19D6-4233-AC24-D3D1CE993925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$D3625556-5FDC-45B1-A539-FA1C5377DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$B7F96E71-F5F7-48A6-89EC-E0083BCF0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$771EC9F1-5154-4C2B-8C8D-5C228AD30113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af3d6fbad9426d20ca5e57bd93ee2239133311b","datavalue":{"value":"5868005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$671916CF-32F4-4696-8D23-CB257C512EAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f7053c2aac6d440efc0b375d8fe2cb96b4785","datavalue":{"value":"elementary arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083142$6C351895-D14A-4211-9E6E-1B860B20AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e1f45d6b51b28e65c984b697eda26212f558fa","datavalue":{"value":"partially conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3083142$5146DFCB-E3C5-40DB-916A-0BA8DB3E6695","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":"Q3083142$E7A829F0-3DA3-4CFB-BE44-F90A4AC95092","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c565f4d54c0282f978e464d00d7b6da3899eb9b","datavalue":{"value":"https://doi.org/10.2178/jsl/1294171003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3083142$D6FB2B77-A8B2-4C11-8C8F-CB9F8170F86C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19c6d4d2fcd7bc51c9dde972d7eb602e6d83cc35","datavalue":{"value":"W1998522263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$AC08CA94-383C-47B4-8E1A-E02017A60EB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b11c4169733b6fa23c351b39b757c2a746f7cc","datavalue":{"value":{"entity-type":"item","numeric-id":5313376,"id":"Q5313376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083142$86A9A6C9-6F97-45D6-ADEF-CFE3D77F800E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323695a9229ac65de894032825efe54df7313b13","datavalue":{"value":"10.2178/JSL/1294171003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3083142$2B43963E-9E2E-42D5-98D2-7BBAFA0E25E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21af680fd9cb84bb1055ee37d802b9ce23946601","datavalue":{"value":{"entity-type":"item","numeric-id":2120971,"id":"Q2120971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a601363c8c53f31cd049256db77eb78a0bda0b6","datavalue":{"value":{"amount":"+0.73905426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$B8387530-FCC6-4C62-BE2A-E76E5303CF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372e77d61ba3a54a9f0566a3a43fbe738b44e629","datavalue":{"value":{"entity-type":"item","numeric-id":4724620,"id":"Q4724620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0a791a918f7bb15ec87d61755d2ce79603250c","datavalue":{"value":{"amount":"+0.7322381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$C87BE689-FCD1-42E7-98D0-EB4BF4143FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328663fd540af1771e700814ad928ace66ef6e53","datavalue":{"value":{"entity-type":"item","numeric-id":5454218,"id":"Q5454218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06459c13db012d7cf392b318e501ce75dfabe84a","datavalue":{"value":{"amount":"+0.7274228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$4A763DC9-8A9A-424C-A11A-34000B7AF818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121cd2c1e7e7e3d233cfd24684728e92567e8b35","datavalue":{"value":{"entity-type":"item","numeric-id":4513512,"id":"Q4513512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f00ddf0b7e806051ec5abcfbd0c04c560dd5bc","datavalue":{"value":{"amount":"+0.7263468","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$98DA2722-BA41-4D34-8076-B5E70B630EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72211653300131d81cff354d1410fa3cdbd7ded0","datavalue":{"value":{"entity-type":"item","numeric-id":3726110,"id":"Q3726110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d46433c94e0ad088b23b48bde230ca159e26165","datavalue":{"value":{"amount":"+0.7177938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$A2A78553-18BE-4A0D-B679-652570153783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc33d4f687e26042b7f46efcf36919c47494123","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c3dfb419e895e9859c56337f58243d0a61ba77","datavalue":{"value":{"amount":"+0.7133258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$0E6DE0EE-A3D4-4198-8D94-D9BAF1798539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850f81837d3a67a14c80436552d0a883726c16a1","datavalue":{"value":{"entity-type":"item","numeric-id":3835452,"id":"Q3835452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53de59b9f7a8bce1e53e4925d96de966929f39ea","datavalue":{"value":{"amount":"+0.7129684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$E67D882C-4424-40C7-9F38-E25BDD634537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb90f284af73542c3f9c58173332ca2892691d3","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8669e037d62a1f9dd12ae053f8a3c9cdb2317e3","datavalue":{"value":{"amount":"+0.70848155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$9AE3AF08-7C89-46BD-9D50-97CDA81DC481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef99667338a9f6145b24341f7624b80670f137c","datavalue":{"value":{"entity-type":"item","numeric-id":3611724,"id":"Q3611724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec73bb9c7ba8cb39fa1d44e9d343754310f270f","datavalue":{"value":{"amount":"+0.7062461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$EDE43D91-0570-45F9-95AD-6395827489CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781c907f6d78accd78e5d3e6e6fe6d2bcc15ec9","datavalue":{"value":{"entity-type":"item","numeric-id":6140183,"id":"Q6140183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c673e987b203539edfd2aad3357c6f1439223ceb","datavalue":{"value":{"amount":"+0.7061213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3083142$2EDA888C-D0D8-476C-B875-84FCFCF35F96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3083142$9E841DC6-4B0F-4C73-8EC2-07A391297922","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":"Q3083142$3ACC4316-E1E4-475D-AFFA-BE2A9454A240","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3083142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3083142"}}}}}