{"entities":{"Q4194958":{"pageid":6224559,"ns":120,"title":"Item:Q4194958","lastrevid":31419558,"modified":"2024-03-19T17:53:51Z","type":"item","id":"Q4194958","labels":{"en":{"language":"en","value":"Some independence results for Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3634256"}},"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":"Q4194958$409F0D62-1642-436A-9B6D-14D1A3266CB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709426c3497bd58171cd97ee85f8e7040639823a","datavalue":{"value":{"text":"Some independence results for Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4194958$BF6FB7FD-BD29-4F55-B3C3-988463668F7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a986dd2efea648db08ae42e7a224cf23bd52de2f","datavalue":{"value":"0408.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194958$9EC5935F-F1EE-4032-82FF-5CF1459CD584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922bfe66d750e762623e48e03d5f5b6cb2c8c5ff","datavalue":{"value":"10.2307/2273511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194958$DD44FCB7-41AA-4644-A49B-32E44D84687C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194958$70C9A301-34FB-47B0-B802-1B7AF3AFEE4D","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":"Q4194958$B532CF75-96FD-43DC-81D6-05541C5FC3C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4194958$1F6EED2E-9FF5-4E0F-9E6B-659B123D4EA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194958$05F8FD8C-E627-4E40-A034-E006A9B718E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"546bb5552668a2df8d1802309c67d2467f410bbb","datavalue":{"value":"3634256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194958$7A5933C6-0D88-4DC1-B7B9-1622474A0213","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e017e720115e4dcc64fa12a27214222e3f65af41","datavalue":{"value":"Model Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194958$E55607D0-5D40-4D37-9435-37D96F83B658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30e8e6f9d8a67a18f3e1fa76ab7c7729d8557a52","datavalue":{"value":"Independence Results for Peano's First Order Axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194958$E7870E9A-9C08-427F-AA3A-AACA605BFC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d05d82d77e930d7a2bf0bc25cb5e271563f8e32","datavalue":{"value":"Countable Nonstandard Model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194958$F94EF276-7784-4EAF-AD9A-F484D3AB3CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf892571f5eeb18d6c9a8ad2a14a7f863951e4f2","datavalue":{"value":"Number Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194958$8DAF04B1-3EE8-444E-9951-5819A7673557","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":"Q4194958$AD63A0A4-5F36-42E7-A430-E84D8DEBB7EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b62266375a631a035cb30a41e0e295aca27e2f1","datavalue":{"value":"https://doi.org/10.2307/2273511","type":"string"},"datatype":"url"},"type":"statement","id":"Q4194958$172E3C08-4D4B-498E-88CF-5B9DA173BF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"359fdbb4554a9ce109eace11addc58849ce25e4c","datavalue":{"value":"W2005638249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194958$B31D756E-A02B-468E-AEC6-2FB7BABB34EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4194958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4194958"}}}}}