{"entities":{"Q4206703":{"pageid":6236304,"ns":120,"title":"Item:Q4206703","lastrevid":49335106,"modified":"2026-01-06T23:52:16Z","type":"item","id":"Q4206703","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127166"}},"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":"Q4206703$354469DC-957D-41D5-B291-D04C7DE9896A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f251fe9e4fe4990ecffd599a327a5e8600f290c","datavalue":{"value":"0688.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$F55BBEFA-71FD-4953-AEFA-B7398609EEB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4c19c8c7a00bd1ddfe280b3e40c9dc3e54b743","datavalue":{"value":{"entity-type":"item","numeric-id":752714,"id":"Q752714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4206703$7104D5FC-AE7B-4E71-90A5-4ABF31E5A907","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4206703$732806E2-E63E-4EDE-B9B4-397E0F34BA96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$9E2C2B78-F741-4C1E-8CBE-D68D21B1C9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$EA98B420-0D57-4A0E-BBEB-93C10F998581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$224BA775-54C7-402E-B378-57D121352C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$E6A48A62-C3A4-4E3E-AE29-1A40BDB66BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$E02CBBB4-E4D9-4BCB-AE7A-2D36A9E3392B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f4da191a802497425f4b4acbc6f06dbc93b26e7","datavalue":{"value":"4127166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206703$5900C30F-318A-4722-9E60-290B90E3C954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49feac08a061517e33c2ef011ef822f3dad45d83","datavalue":{"value":"current state of the foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$608AAC3F-04C5-4E89-8F96-371543645A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f05bb6b1e4de1893d24278bb5a3e518c589ecf","datavalue":{"value":"first order formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$38B10B7D-63D4-4CE0-9BFE-0CAED7611A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$B20C1119-6E0F-452F-80FD-306F2204B2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$DF20D425-2BD8-4201-8279-85C7821A330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$E99CC352-C981-451B-8156-B870D2938A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$46B94436-F9DE-4DA5-9563-D26EB4944044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f788c90e46783fe8ce0d9a8ecc5f1908346584","datavalue":{"value":"comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206703$320B83F1-C471-400B-BFA1-63944DCBF2AB","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":"Q4206703$2369C2ED-DB9A-4A02-BA00-9543157D72F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92c4d212b6af3c0d7a072ffc89949e0c438cffb","datavalue":{"value":{"entity-type":"item","numeric-id":5348541,"id":"Q5348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b606deddfcfb11307d65e83d46c69870275d7291","datavalue":{"value":{"amount":"+0.774456262588501","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":"Q4206703$68B7205A-664C-49B5-8FBD-D734EE8E9F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb6ea11e0439394de252de26b0a010826e3f53e","datavalue":{"value":{"entity-type":"item","numeric-id":1312709,"id":"Q1312709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba8ed9ce537593b4c54a12d24a83aa5d4833048","datavalue":{"value":{"amount":"+0.7740381956100464","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":"Q4206703$D2A4FC24-366B-44B4-91F1-77893A078000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b04fed76958009b9bf6b96eabf8e11c78e8272","datavalue":{"value":{"amount":"+0.7693881988525391","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":"Q4206703$23F1B6B2-E855-4B0F-AFC9-01F3D9B43CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addc7226f9c410ba06011c7f34ddf2021469cb47","datavalue":{"value":{"amount":"+0.7674073576927185","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":"Q4206703$BE2CEDBB-081B-48D0-88CE-9BF8B6945B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4e16219620622abb0650657fbeaccd8281d0d7","datavalue":{"value":{"amount":"+0.7635809183120728","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":"Q4206703$7E27AAC2-B569-4C0F-B84D-8ED3B03C430F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4206703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4206703"}}}}}