{"entities":{"Q6639613":{"pageid":14250765,"ns":120,"title":"Item:Q6639613","lastrevid":103662665,"modified":"2026-06-06T07:51:34Z","type":"item","id":"Q6639613","labels":{"en":{"language":"en","value":"On the relationships between some meta-mathematical properties of arithmetical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945600"}},"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":"Q6639613$73F94B14-813C-4A57-9E93-2401EA1193C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99a351690ba56d36bbf6c985a9494008e514addd","datavalue":{"value":{"text":"On the relationships between some meta-mathematical properties of arithmetical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639613$E287AF1A-9A3E-4D6A-9362-05514513F5CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c46476981de950d8ffba063519c56c4d2d3eb9ad","datavalue":{"value":{"entity-type":"item","numeric-id":471214,"id":"Q471214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639613$BA14A9F4-19A4-4C3F-8EBA-21B537CAE58B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639613$5784393F-5A7C-4535-B3A4-D8EB31CFD82A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639613$9F3B0CC4-CA45-4FF5-9601-3F6B69302ABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639613$50F7DCAD-D8FC-4EC0-B3B8-53C0349DB2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639613$7BA6418E-247A-479D-AC2E-9EF0AF0E5E83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4019c4701456ff5b57a91b4ae4e3c6a0aa82a13","datavalue":{"value":"7945600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639613$9580B9EA-C5F3-44AA-A75A-3E85DEFD0784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"490b3de18e4383fb5989bb34b7f8f2358f8c28c1","datavalue":{"value":"meta-mathematics of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639613$22210864-8078-45B7-AB00-34B11D8E7E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639613$B3A070F1-7BD4-489B-B8D3-29650EA10DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e505ac8aac2e61ade6b3e6aa8459df7217332e7","datavalue":{"value":"Rosser theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639613$459F52EB-E46D-4249-8651-134C63E1031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718155df779d7bfff4f87281aeaeaf03a4d1d7a9","datavalue":{"value":"effectively inseparable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639613$75FD3077-654D-4D20-86B5-B37F25B7A4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d0193332b6263949efd04720831166faefe017","datavalue":{"value":"recursively inseparable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639613$68E87596-DE22-452E-94EE-5B984C95DACA","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":"Q6639613$E6FBB916-26D3-41AF-A41F-81149AD860EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aed84dabcc606c640009379f4d1f2a1310391927","datavalue":{"value":"10.1093/JIGPAL/JZAD015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639613$E345E30F-6468-487C-81E0-81652F22E734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0980b71e99f7a03e8b9e8a5dc9f466b44f97e1bb","datavalue":{"value":{"entity-type":"item","numeric-id":3794179,"id":"Q3794179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65219471f5cfeb6890976ccdd204a4de94508d6c","datavalue":{"value":{"amount":"+0.7111139297485352","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":"Q6639613$0B78DBEF-3D0E-4343-93C5-0CE1CFE182C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c2cd3c1b8e139dfc93eec385d5da18d8f2a996","datavalue":{"value":{"entity-type":"item","numeric-id":1756504,"id":"Q1756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed306d323a538158394182e14996bdcdf66f2c08","datavalue":{"value":{"amount":"+0.7099402546882629","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":"Q6639613$ECB1BAF9-4C8B-4421-9139-B1D10EFF840E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a762eb3f21ae09abc9f5796439dfcab505661c70","datavalue":{"value":{"entity-type":"item","numeric-id":4346400,"id":"Q4346400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97758f1f08a2d91895704a79e3f1af341d2bdc84","datavalue":{"value":{"amount":"+0.7089738845825195","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":"Q6639613$98361C0A-3044-4944-B3E4-F1101F804120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096ee4f2012f5802e417f197d78a6ce3973e09ad","datavalue":{"value":{"entity-type":"item","numeric-id":4984861,"id":"Q4984861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d602e34411902a334d7fdabd45989fba6f4023","datavalue":{"value":{"amount":"+0.7070438861846924","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":"Q6639613$BA945F8C-863D-4051-881B-E5B0BB96D859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef693b01979bd1461ce4d07654cd0af3b98d38c","datavalue":{"value":{"entity-type":"item","numeric-id":4323833,"id":"Q4323833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8f3744f27c0d5d9bc5eb05398932a1305c7417","datavalue":{"value":{"amount":"+0.7069329619407654","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":"Q6639613$DD5A4CD1-96D7-4849-9261-F110A4A008AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationships between some meta-mathematical properties of arithmetical theories (scientific article; zbMATH DE number 7945600)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relationships_between_some_meta-mathematical_properties_of_arithmetical_theories_(scientific_article;_zbMATH_DE_number_7945600)"}}}}}