{"entities":{"Q509612":{"pageid":511379,"ns":120,"title":"Item:Q509612","lastrevid":62373048,"modified":"2026-04-11T05:38:57Z","type":"item","id":"Q509612","labels":{"en":{"language":"en","value":"Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6686425"}},"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":"Q509612$2AB040C0-955F-4CF9-8D17-4FA47936B3E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6ce2c3368bd112ca71a8455c1724af348d64b37","datavalue":{"value":{"text":"Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q509612$AC2E163A-6B87-4A50-A36F-902D33605E85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65caa011fac0b8416d2a118d25eec5ede426e580","datavalue":{"value":"1403.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$FEF93860-3E48-49F7-A941-6B876C465CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61fc09eb21015c83734593bc3877c3b3b2c52b83","datavalue":{"value":"10.1215/00294527-3784830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$29749351-E893-4665-94E9-F2F7DCF59397","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43cb4ceece8110a638d00a20c037f220289116be","datavalue":{"value":{"entity-type":"item","numeric-id":286707,"id":"Q286707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509612$2AE0BF41-8BC6-4326-8C5E-BBE302270356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509612$D00742C0-A03D-4E2D-874D-34323C1629EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a051f678ce9f4f7380cf2de9c6018ea50fabc5c","datavalue":{"value":{"time":"+2017-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q509612$6D9C3188-0EED-4218-96BE-4FF56D470FC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$ED78E760-5D01-4856-A634-1271FE6B0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$22E7B121-7517-4E69-B946-C71674A41B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$A1C63CFB-5CEA-44C4-9899-D6558C7D6047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$7798BC7D-BE90-4EC0-A6F4-E8FC6BD246F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7391cac5e7a936913050ffea5bd0bca5d5c84f09","datavalue":{"value":"6686425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$E9055B02-FAED-4375-93C2-9D9B0C11B49D","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":"Q509612$2CA81DD1-DFA6-4C5B-A3EA-86B0EC5258DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"712de597150befe6299c924beb146129d3b524e1","datavalue":{"value":"https://doi.org/10.1215/00294527-3784830","type":"string"},"datatype":"url"},"type":"statement","id":"Q509612$1B698BFF-A64F-414F-B807-12352F7C63CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f439408c243e116a1ac46077dc7deb5b070fc369","datavalue":{"value":"W4256432467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509612$8E124A63-CCC5-4D5B-AD21-76FC59B0CFFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d0d1b0e346682404fe8c30b1729452860ace99","datavalue":{"value":{"entity-type":"item","numeric-id":286708,"id":"Q286708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7093b8b8f9157dd213a5cd20dc2d54f3b69b8c3","datavalue":{"value":{"amount":"+0.93296856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$8EC16148-DE4A-4174-9CD3-5F748373502C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb09d968e285c6ab3f7561e691511e48aca880f","datavalue":{"value":{"entity-type":"item","numeric-id":3653149,"id":"Q3653149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff0e78ef3e333fcf39072ecbed617ab79932317","datavalue":{"value":{"amount":"+0.88314724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$39BCE7A0-C840-4E1A-B7DF-F1C2C4EFED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef42356e2eeb9543d8c9616b0e7734f16f4a9526","datavalue":{"value":{"entity-type":"item","numeric-id":3032253,"id":"Q3032253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53988334f8c3d1332a0d3db2195da62f2f2e90d6","datavalue":{"value":{"amount":"+0.8802777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$15A0E933-BDCE-411E-91E0-C329FBFB9DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c044a77cf5b18e2d41feb26c1acded2d1ac0131","datavalue":{"value":{"entity-type":"item","numeric-id":390714,"id":"Q390714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf7c6b4606c01d13356bce26395a15558ee2fa3","datavalue":{"value":{"amount":"+0.8786689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$64C0BBEE-2EE0-4483-AF7C-C2DF0F92BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19675627a31a6cb8e03497626e39b36034d595b2","datavalue":{"value":{"entity-type":"item","numeric-id":1422103,"id":"Q1422103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb9cc65b406b3be46e7fc187789bc27e5d0302d5","datavalue":{"value":{"amount":"+0.87840974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$C1E92166-CE29-4E53-9986-2BEED2A1C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cb0c712877df04e4eea64363f04bc279057415","datavalue":{"value":{"entity-type":"item","numeric-id":3475244,"id":"Q3475244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4ba20a54df1d36d45771e722ce16ff87e3d66e","datavalue":{"value":{"amount":"+0.8759073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$97261472-9402-4613-8DD7-EB3A5EF09DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ab1dd3e7570ac54a264d4a4d37f5a5ae231aa","datavalue":{"value":{"entity-type":"item","numeric-id":3305629,"id":"Q3305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a684c88b24f202611d0701124e4d3cbaba37f030","datavalue":{"value":{"amount":"+0.8727902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$EFF48896-8B00-4B48-B8AF-B583C7F1A9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f261584a2fbff01fd31290598e026ec242400b5","datavalue":{"value":{"entity-type":"item","numeric-id":2429991,"id":"Q2429991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca0d4bcb83608489d1ea632c718ab33d6dc04e8a","datavalue":{"value":{"amount":"+0.8688869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$50E40D3C-72D5-4065-8645-8125B8777EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880c20cc12ed0f443a99d748adbf3b96e40394d8","datavalue":{"value":{"amount":"+0.868853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q509612$7955EF45-1A6F-4999-A870-51B82B284044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Erratum_to:_%60%60Semantic_completeness_of_first-order_theories_in_constructive_reverse_mathematics%27%27"}}}}}