{"entities":{"Q3011124":{"pageid":3021848,"ns":120,"title":"Item:Q3011124","lastrevid":79844033,"modified":"2026-05-06T14:50:17Z","type":"item","id":"Q3011124","labels":{"en":{"language":"en","value":"ERNA and Friedman's Reverse Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5913855"}},"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":"Q3011124$6604833F-BAF8-4CC4-86DC-20D4C504DFDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22083e70171b95176015fa8b144e63643e43e2d4","datavalue":{"value":{"text":"ERNA and Friedman's Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3011124$8ADFBDDB-BE77-4922-92B3-D44BD3E9C0C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b2ff9fec2907e88a91a6d88e213639b1069689a","datavalue":{"value":"1231.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$52E99574-E231-4D8A-A53D-CC536B5ACF22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$65458EDE-48F4-4D46-A7E1-23E0169FF072","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867413887a7ccf081ae51fc77317028b78dc3415","datavalue":{"value":{"time":"+2011-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3011124$F79E8483-5B24-4C18-9343-3CC2FB094517","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79150d9365591cef27e1809db427b2a3a86ca411","datavalue":{"value":"https://biblio.ugent.be/publication/898468","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011124$A67EE990-FA1F-4837-AE38-B874154EFC42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$6DB83A7E-BD4E-4584-A236-B8575422C29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$495C32C2-2E50-4D20-A1DC-ED5632DD725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$461F41C4-0F8A-4757-88A5-CF5C1820ACC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c8d08eec64478739e0396869272dc0ab90e72af","datavalue":{"value":"5913855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$DA0FB446-15D1-45EE-A9F6-B30904D9947F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011124$BBF01DAB-C08B-4BD1-9BF1-AD33D26010B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c681a96dcccad8e4786bf58b5a108b5b3689fc","datavalue":{"value":"transfer principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011124$D5A9A7A3-E6C3-40D0-952B-D82BBCCD3799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011124$DFE8F43E-D5C6-4AD8-8D65-7831C033EFFA","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":"Q3011124$5303480C-257B-4600-B91B-113E3AC88D4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdc7a7ea3ddcbcf9dbfb7002cec9ba943b5e47ef","datavalue":{"value":"W2112384787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$33B14C4E-9929-4480-B4E0-96D532EA2B9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef811fe82014afd549ae4c462f71e15c5bd9450d","datavalue":{"value":{"entity-type":"item","numeric-id":850934,"id":"Q850934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$A1E65B53-3E33-43CA-995C-1036886EC3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$48D570FE-682C-417F-8C34-4410D28AE07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$CBCC59C9-1F72-4D31-9AFF-BF78AC8C417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b4418f9af9872f1c4e6d8c296db399723aa4046","datavalue":{"value":{"entity-type":"item","numeric-id":636387,"id":"Q636387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$5F993E04-17E1-42DD-B683-6281E4A79D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f98fc09ef31999232f467a1f6733fd3701943a","datavalue":{"value":{"entity-type":"item","numeric-id":884957,"id":"Q884957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$AF070708-68E3-45E6-AC21-B48D705D27E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f23823af764b49fb164475e399c93e9465a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3594485,"id":"Q3594485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$4ABA9C5C-FE1E-4866-802D-099EE6258D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff1e3cb97846d725e4e7fa295c1ef2e5b33886f","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$7F86686D-634E-4576-B358-7987F3258274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b750e927edc5e69a1cf604dfdcb2a02c9f56eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3503762,"id":"Q3503762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$AFF4C298-94E2-49F9-8CEC-83E64703EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$49A84298-FD85-4EA5-ADAE-568B234BF61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$F49263CE-8097-4144-A17C-0DEC7EEDB9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$2393F513-AD03-4E45-A05C-A13B1303B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68052ce980dd5c73b389c61f7735005cb694e59","datavalue":{"value":{"entity-type":"item","numeric-id":4836046,"id":"Q4836046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$426E07D8-B743-48B5-8681-59A7947D3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3900db445331eef97d6709efd39a771ab6583e7c","datavalue":{"value":{"entity-type":"item","numeric-id":866888,"id":"Q866888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$81D718CF-2A0C-4D63-94ED-88166003505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f114c91e5882e1f3010a53529a08d808575e5bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1368388,"id":"Q1368388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$578A19C1-0C56-4375-B070-4BF66722A2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906ac180f2abcfa9b32aae4860e71d746ecfa3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4184832,"id":"Q4184832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$BA5885B9-C5AC-4E7E-8008-46E711B61518","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"889ae2ca9a7e98f9f5087f86e60fdae6bedb6f29","datavalue":{"value":"10.2178/JSL/1305810768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011124$6FE7E9D6-7777-489A-9234-351ECAC14EDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9279de0732bbbde14b333ca9d9bb454933faf2f2","datavalue":{"value":{"entity-type":"item","numeric-id":1944329,"id":"Q1944329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5adf1d1f59dd3b433063564f6caa7392078ecf8","datavalue":{"value":{"amount":"+0.8762368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$84DAF1D0-E88B-4A1F-8276-F5DEFA446DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885b078e02e669d2dd078b802146b5d7ac5def86","datavalue":{"value":{"entity-type":"item","numeric-id":3503762,"id":"Q3503762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5439b4b88a9653b891de60e9cf8c6ef164bed189","datavalue":{"value":{"amount":"+0.8614805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$27022C37-C4D7-48DF-940B-1A1F2A8CAD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41dbd4c3a5a6ac2d6746365473bba8da2c6b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":661294,"id":"Q661294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca42bb3a602b8006575b33a4091dc2646278bc6","datavalue":{"value":{"amount":"+0.85211647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$07C3C479-AFFB-4495-A82C-2DDC777CE981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6159150ba9003c788576a2a0815eac926793442","datavalue":{"value":{"entity-type":"item","numeric-id":3399183,"id":"Q3399183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a13c7cabd5abd215f094760f1fef9fd42ee487","datavalue":{"value":{"amount":"+0.84899735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$4D85CBBD-1832-45BB-AC91-EA4FD57DD31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b1ac32a1f74b272f2fd0c27e85d9b7f18b7e28","datavalue":{"value":{"entity-type":"item","numeric-id":4994846,"id":"Q4994846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c069726f46f885cc3647148e86d7f04aa7bb6b","datavalue":{"value":{"amount":"+0.7975184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$EE6F3CA3-10B6-41DA-BF81-EF78C9AB62F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f44269c74b80dd81ee90522343545ce2f490c1","datavalue":{"value":{"entity-type":"item","numeric-id":1634526,"id":"Q1634526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e262f9b4dbe8c4d16772550bcd04d91332ab017","datavalue":{"value":{"amount":"+0.7818688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$EA4032F7-8B1A-4BE6-952B-53D59728B9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0267cfd4572103efaef63243b643d1d8e12c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":636387,"id":"Q636387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed32463c3e284171d0556ff23f0645b91a848cf","datavalue":{"value":{"amount":"+0.76820815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$BC84879D-4CE9-46DF-86FE-F54B6B5DD9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00719267fbfd345009c00571ab14f25c84666598","datavalue":{"value":{"entity-type":"item","numeric-id":386626,"id":"Q386626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac5144164c981cbcec77b776e20b631f02aa746","datavalue":{"value":{"amount":"+0.7589639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$C2F350B7-1662-4643-B2E4-79139B17444A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe1bc229c0d56bcedbfcbf490920aa1ad342370","datavalue":{"value":{"entity-type":"item","numeric-id":1715475,"id":"Q1715475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02030f8bc1a768dd8170fa12a2c4c293dada2b94","datavalue":{"value":{"amount":"+0.74282515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$D45485B4-0192-456C-B3EB-134EFBE840DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d778a45554899fd88a9d813e612852d159fc","datavalue":{"value":{"entity-type":"item","numeric-id":5711876,"id":"Q5711876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7896230a6417e1552373a7953f3c32a3139aa33d","datavalue":{"value":{"amount":"+0.72813946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3011124$A90BB056-8469-49DD-8A64-5399DA4CFACB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011124$4FF41CC3-BD45-4D74-A307-9175886167B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ERNA and Friedman's Reverse Mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ERNA_and_Friedman%27s_Reverse_Mathematics"}}}}}