{"entities":{"Q3879211":{"pageid":5909116,"ns":120,"title":"Item:Q3879211","lastrevid":54597878,"modified":"2026-01-29T05:02:49Z","type":"item","id":"Q3879211","labels":{"en":{"language":"en","value":"Provability in arithmetic and a schema of Grzegorczyk"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683545"}},"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":"Q3879211$3CF715D2-558E-4B78-B0D3-16162206281A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da62db122921f68b6dd93a33f28fb1777ec318f5","datavalue":{"value":{"text":"Provability in arithmetic and a schema of Grzegorczyk","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3879211$C89EA347-2B2C-4E5A-A8C8-6278D5DDD8A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e404c4cc8718fec1a4f67f72e460809fc13f111","datavalue":{"value":"0438.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$A54880CE-1DFC-4FFC-AB0F-F87516EB426D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3879211$754F55BE-0DA4-4EEB-8C4D-AFAB7EF5AAF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3879211$102D7E43-AFA2-4467-ABB6-47110062055E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3879211$B2F0FCBB-93A6-4399-80BF-BF53250F3BFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c9ce8fff0d45e2d13990c7065e4e40a5cec6a06","datavalue":{"value":"https://eudml.org/doc/211104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3879211$B38CA1D2-1B05-450C-B379-4F12B2D0CC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$43220CFA-EC0E-4652-B449-C587ED51BA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$58E70099-3791-4FD7-8CCB-57B6A7A09A7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca278a566aff3ee2901e5104268acc1b8e0ecd65","datavalue":{"value":"3683545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$C499B4E1-B295-4B00-8E0B-B1B1E85E05CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9993016044796d1b70d02eea495c48fb98fe0e49","datavalue":{"value":"interpretation of modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879211$779CE6C1-ED75-4A3B-BB86-2227454B0353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2327a1b30f5f6ba83ab6f58a0eea2529b3a5f7b2","datavalue":{"value":"predicates definable in Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879211$1A400B97-62A8-4C0B-BF00-2BD5D7117F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879211$B9D23BEA-6260-475F-9C5A-112AD032E9F6","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":"Q3879211$0302C612-6977-4191-BB40-BE7E76ED1D5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4baf29bb3b341f1f005807f5210e51feab018d9d","datavalue":{"value":"W795373570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$42B7D73D-DA98-4F34-A837-7693CA11DFDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fab2deecc60074e8a77a1940cd05eb3c28cc8ec","datavalue":{"value":"10.4064/FM-106-1-41-45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879211$4F3BD2A2-24C0-46B7-AAF7-DCE9A5B0F6EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3879211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3879211"}}}}}