{"entities":{"Q2955013":{"pageid":2965733,"ns":120,"title":"Item:Q2955013","lastrevid":44784096,"modified":"2025-11-26T10:34:24Z","type":"item","id":"Q2955013","labels":{"en":{"language":"en","value":"Inductive Inference and Reverse Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6677412"}},"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":"Q2955013$26AA04B2-D42D-4A93-8A3A-7F4630A3CF57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbe0b587282ffdd639867725b5167d8cbd9789cd","datavalue":{"value":"1356.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$92E76BDC-29FA-44A7-B1FB-BCA9C3A18AAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5824ab187e347bb42d9c1a52851520aa57d799e2","datavalue":{"value":{"entity-type":"item","numeric-id":324249,"id":"Q324249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2955013$62D7D8AB-9B33-498B-AB45-1DCDFABB330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7fbe956cf60c7c3ae673639c76733e0c2b340b","datavalue":{"value":{"entity-type":"item","numeric-id":197705,"id":"Q197705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2955013$775CED98-9C7A-4F70-B91F-0FFA1ABB8A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2955013$C08C122B-4AF8-4E4C-99B3-A80693535C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39f74c103b9f673f455dbf7eb78fc5dbb359512b","datavalue":{"value":{"time":"+2017-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2955013$93A4638D-C5A7-4D0C-BC8B-8750419BF404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$4886041A-84F7-4DE7-8788-28723F473F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$5EFBEFCF-D68E-4381-AB82-F7A6A562FE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$46469BD2-BBBE-4D89-ACE5-0A675640F9B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"788ba7bf3557bada0cba000e401c7233167e98b7","datavalue":{"value":"6677412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$EC427ADB-C171-45AC-9F8B-8BD4D34FBFAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955013$033F9995-2264-43ED-9EB5-0156A32D4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955013$E840F6C1-18A7-4B62-8CC9-E610D33CA318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955013$8FD522D6-631F-4310-9E49-190E062FE253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59931dfa798312da251774267e365463d1e424e8","datavalue":{"value":"learning from positive data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2955013$0DC0607B-D026-4835-A15C-741177F19D8B","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":"Q2955013$898663BE-1424-4D48-A0C2-C0EBE0E8F8AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3492e552597ef00ae04634da1aa9699d50512f9d","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2015.420","type":"string"},"datatype":"url"},"type":"statement","id":"Q2955013$BB16719C-C8D2-4BAC-A209-1CACC19E2222","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fc7d5fe38eae2b59a8bf16add4bd8db2d683385","datavalue":{"value":"W2244632808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$26242AB4-8314-452E-AE15-59D3B80CC152","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cecaf6a3603776e084bc836864b3505eb9ecd6cc","datavalue":{"value":{"text":"Inductive Inference and Reverse Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2955013$157F67F1-5D1E-42AE-B5E4-81DF5F0A910A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86380c85e616c26b3d593cdbc94cc75eb7b05caa","datavalue":{"value":"10.4230/LIPICS.STACS.2015.420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2955013$1CA55C7E-59DA-4A59-8DCC-A6BF8563CDD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a2ed61eac3d287f93dec76e8697ad61ceadbbf","datavalue":{"value":{"entity-type":"item","numeric-id":324252,"id":"Q324252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q2955013$6A6AB222-66CA-46E6-BBFC-0AADD19468A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c6678d6f609d5dcbd29b2a6b39d7fe6dd4b51","datavalue":{"value":{"entity-type":"item","numeric-id":4557165,"id":"Q4557165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfaa30d353dbd24f497e7f7f89a5751afa279d54","datavalue":{"value":{"amount":"+0.892767","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":"Q2955013$1C4535C6-3CAD-4CCF-AAF3-DE0EA996072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2517ae03cf88eccf3cf072ba129c9074b5a5ec69","datavalue":{"value":{"entity-type":"item","numeric-id":2430009,"id":"Q2430009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e5944809e19b8160204290d148e49db19ebd1","datavalue":{"value":{"amount":"+0.8830589","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":"Q2955013$22F44672-B17E-453B-9A42-B25F1E14B608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f6b07bb7bd37a72457d607db746f4633223a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3119038,"id":"Q3119038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2a739e4a49d8fdb0ee99884d55caa9410b56d8","datavalue":{"value":{"amount":"+0.8745808","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":"Q2955013$C42E1D98-039C-4447-AB59-492B948A80B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a92646091695ccf382225f3c9b214b96e632d4","datavalue":{"value":{"entity-type":"item","numeric-id":4949149,"id":"Q4949149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b182a10c6f97c6ef4c99abe0aef49925243e09c","datavalue":{"value":{"amount":"+0.8725493","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":"Q2955013$5BFF8BAF-AA83-497E-BA67-1CDAFC251749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd8b3aaf399cc2c4263d4f2c2fd375a2d8a28fd","datavalue":{"value":{"entity-type":"item","numeric-id":2344936,"id":"Q2344936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d3a9cc9f26910b34de628932192e6c9cb53c0d","datavalue":{"value":{"amount":"+0.87139046","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":"Q2955013$4DF4CB72-5DEA-4E9F-9FAF-468D0FC808C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2955013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2955013"}}}}}