{"entities":{"Q3866106":{"pageid":5896011,"ns":120,"title":"Item:Q3866106","lastrevid":54567593,"modified":"2026-01-28T17:05:03Z","type":"item","id":"Q3866106","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3668596"}},"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":"Q3866106$E4FB1466-AFC3-4765-8539-E09DD2073B93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f57c9871f28af3f3d3c903674741d851afdecdb","datavalue":{"value":"0429.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866106$6BC27D91-0ACA-4006-9A55-A0FB3EB637AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3866106$1825C51D-CFDE-41BC-9ED2-87E4B9DB9257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866106$2E295E78-DF33-4FF7-82A0-7029B9E6FAF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d92e168d87f543e9f69134dd09e45c3c500b5f5b","datavalue":{"value":"3668596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3866106$8D9592E1-9D74-4A51-B426-440C51999D28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a727436e499b8ecac49093b59ab740ec316a9cda","datavalue":{"value":"proof-theoretical fine structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$5233CC02-86CD-49FD-A6B4-5D3A3ADE93D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c2029992ead67dbcfe8a17d2103c7cc59ea413d","datavalue":{"value":"iterated reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$555405EE-7F99-436A-ADD0-E09BDA9FAEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$42DF8061-075A-4FB2-ABA8-1F31E3787AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87137cc2d77198037172ba5bf7ede848dae7b398","datavalue":{"value":"formal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$DA121F02-D731-436D-87FE-618BEC3C3B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$09C97130-3418-47BC-97AF-DCF8819DFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd258a67ffa8c89c5841907411b52750221dbb6c","datavalue":{"value":"proof theory of arithmetical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$D7AC7B36-AF6F-4037-A1B0-F5B2B9D875F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3866106$FECAE58C-3648-408F-850A-70CA669CB103","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f21b9d35660dda32f3ad1d3f12ca31aa7431bc","datavalue":{"value":{"entity-type":"item","numeric-id":1098647,"id":"Q1098647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3866106$25C67D10-BA2A-4296-91E6-A0EFD5AC6F77","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":"Q3866106$2303D818-5CA8-4170-BEA0-A98C6D2BBB92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3866106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3866106"}}}}}