{"entities":{"Q2204378":{"pageid":2215121,"ns":120,"title":"Item:Q2204378","lastrevid":57769416,"modified":"2026-04-02T11:11:26Z","type":"item","id":"Q2204378","labels":{"en":{"language":"en","value":"Local reflection, definable elements and 1-provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261478"}},"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":"Q2204378$8192B9E2-B7FC-4691-ABAA-8C0B8F149F0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"579f85feab98dfefe29405898b3e37f394178b70","datavalue":{"value":{"text":"Local reflection, definable elements and 1-provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204378$C2D381D3-E440-473D-9F68-98696EA0DF27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96e08e57e3ee436c85a067301f4f2756483fbf13","datavalue":{"value":"1485.03238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$5992D2A4-B4C2-4F0E-9890-F26C4EDE9311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f94d5de32d802278eab787b94b01de3133f8f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2204377,"id":"Q2204377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$B42AA690-E587-44CB-9534-E708F0E279F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$46639455-CFA1-4339-9257-14DE76240FEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74f969d0fb9bfcdfa4b8edd3d369bcf872715087","datavalue":{"value":{"time":"+2020-10-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":"Q2204378$3B2E7DC2-6E71-48D1-B36E-90CB4090AAEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0e6611fba750dd8c6e06bf6a9bca0fcc639c9ee","datavalue":{"value":"https://arxiv.org/abs/1907.06464","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204378$FC781AB4-DD85-4721-9DF5-431F0B9EF650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$C2418359-2CF6-4933-90E5-CF59E70B238A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$EF950E65-6419-4939-9041-AAAD9E17840B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ebc041d3436bbc1a1411ca99c37b94fdc504c30","datavalue":{"value":"7261478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$ABB9B557-AE18-41B7-BAF5-E3D9E6DF06D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204378$6446A32F-FDF1-4B79-8460-CC6F5CB9277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc6de65506b94299b69c8a5ee0b998f761ff3314","datavalue":{"value":"definable elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204378$613038EF-2979-490E-A114-8343C46BEA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204378$44CC7DA4-D87F-48CC-95D8-559896469068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b91d9618ce330fe65901fd8e62c603ae446ac0","datavalue":{"value":"1-provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204378$E4633C36-4BCD-433D-8659-AFC0C022B81A","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":"Q2204378$A49D334F-82C8-4C25-8924-AF7C55546BC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ac64ed2dcff59dac2f8b3666b30d049e9eb59fd","datavalue":{"value":"W3102843931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$7D950B24-0C64-49E2-A7DE-7D2E711B12C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$9740F9D5-D442-4592-A23F-97FC310FDB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e184b5d53c987e50d2f8a9ef672ffe45b79d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1960416,"id":"Q1960416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$682BF671-0A99-47A4-AEC2-090BF2D63760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$9B27C6A6-2BC6-4BE5-866A-DE4F1EAA6234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$09D490CE-469D-4A0A-8452-DE722D8D2B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d192663d601216c130e0d506897cd6281efde880","datavalue":{"value":{"entity-type":"item","numeric-id":5407039,"id":"Q5407039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$FB007906-4A69-4981-86B8-4F5064659588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$1131245E-4FDA-45F6-9B7F-464BA2658EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b9b61739a28f317b5eca4c6cc2d58934553c27","datavalue":{"value":{"entity-type":"item","numeric-id":3195699,"id":"Q3195699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$AA2B8BDC-EDE5-43FB-AF57-D2FFBB6029C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d963954b5bc18e8e8f5757d2b8ceb2932c2541","datavalue":{"value":{"entity-type":"item","numeric-id":4521125,"id":"Q4521125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$D960A00C-91A5-4BB8-9C21-C3A4CCFD2A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$50AD0DA9-7CAC-4B40-B457-4BE172F103B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d42ad01e014a58875fd33c8e809093ff41fe8d7e","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$66296BC8-F09E-4603-AFA4-769E53D74F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$EC402BF2-5866-4F35-B370-F4F27CF9928B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0e45c6d24f23b7bf00bdec0730aa590fa74f9a","datavalue":{"value":{"entity-type":"item","numeric-id":3661556,"id":"Q3661556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$093C192A-4B1C-4043-A056-D316DC679522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7010a800e4336b7ae6e486d3fa7f31c97756c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3745836,"id":"Q3745836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$AF758B87-7011-4D42-9721-FBDD2378722B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0440261b734ebd0a3ecf3c79405eb3ef39f78a52","datavalue":{"value":{"entity-type":"item","numeric-id":3875926,"id":"Q3875926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204378$BBA4D265-F389-4925-BB43-912129FFA5A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b19c110ba685d3c37112ab353ca1c043f8376d1","datavalue":{"value":"10.1007/S00153-020-00732-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204378$E86B7056-6109-4754-9D0F-3068C54AC76C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88dcd17ad00f386831bf1a4762433126935d1d2","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2184e3dd270a8f8b1f478eae7025031dc23f7246","datavalue":{"value":{"amount":"+0.7769390940666199","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":"Q2204378$F4F5CACB-02E4-4A69-A6E6-4FE6DD0AEAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9f1be0e3ee35418f325109a12c38d898f50d071","datavalue":{"value":{"entity-type":"item","numeric-id":1732059,"id":"Q1732059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82ed8fd34702502642c4e8dcaceabb87664008b","datavalue":{"value":{"amount":"+0.7549443244934082","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":"Q2204378$7526F12C-08D4-48B0-9A42-EB38748943F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81051001d8ec0b6fd3ff963d4ec2691c2bf4f754","datavalue":{"value":{"amount":"+0.7435098886489868","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":"Q2204378$C3A69910-8D74-485C-80CF-66822C625171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82a17d63f21420ccb321b5f26f5eae38325974f","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec5a884dae6022700dd05096749ac8cb176e4f4","datavalue":{"value":{"amount":"+0.7432432174682617","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":"Q2204378$1B97E0F5-AF69-439E-8B0C-85BDD7DB8FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39beb842c88953865f7d9cc432be5b472083c6bb","datavalue":{"value":{"amount":"+0.7398357391357422","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":"Q2204378$52FB5038-9C9A-4933-B85C-E06446BC0347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2204378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2204378"}}}}}