{"entities":{"Q3567855":{"pageid":5597759,"ns":120,"title":"Item:Q3567855","lastrevid":87379988,"modified":"2026-06-04T11:32:18Z","type":"item","id":"Q3567855","labels":{"en":{"language":"en","value":"A note on multiple inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722534"}},"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":"Q3567855$858F7BFC-1A28-4F06-873F-F0F3151AE4DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36b18bb0e6eaefed656d30cd0c182e2551727374","datavalue":{"value":"1195.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567855$20754B0C-321D-4771-BCC3-A08CC2BD7901","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3567855$1C91914E-4A8E-4569-BC8A-3DB6CB7538C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3567855$30D09C2E-2C1F-4477-A99A-C71F8F05C223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567855$66763F16-A6F5-4E55-891F-FCF5F3D7FAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567855$C89C76C7-09E6-4B01-8625-9AEEEBCE75FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7f9086b86066fa4db76f53bb27d28e238c7862b","datavalue":{"value":"5722534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3567855$CEC6172C-15AE-4695-A020-A6F63DF3455B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567855$B9EAA8F7-3056-42B4-8D05-CECF9DB80519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567855$92D2EC31-4903-4C4A-8212-96CEC813B4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56adf33694e786dc761f163866775cf1c3cbb831","datavalue":{"value":"determinacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567855$75541B8F-204F-44E8-8B9C-E0BD580BBDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8720c99bfae085207bf828234fa6a2dc01ffcfe2","datavalue":{"value":"\\(\\Pi^1_2\\)-CA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567855$410DEE67-34BE-4442-9AEB-F15AB85A50E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec22e8b0131ed081aa47e2af35505b9be1c81e62","datavalue":{"value":"\\(\\Delta^1_2\\)-ID","type":"string"},"datatype":"string"},"type":"statement","id":"Q3567855$298FD6F4-AC42-40F4-B1AD-860A6357C835","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":"Q3567855$5D0A7A1B-2A98-4EBB-91A6-13E83C92A903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a9b5a72bb3482380ebe222b11e0a47e7ee5a13","datavalue":{"value":{"entity-type":"item","numeric-id":3530407,"id":"Q3530407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43ee1d16d335d551ef1e85f0dd7ab64cea29039","datavalue":{"value":{"amount":"+0.7982757091522217","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":"Q3567855$922B289D-4E0C-4618-8A06-AB876EFE0407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a97f718ed58b9f76980d43729beebf79357c89d","datavalue":{"value":{"entity-type":"item","numeric-id":2904432,"id":"Q2904432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d9ad3ce2015035fda87f201b0b90a34025139f","datavalue":{"value":{"amount":"+0.7426998019218445","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":"Q3567855$BFE36B84-BCA7-4B34-9441-7F2FFABBAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256a7a565e783ec2060faa5d0f4cd2e475900a1b","datavalue":{"value":{"amount":"+0.7258884906768799","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":"Q3567855$AC0293E2-BF85-436B-9D43-93933B74D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f15e5c9ab71465b79d2ec17ced4eba42d5469f","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f1c204d9f6e4bd2db0c9678fc3a74f2ec2731c","datavalue":{"value":{"amount":"+0.7213106155395508","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":"Q3567855$C2445F08-0848-4356-B68D-3179979CEAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a589d99173294bf6d3471bcddb433e36f5ee2ea6","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2825f2b3b7d489c527d88d742817bda755289f","datavalue":{"value":{"amount":"+0.7164726257324219","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":"Q3567855$BC3BC815-2C67-4399-8AED-05997066EB95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on multiple inductive definitions","badges":[]}}}}}