{"entities":{"Q6096755":{"pageid":13231062,"ns":120,"title":"Item:Q6096755","lastrevid":57057255,"modified":"2026-03-26T11:04:58Z","type":"item","id":"Q6096755","labels":{"en":{"language":"en","value":"Locally hyperarithmetical induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7738024"}},"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":"Q6096755$1807C887-D301-43FF-A45B-47D816D51451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abdda84c8391d6ea366f43fdf5d45235930fb5ec","datavalue":{"value":{"text":"Locally hyperarithmetical induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6096755$2F252391-83F7-4EBB-B98D-32E2A7F81F08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$B6A41600-B1DA-4353-BC90-71E63B57A973","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01b7f37608d9f87bfa2998bb736dc8e29f05f57a","datavalue":{"value":{"entity-type":"item","numeric-id":2759195,"id":"Q2759195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$5E5F523E-E054-4C97-8762-359F14FB47F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40c8265221eda941ac502fcffff6e1f85e7d3136","datavalue":{"value":{"time":"+2023-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6096755$210A06AA-9824-4F8C-AB67-1A3957718642","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$A2E3D054-559B-406C-A116-F811F9F3B3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$5CFA6C83-E500-4128-BD7A-6133403E94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$CA0DFE26-EC32-41BE-B55F-591BDC2B573E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$26B21FB4-DD7F-4443-B167-021CE14340DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$F5188A69-F78B-4474-8203-9B22CDC51593","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77a2cb04d50b5c66e222d14914a257be76bd54f8","datavalue":{"value":"7738024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$C4448D11-DFE7-4BF0-8EE1-1364CC95F615","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":"Q6096755$1C6B2BF8-35BD-440C-A498-A0E2C30C0B07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60bedbe538711eb07ea0640e30770bc7bcb91632","datavalue":{"value":"https://doi.org/10.1112/blms.12763","type":"string"},"datatype":"url"},"type":"statement","id":"Q6096755$BF73E284-893C-4887-AF64-0D261B292D63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9228aabc9cbe48578d3403ea9a9ff547350eae2e","datavalue":{"value":"W4310258729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$9F80CCA4-9FAE-424B-AFDE-6B39A08D7E89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$3E7A878A-1005-4212-928A-1D17C22223D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25d769ea0c50156aebfcffd65cf29817d086eb7","datavalue":{"value":{"entity-type":"item","numeric-id":5028309,"id":"Q5028309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$868F03A9-B853-4E7C-8984-C3CBC8CB046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$5548B5DF-9846-493D-BAC4-0D819D04B46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133b74af7d5821d23702be11600a40ece90371a","datavalue":{"value":{"entity-type":"item","numeric-id":5645404,"id":"Q5645404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$A4A83011-596A-4A4E-B274-93F3E81FB8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524b50f61a70b8c3750e1d9321442cb16dfe16c1","datavalue":{"value":{"entity-type":"item","numeric-id":3861381,"id":"Q3861381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$73E36144-6727-4E1E-9102-D7EC1CFF1888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$07741356-9EED-4FDC-821E-6C1644999BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$1BF6A492-0B6D-4244-8354-CD53159663C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55f89dd25add03622eec747c26963c43c5d21a6","datavalue":{"value":{"entity-type":"item","numeric-id":1063591,"id":"Q1063591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$7A6C373E-008C-46EE-9AC7-1C9ED5869697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7574f01ad131ad2d4aec9352d4b3dbeb12d6a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3690814,"id":"Q3690814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$AF5FE7AC-43B5-473C-8DD9-E06D4D04AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c63ce3422447cd56cd1b875c80c76a258bc1952","datavalue":{"value":{"entity-type":"item","numeric-id":3452878,"id":"Q3452878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$ABED5815-08ED-4142-AF0A-3A096E2DB9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff85eb7a54edcf7d3cc44ac9501e518cb3fcdcaa","datavalue":{"value":{"entity-type":"item","numeric-id":1102277,"id":"Q1102277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$F69373F8-735D-403B-985E-13EA661A563A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$21FB3B84-AC9A-41E9-B1F8-04EFF2E616B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$EBBFD262-D049-4DB0-97DE-B93D6A685988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da3ccc94b7e18b06ea89a796d1a8d25a588dcb9","datavalue":{"value":{"entity-type":"item","numeric-id":1148899,"id":"Q1148899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$F4F9B05A-40FF-4A7B-9E21-EA17102427A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6629326274d1895876e66168171702b70b52bfc8","datavalue":{"value":{"entity-type":"item","numeric-id":4934564,"id":"Q4934564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$B170CF7C-D4C7-4312-AEAD-E6DB991B73EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2f68614948a6f9639403077e134483bc245d5","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$48CD5FBD-722B-4B77-B83E-E04B615FC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355c16f9d02b02fc825a3dd0e5ee32f80840fa57","datavalue":{"value":{"entity-type":"item","numeric-id":4124830,"id":"Q4124830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$660BAE7C-88EC-4E01-8380-936DAB1D8566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$FA3C53AF-CE89-4822-AEFB-994644C5FA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c6a7aa2e5c2b81805812399af2c952bc1e3482","datavalue":{"value":{"entity-type":"item","numeric-id":3765757,"id":"Q3765757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$80FA3671-C716-49AE-BFBF-DDD601F4395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14edfe163b3a0474a80b3ea62e45dc98ac8e2f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3353013,"id":"Q3353013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$68B00C39-C6E0-402A-919C-D4B17228D283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153cf84afb13d6612f520c1260b933080ea57b2a","datavalue":{"value":{"entity-type":"item","numeric-id":805613,"id":"Q805613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$A6F2D057-4CB5-4FE9-8F70-F80DB39B64D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7096b7a591456e55705e0279e99fa3d162535d","datavalue":{"value":{"entity-type":"item","numeric-id":3964555,"id":"Q3964555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$84FA70F0-304B-4CE7-BB72-B04DB0C23C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa36b4077dd2e6da195c3224eff2a755e0d55ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3011112,"id":"Q3011112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$23BC3EE2-6B9C-47F3-A736-281D174BB1B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b49ee33f45b2a3031b3b4d93272ca5e1bde91155","datavalue":{"value":"10.1112/BLMS.12763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6096755$9FE88BE6-FF76-48F9-9522-AB9C4C8A2C90","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6096755$B50E6096-250A-48B7-A21D-340151FD4994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6096755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6096755"}}}}}