{"entities":{"Q5486242":{"pageid":7515802,"ns":120,"title":"Item:Q5486242","lastrevid":49910197,"modified":"2026-01-11T23:21:01Z","type":"item","id":"Q5486242","labels":{"en":{"language":"en","value":"Induction and inductive definitions in fragments of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051854"}},"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":"Q5486242$2AC9394B-D756-43C4-AF31-4E1A0FCFA352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf7f52f774326e9ba845ca428067faec235cb8b6","datavalue":{"value":{"text":"Induction and inductive definitions in fragments of second order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486242$9775F488-F159-4A45-AB7C-F1D6D9FCC99C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3daf57ac8765412cbd116b5271de5e3032d9d93d","datavalue":{"value":"1118.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$12237465-0C9F-42AC-BF9F-A7F22E7B61F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$705BEFB8-5F83-4CB6-B7E7-F0C84107A779","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$6CF7667C-8BDD-4328-9F94-C36F88A6EEB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-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":"Q5486242$6030EEBC-522F-43FA-AB23-1BD0645B93C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ea6a613cc76580811deda29580cd0c53083ac42","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.512.4115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486242$BB2767FA-AE41-4CDE-9723-00AE56EA4064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$6369536F-9C67-42CD-9A3B-4EF107C26AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$9E4C06BA-97A8-48CD-BDD7-0CE8EF5F6D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$19FA7D6F-F54A-485C-BECA-B05C4AD4E2B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb4e5692406334cf2a900e7c79754d94e13b0d5","datavalue":{"value":"5051854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$7ABB8C98-8CA5-491E-8F8D-36D99CE2A150","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c8eec7e66f6f15931d111ffde4b979fc598947","datavalue":{"value":"Inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$124D5816-AFBC-4497-AEBF-F9D52FE9BEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$75F7EDC4-3CD0-4BDE-A546-CCC6CA5A8680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eea0e78c5e275c08368a3a48052db4e5c2e41ed8","datavalue":{"value":"\\(\\Omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$ECDC4348-1237-48A0-B351-2EBE602EF10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$C5B4F5C2-3E5C-4263-BC39-3F62A7725AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$12E3BC8F-56A4-471C-9F7E-9A657C760226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$02D38F60-C443-4B21-8050-D011FBB327F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486242$5462A703-559E-42F8-A4C6-E3DFE1110A8F","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":"Q5486242$DCD8529E-2D7A-4426-BB9E-11BDF390A74C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"108d005cade5966c805564f5632e12e5f5e5c1f1","datavalue":{"value":"W2033508078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$91D5078C-BFAC-4CEB-97C5-3FDE8E8BDDBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$3E9D3DC0-D852-4C01-97FF-6BA3F9E9E7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4714151d6433009295b091bf40040bb50712ffb3","datavalue":{"value":{"entity-type":"item","numeric-id":1175334,"id":"Q1175334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$38F8502E-D2FC-4C28-8B7C-AC10EAB3F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe0191040f889a35eb6e36b9f9d5acb444d41b9","datavalue":{"value":{"entity-type":"item","numeric-id":5277728,"id":"Q5277728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$D2AA7281-1771-4CB4-9B23-0D6B601A0F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a41e51759b03d93fbc94ef3ba8acf0dd412666","datavalue":{"value":{"entity-type":"item","numeric-id":4040375,"id":"Q4040375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$F7A06928-6069-444B-A90D-117E3D1E5EC7","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":"Q5486242$AC18AD00-B853-490C-BBE1-F88279061542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e523a40db7b16127f2f0d9abaa913b6b9ced2bc3","datavalue":{"value":{"entity-type":"item","numeric-id":1182465,"id":"Q1182465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486242$87E9E00A-D16D-468F-953B-DC13A7241454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac1901cf52c1820c9135fdcc0fb7935d8ed540d","datavalue":{"value":"10.2178/JSL/1129642116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486242$835CB7B1-FCF6-4345-B731-F0EC2BA90839","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee01c606f7055cdc64b625d90fb435ed638be65","datavalue":{"value":{"entity-type":"item","numeric-id":3081641,"id":"Q3081641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966af6384c88bd4be6418420a4aa37585cdb6ab2","datavalue":{"value":{"amount":"+0.7957669496536255","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":"Q5486242$7C90EEFA-6039-4CBA-81B8-E27256A1B9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e98bbb3dad928742dd57875b572b75acfc21d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1386672,"id":"Q1386672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967ccb2866561a37b8196c8f86f93925f76168a2","datavalue":{"value":{"amount":"+0.7937349081039429","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":"Q5486242$AC53299E-70C9-40FD-BD18-BD9C0304A729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d34b6b41f86704ba74a39eccb5da6b0970ce2","datavalue":{"value":{"entity-type":"item","numeric-id":964451,"id":"Q964451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d90b5693eee334be808cc274715dc3536f879ad","datavalue":{"value":{"amount":"+0.7916842699050903","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":"Q5486242$A8750588-86B2-4E84-93E1-B3D68E26BFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6c7721c70860bbb05a7223c6c91e3f9f9b7769","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2222eddf9aa022ac6a0024294e9e55a45d35a2e","datavalue":{"value":{"amount":"+0.7726505994796753","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":"Q5486242$FA47CD0A-C456-46B9-AFBB-C692CB231A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18fd094053abb5e6d6c97c497297cfdb682bd0e","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00984f355c3eb9e659fc9336e42186c7d88dcf4a","datavalue":{"value":{"amount":"+0.7712100744247437","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":"Q5486242$7925AE5A-C590-483B-A24F-E7538AAE85DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486242"}}}}}