{"entities":{"Q4224090":{"pageid":6253691,"ns":120,"title":"Item:Q4224090","lastrevid":88563407,"modified":"2026-06-04T14:51:36Z","type":"item","id":"Q4224090","labels":{"en":{"language":"en","value":"A Remark on Independence Results for Sharply Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1236726"}},"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":"Q4224090$0068690D-A481-4D53-B6CF-F31B31306DD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfd8266d4cf07d832467e9a393cb52bea252e0d","datavalue":{"value":{"text":"A Remark on Independence Results for Sharply Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4224090$0ED83D91-79A9-439E-9702-D4AA62FDBB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5accf0aaa5dc2ecab902c99ebb86fb4dc3c6c52a","datavalue":{"value":"0920.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$6D1F69D9-D7C6-4300-AF14-BB343A128C46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4224090$71F04B01-F227-4AC2-B9D1-33F72A568625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4224090$0438FECD-AD8D-4282-880A-635DA0B3B034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4224090$6E4508C6-E589-4336-91C6-6293AF21DD28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$AF6DFEA7-73F4-41BF-9F07-41BE97DF2E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$E8CFED14-F17C-4407-97CB-9B20450024C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$216CFC6E-6DF7-45AD-B605-8697964BE0AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c7c80ada2597a93f860c4b7fc566133a3395eb3","datavalue":{"value":"1236726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$E204B0C5-311B-4AA0-BBD3-4F6E5077F52F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4224090$CA62C531-5876-4FD0-8970-CBAFBA03A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6b5a9597aba285d5eed0ba58c05ea2cbb9dd36","datavalue":{"value":"sharply bounded formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4224090$2432735A-78E9-4856-B8EA-79BC630D43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4224090$670FAE14-65F2-4C99-866E-DF4758EBC08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6f743dfc5ad9d195910842c1e1eb2eec13545e8","datavalue":{"value":"weak fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4224090$20ED1955-021B-4258-9402-30CA5D43B10D","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":"Q4224090$1953D45D-070F-4D90-B307-0A436955CB02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a37627435a5fd911e6a925fd54940ac67163fda","datavalue":{"value":"https://doi.org/10.1002/malq.19980440415","type":"string"},"datatype":"url"},"type":"statement","id":"Q4224090$E8A7D9B6-756D-4346-BFE1-23F6017B5855","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76c200f04e3a6f8a4ec3042b80818b1607bdfd0b","datavalue":{"value":"W2092110581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$FEE7EE02-F786-4AFB-9C47-94F81CDE3500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4292ac5f77b1cb4a5b786598b7008967d3808e8e","datavalue":{"value":"10.1002/MALQ.19980440415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4224090$208A4336-8977-4A35-94B5-4F20AF9D34A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6544f7f54631d31398ad5d162d9b8a680e0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4393170,"id":"Q4393170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b571f09ef02c111549ac13063ccb3e700478145","datavalue":{"value":{"amount":"+0.89286983","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":"Q4224090$D7793D7E-3A80-4FAA-8EC5-709986BD05C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd93d7d645cd992fab256898a692386ff16220a","datavalue":{"value":{"entity-type":"item","numeric-id":2720322,"id":"Q2720322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57084400bbb6d2ba5e4602ea04ea0a1d113176f5","datavalue":{"value":{"amount":"+0.7661194","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":"Q4224090$3A9EBB6E-AD32-4F9F-B295-6C0CC5CAEB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ee7f4bda871da19ff0ed7838d57c1585ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":535152,"id":"Q535152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7992d4e3c7bc5f9d74e45cad54685362606bba43","datavalue":{"value":{"amount":"+0.763732","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":"Q4224090$BDE79F48-CFE1-49BA-A223-9F54E42A0B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2cef6ef18b4f571a161ed5ad4c37c7320103d2","datavalue":{"value":{"entity-type":"item","numeric-id":4893147,"id":"Q4893147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fe74030a0b95f4b47d7eadadbe15cedbd186d7","datavalue":{"value":{"amount":"+0.755878","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":"Q4224090$385BE6BB-CC81-4912-BBC2-D35C23C8C32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7480366c5e9d84473da638c7b772c56c10ca2f32","datavalue":{"value":{"entity-type":"item","numeric-id":716498,"id":"Q716498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e0f00bdb8aa3071aea13dcf0008258f870ca57","datavalue":{"value":{"amount":"+0.7436811","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":"Q4224090$19F8C1EE-226F-4A29-9EA1-0E4CBBC126B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb07dedd02da7261e5cb418087eda076b8927d12","datavalue":{"value":{"entity-type":"item","numeric-id":4210843,"id":"Q4210843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"524cf798e457e965601c971f74d2ddabba4dcdea","datavalue":{"value":{"amount":"+0.7375045","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":"Q4224090$93FFB7A8-F46C-46CA-9102-CBB2F344B310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ee5c86fff4a2e271ddfa12b13f3aed4ac5fd89","datavalue":{"value":{"amount":"+0.7285081","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":"Q4224090$346017FF-7155-46D3-8BB7-16B495FB46D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aea8aa15b141fb40b3d7bd7d5691250790e089e","datavalue":{"value":{"entity-type":"item","numeric-id":506954,"id":"Q506954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3719d3b67d5adc4872a0610ca5effca0875c28","datavalue":{"value":{"amount":"+0.72374165","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":"Q4224090$D614A7CF-86F0-4C85-9DE8-21E8C00F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a781a8de00042e417f3655ae8d4e9e983ecbe813","datavalue":{"value":{"entity-type":"item","numeric-id":3487327,"id":"Q3487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42ba68b8b84ddf882b3f0edc98aed268bfaf40c","datavalue":{"value":{"amount":"+0.7193923","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":"Q4224090$ECD4BC18-E51A-41CB-B74C-9C556A1FC0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9cca76926248543e036b83492c051459430fe6","datavalue":{"value":{"amount":"+0.7192964","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":"Q4224090$552BC282-3B12-49E3-B77F-837CA038A3A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Remark on Independence Results for Sharply Bounded Arithmetic","badges":[]}}}}}