{"entities":{"Q3509078":{"pageid":5538982,"ns":120,"title":"Item:Q3509078","lastrevid":90230108,"modified":"2026-06-04T19:37:43Z","type":"item","id":"Q3509078","labels":{"en":{"language":"en","value":"Determinacy in second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5295735"}},"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":"Q3509078$F4619C8A-484E-4F4B-A41E-62DF0484DCF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a07bf8287e018cb1e2879f54cf39f47218972a2","datavalue":{"value":"1151.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509078$12BAAE94-28F4-4E1C-B764-1060AEBC4C80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9461c80e1bd8740abe10530a97f1af44607cded3","datavalue":{"value":{"entity-type":"item","numeric-id":636378,"id":"Q636378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509078$2208EC22-6795-4D31-ABC8-1CC61AA602C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57c596e9d8926f58614b1ce35838c725b57395","datavalue":{"value":{"entity-type":"item","numeric-id":636379,"id":"Q636379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3509078$75DF8419-A613-4CC9-907F-284E7CF8FAA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3452fc2c55d5d5fb6a689b083479f84064b8692a","datavalue":{"value":{"time":"+2008-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3509078$1B566042-2ADD-4DBC-AF1D-76A96976A449","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509078$80CD7446-507F-4A29-9429-6C25984E464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509078$15A68320-39BD-467D-A467-61754586BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510e330772fd04e754f6dc13a22280a9e1e62256","datavalue":{"value":"91A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509078$E99B3502-0B36-44AD-8144-6C9271510828","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac5dcb7065a2960a9a87a483df0be7f2c68eca5","datavalue":{"value":"5295735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3509078$757E1CB4-332C-4B23-8CDB-E8014FA1774B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$BF6820A7-BE9E-42F0-A00D-7B77AE7718B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$807DE860-86AB-40F4-A349-574E2972C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$4193B6F8-4C42-4C9D-9088-7CF862F64F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$BC1A75B4-439B-4057-AE40-2D61E09E09C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$E54EBE10-40EC-44F7-AB9E-AE73DCE713DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3509078$8288D02D-38AF-4BE4-94E1-8159ACB80875","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":"Q3509078$3C6C854B-FA90-47EC-8754-212D0512C6F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc6358cd7d724508033daed245b956e336f7343b","datavalue":{"value":{"entity-type":"item","numeric-id":636381,"id":"Q636381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1734c4128697a224e855d81e770671ba57351901","datavalue":{"value":{"amount":"+0.7788337469100952","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":"Q3509078$4C317025-0904-4B7A-8DDE-9A8289FCBD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b71ae55a2dad061a608de6dcda30722a4fd03921","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea018974642df57ab17388acce93679bb3dbeac2","datavalue":{"value":{"amount":"+0.7736559510231018","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":"Q3509078$102485DC-487B-474E-A4DA-390D0722E2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cef9693e437e5ff8bc8c69a20d4874c938f1e3","datavalue":{"value":{"entity-type":"item","numeric-id":3507462,"id":"Q3507462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69cb6fbeea0ce0bbe2d6edcb7eb7197fc8878f6","datavalue":{"value":{"amount":"+0.7698341608047485","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":"Q3509078$218B7FAB-DE63-4275-8BF5-9F56C8131943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6292efe471bc5af672e46cd83f030d9461f971","datavalue":{"value":{"entity-type":"item","numeric-id":5881256,"id":"Q5881256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d5cb9e6cb094684c411c79cec86e39cd80f3c84","datavalue":{"value":{"amount":"+0.7679052948951721","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":"Q3509078$C3771773-F7EF-47A2-966B-E289E2CDB1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15978ee46f154c058a13299f51b4fb9d5983739b","datavalue":{"value":{"entity-type":"item","numeric-id":3116522,"id":"Q3116522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff4165cd7c27c2b4ecc571fa34d27969de139bc","datavalue":{"value":{"amount":"+0.7678145170211792","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":"Q3509078$CE79F7D6-9A72-404B-913D-17D997037FCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinacy in second order arithmetic","badges":[]}}}}}