{"entities":{"Q4227885":{"pageid":6257486,"ns":120,"title":"Item:Q4227885","lastrevid":88582001,"modified":"2026-06-04T14:54:24Z","type":"item","id":"Q4227885","labels":{"en":{"language":"en","value":"Completions of PA: Models and enumerations of representable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247652"}},"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":"Q4227885$C31C6008-6681-4D65-BC6A-FA13ECD84F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5307467d366dfd21d53e4b5a957fc11cc0d8cf5a","datavalue":{"value":{"text":"Completions of PA: Models and enumerations of representable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227885$030DDB6F-A6C0-4A87-AA7A-E70BB1198663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8271037a28f50eaadec1f957fc9b26917776564","datavalue":{"value":"0916.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$F13EBEF0-AC60-4552-BD62-3AE4EEDFCE05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b848a40c6f470c6eb4e4cf25f17a40426c704707","datavalue":{"value":"10.2307/2586727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$D322F968-9496-4A0A-A379-FC6258969C48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68372578722562ac7d4c2b2fc3f1eee042e228a2","datavalue":{"value":{"entity-type":"item","numeric-id":206556,"id":"Q206556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227885$4D9CA740-F266-4C27-BCDA-7B9FA1B42031","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":"Q4227885$72167F2F-55D3-490A-AA4D-AC52BCF9C0FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c34d650e462c62c9f96cc82a6c452ed8f547095","datavalue":{"value":{"time":"+1999-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227885$BC13F3DF-16FA-4E1F-AAF7-678CDD8A3D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$25308B1B-7FD4-473F-9831-CE6A0FD7C190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$C4D289FC-74E4-4950-9A30-8D0632EB3873","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10209b2a9cd3fed76342b42ec66b661e0592c9be","datavalue":{"value":"1247652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$DE7F48DE-2392-442B-88DA-59013BD700E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9993fc45583fd41d10eaa682dc771a37125d4b30","datavalue":{"value":"True Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$59D227EB-7E4C-4B74-A78F-F009FFBC2F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"547b74e15ecd35355724c7196c637bfefbe00228","datavalue":{"value":"completions of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$BE09F626-8D85-43AC-876A-7ADE26DB032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ec9b90cc61735c5f1b463ce9d468c25b2205af","datavalue":{"value":"Scott set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$181A2717-5502-4C21-B20A-2503AEA1DF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82dde9e2a35a982a8d8af03580d0fe02505f96e","datavalue":{"value":"jump ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$C892F3FE-F35D-49E1-8F38-851499163114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$210B2135-A535-4990-8FAA-ABD68FB91A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cbb761f8b50286946a9bdb5dd47b710c1cb4a56","datavalue":{"value":"coding sets for computable subtrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227885$E464DCDD-90F5-4576-B353-F21C5027C686","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":"Q4227885$DF7F6703-2880-4C47-9508-4DE5AA4F0AF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"037cc016526ce58cccebad34a14cd1a32030c63b","datavalue":{"value":"https://doi.org/10.2307/2586727","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227885$9FB877A8-0965-45D2-A410-9D59E737D593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aa39bdb9d6a74034960b3d848083423aa6bba0c","datavalue":{"value":"W1978691406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227885$DA2EA91B-C4E9-40D6-B125-6714DB82A976","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227885$36740935-EB0D-41F5-83D9-E6E79DD4C8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c842409cb3fdb84d5c528cc1f82e7fac17b560","datavalue":{"value":{"entity-type":"item","numeric-id":1086229,"id":"Q1086229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227885$534CDBB9-4F9F-4926-A834-74DC87B3BB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9484c070d3bb9f3b5ad9051481c09a7a6685c8b0","datavalue":{"value":{"entity-type":"item","numeric-id":4314684,"id":"Q4314684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227885$A46D8E5F-2C62-4826-825B-88329073A297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70360896f33203fb288a4419e3bc5117d1b7556b","datavalue":{"value":{"entity-type":"item","numeric-id":4513971,"id":"Q4513971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999f9755b54646a4da4be8d5cddc64283c444a52","datavalue":{"value":{"amount":"+0.7864459753036499","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":"Q4227885$4718057C-3A5C-46CE-A88D-8EE80017B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a06d87ecac2b24188edfe1cae405e49cc8fc18","datavalue":{"value":{"entity-type":"item","numeric-id":4938559,"id":"Q4938559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f159cb3b9ff233dbb75eefc096069fa43ead91","datavalue":{"value":{"amount":"+0.7846899032592773","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":"Q4227885$23A478BE-37F2-45D1-9A94-4DF0E94D2992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5406fa76ab03f451e75fdaec7267e4a0981611","datavalue":{"value":{"entity-type":"item","numeric-id":5945007,"id":"Q5945007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397a84b6c56421a0be0422c39f3184c9ee792035","datavalue":{"value":{"amount":"+0.7763850688934326","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":"Q4227885$D88924E7-7E6E-4388-96BE-EA1C561EEE77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completions of PA: Models and enumerations of representable sets","badges":[]}}}}}