{"entities":{"Q3362800":{"pageid":3373505,"ns":120,"title":"Item:Q3362800","lastrevid":80324969,"modified":"2026-05-06T15:56:22Z","type":"item","id":"Q3362800","labels":{"en":{"language":"en","value":"Independent numerations of theories and of recursive progressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4217424"}},"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":"Q3362800$FD1F7392-D674-47E9-A737-FD508C8F2465","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55c3aa1939c5f5464dad1c23f8aa8563a49ebd1f","datavalue":{"value":"0772.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362800$AAEC8271-3029-4775-ABB0-2B826DF5B388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q3362800$9435A84F-36B5-4188-873B-3695FF63510B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362800$73A43DB3-8BBE-40FE-99CB-BCCAF9B1F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362800$8C96E5A5-E134-4587-9281-6B99FF5519A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362800$6CA03FDF-4487-4F31-9756-5C586F0C7FD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"119c1715249054d3186fe8695806561edf680b5f","datavalue":{"value":"4217424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3362800$E4B3C813-CD48-4D21-8E2F-373A01E8A262","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362800$382B03FB-F249-466F-B908-A4627058985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362800$836AC5E6-7528-40EB-BC6E-A8898E57DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362800$2363E827-4BB3-42D5-85A0-91B2D5828E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3532a9a88d2fba54e98cac2f81b4a83d097cb32","datavalue":{"value":"sequences of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3362800$7CB47650-B4BF-4DCE-8C39-62E5E897A4D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3362800$1CB36DED-AC81-4DED-B5D0-0FD51A595E6F","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":"Q3362800$7E9F3537-6BE0-47EE-85FB-552F4290756B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92bb06fe855bce19479d9b431caa37291ef90a74","datavalue":{"value":{"entity-type":"item","numeric-id":3757914,"id":"Q3757914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5868cee9a3cb8e44ba96f0d7f16f67775f2665f","datavalue":{"value":{"amount":"+0.7996281981468201","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":"Q3362800$ED6D7116-1B1C-4DC0-87B6-87B92B9097A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d7f67c7ff29fa932d4d2a0afde124e53866c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1899141,"id":"Q1899141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2864f2c077e303cc3f6bcb398cc275deba773f52","datavalue":{"value":{"amount":"+0.7794114947319031","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":"Q3362800$9205CCAE-E2F1-44A9-9F16-3574C215C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22985527f161d2d0296f5bc946ff051aa2b92c7c","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415b8b9dafd2d95eb52ebe2642d5bc95e85e5fc3","datavalue":{"value":{"amount":"+0.778368353843689","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":"Q3362800$A4286245-31FC-49F1-BCD9-DEA9AB4C6E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b23f562fb031484f67fae9fd420fa5b7137505","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd89dbb66f862cd1d6a1f7a5fbd806d49975cb1c","datavalue":{"value":{"amount":"+0.772969663143158","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":"Q3362800$199D5267-6BEB-4A1C-92E0-BCC31EE15E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb997166cdc64affe7869a0fb38bded5bda5155","datavalue":{"value":{"amount":"+0.7724394202232361","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":"Q3362800$F312D7C3-617E-4D4B-97A2-F67C424BCC82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independent numerations of theories and of recursive progressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independent_numerations_of_theories_and_of_recursive_progressions"}}}}}