{"entities":{"Q4530151":{"pageid":6559743,"ns":120,"title":"Item:Q4530151","lastrevid":47920420,"modified":"2026-01-03T02:21:27Z","type":"item","id":"Q4530151","labels":{"en":{"language":"en","value":"Every Rooted Narrow Tree Kripke Model of HA is Locally PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1747702"}},"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":"Q4530151$8EC2AE91-CCE6-4722-899E-BFC1A7777831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77f57f7af4c894bd43650ddf673627fc062b332b","datavalue":{"value":"1011.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$477729FA-7E1D-4A66-AC02-280C4A28121D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530151$A7A8712B-D2F0-4B6B-93B5-D20698E56832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"558cb6e2466bea4536ee8a4cdd239d5ee83e8bfb","datavalue":{"value":{"entity-type":"item","numeric-id":2245946,"id":"Q2245946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530151$00957E3A-56D8-4BEA-9757-2424E9DF81F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530151$514610FB-D47D-4507-BE80-F3ED15168959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$7C20AF46-DE76-49C6-8743-C5A3E93311D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$9501D64F-01EC-46A9-B7CE-12E3A62120F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$C202A781-84F3-4309-8941-DB0CA955E8F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d998a9242708e8a43d941295c02ff2ae6765e85","datavalue":{"value":"1747702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$FCD24B0B-7921-4717-B90F-FE1241FCD996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530151$9281B2AE-43DB-4A29-9C15-A49D561597AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530151$DF5FF3D1-D261-4CCA-9C6E-473C83B1AF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530151$510B874E-FB65-40C6-AD28-17FE28F7A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfba2506cc232f3da15def3c09268319047106e","datavalue":{"value":"locally PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530151$FB15328D-E4BF-4209-A994-1806F63AA820","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":"Q4530151$E9FE48E8-F528-4488-9BD7-7E3FCAB82185","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530151$896083E1-AB3D-489E-929F-49A5FCB4778B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05bdd6c7bcc42c44cca9773ae9e67d43342f2b51","datavalue":{"value":"W2045760744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$6D127286-604B-4E5D-8776-29A18D184359","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d346dbede1db98865623b96f8a4183ef80cdff0","datavalue":{"value":{"text":"Every Rooted Narrow Tree Kripke Model of HA is Locally PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4530151$818E7043-86BF-4667-81B9-9579069B9188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58370b669f2344c8344d180811126c7103c380bc","datavalue":{"value":"10.1002/1521-3870(200204)48:3%3C391::AID-MALQ391%3E3.0.CO;2-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530151$457BFC55-0850-4237-85B3-D57995480C49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef36fd53e4c12638d698aab8d379c512a58e00a3","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200204)48:3%3C391::aid-malq391%3E3.0.co;2-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q4530151$519E8F00-8534-40AF-8A6E-B69EF34B4567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96296be5d3d418d1914a8f21a39fb01e99570189","datavalue":{"value":{"entity-type":"item","numeric-id":1355126,"id":"Q1355126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acf40a4972c4155107dd392acaa659c4307a73b","datavalue":{"value":{"amount":"+0.8905590176582336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530151$58643BB4-697E-4222-B61C-6E2406693A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4014df4a3f35ef037e615e9db8c782a6a70d3784","datavalue":{"value":{"entity-type":"item","numeric-id":5479025,"id":"Q5479025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d745842402dc4ed4f5a9b07b02931015f91c2416","datavalue":{"value":{"amount":"+0.8892620205879211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530151$9EDE4CCC-0BDE-4661-81D6-CC4692092FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde27cb1cd7273e15d8d3f06cc0fd4b45a052aab","datavalue":{"value":{"entity-type":"item","numeric-id":1095140,"id":"Q1095140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e990e373209ad5a813a8660d9a73edb9db4757ef","datavalue":{"value":{"amount":"+0.8762460947036743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530151$3326441A-321B-40F7-9A7C-FE20D46DAFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2ab42e7e95ae59c898cb5b50e38d90f42a3255","datavalue":{"value":{"amount":"+0.8367310762405396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530151$1A4C8B3B-50A7-47EB-A65B-F3934F0537A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c87f67e745f7d95d40f3852586fb5ec11b1da70","datavalue":{"value":{"amount":"+0.832994282245636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4530151$3DC3F314-262F-4DB0-B5B2-BEB94B08E938","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530151"}}}}}