{"entities":{"Q1670765":{"pageid":1681506,"ns":120,"title":"Item:Q1670765","lastrevid":73161423,"modified":"2026-04-14T14:47:40Z","type":"item","id":"Q1670765","labels":{"en":{"language":"en","value":"Some nonstandard equivalences in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932489"}},"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":"Q1670765$91440C6B-0B09-4A85-B471-76145E5B99D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dda92f4b96f5cc108e1f2594d6600052d5ffb375","datavalue":{"value":{"text":"Some nonstandard equivalences in reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1670765$E94367EF-C975-4505-9ABA-D0FEAF6CA83F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e71eab711e627bb527f32ff2d47c0d0cc8af24e9","datavalue":{"value":"10.1007/978-3-319-94418-0_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670765$07D05612-BB72-4CB4-9D97-BCB93C0D89F5","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":"Q1670765$401E109E-2761-40AB-935D-DBCCB22F850C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1670765$D4BB25C9-9C38-47B0-8749-4AAC485A63AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b1e4ed4edebd8f473bdc6500a9d489cbc5b0e3","datavalue":{"value":"https://arxiv.org/abs/1804.07952","type":"string"},"datatype":"url"},"type":"statement","id":"Q1670765$F64EC7FF-9B57-4766-874D-E20BFBBA32E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670765$8A11A886-07DC-49FF-AF6E-DE6CAF2837C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670765$63FD21F9-A8FD-4627-A78D-E97B81842A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"816cbacde1a3af1d530de300b0f78fab8c2eea26","datavalue":{"value":"6932489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670765$8A92E6A7-F220-484C-AA11-8693772D2055","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":"Q1670765$1D162EE9-F599-4E37-B3E9-C98AD2539665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d44437be7b26244dba2f52bba7968aeaf0adf42e","datavalue":{"value":"W2963601669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1670765$50ED30B0-D326-414F-886C-3ECFE1266321","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":"f3d4f5d92bd101320c453b42c32c7fddf8c86611","datavalue":{"value":{"amount":"+0.8022729158401489","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":"Q1670765$F3A380BC-0FCD-491A-8339-5B3FA6AF76B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0301e32857eabb78f8ed5ac4c5dac39d58e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211465a5e48de3403763812bf01c67744b4f193b","datavalue":{"value":{"amount":"+0.7969254851341248","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":"Q1670765$3731CFE4-942B-4B82-8C5C-14A554D1D90D","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":"bc9aa2b88b4f3c9fb7136e7a3eeaa911cf990e7d","datavalue":{"value":{"amount":"+0.7889953255653381","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":"Q1670765$BEC5198E-E529-4E3B-9C93-385A0D7DFD90","rank":"normal"},{"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":"8e56cc3b023b9fceebe56ffc715d1f1c5d4e0ddc","datavalue":{"value":{"amount":"+0.7794240713119507","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":"Q1670765$3AD189E5-012F-4DDA-A169-CF32EB8C5DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd46ddf49a339080cfc0ab8dd9b929d08a6a496","datavalue":{"value":{"entity-type":"item","numeric-id":3011124,"id":"Q3011124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430099950b8bf1bf0620052da55af7a3d694607c","datavalue":{"value":{"amount":"+0.7789115905761719","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":"Q1670765$A1D291AD-D6B8-4EC6-9D24-4E8269EF20DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some nonstandard equivalences in reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_nonstandard_equivalences_in_reverse_mathematics"}}}}}