{"entities":{"Q2933746":{"pageid":2944466,"ns":120,"title":"Item:Q2933746","lastrevid":52152512,"modified":"2026-01-21T01:20:39Z","type":"item","id":"Q2933746","labels":{"en":{"language":"en","value":"A note on the theory \\(\\mathrm{SID}_{<\\omega}\\) of stratified induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377533"}},"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":"Q2933746$6E8DE260-E6F0-4F4E-9522-90F4C805C329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4714d001111e44d1dff5bd784ba7abe58753c464","datavalue":{"value":{"text":"A note on the theory SID&lt;\u03c9 of stratified induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2933746$564FBCDC-FD27-4EF7-A9DD-D2A10D2D29E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f5f51c591c3d594b5fd7007d1ed430ea27d5a73","datavalue":{"value":"1354.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$AD5912AE-EF25-491A-A6B1-0C7ACB637B23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a9a7d585be6301497824b2b7a4c0daae838112","datavalue":{"value":{"entity-type":"item","numeric-id":2312095,"id":"Q2312095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$88F49202-6D91-4077-AE72-D53E05655D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$9CB83C0B-02DB-4676-862D-7A7437D4290D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$57F63C55-3432-49E0-B2C3-AB6B1F548FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933746$2136D470-ACBB-4ED7-A7A2-2FDA2983EB58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$982DBD02-26BB-425D-8E95-7C73757E8421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$7A3F6121-405E-4930-8111-C31443B3D704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$FBF547A1-9FF9-4BA7-8A8B-660CE14B39BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$A60FB515-051C-4930-BB75-779974417CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6102d1a405329518c406a36b5af1641202b428e","datavalue":{"value":"6377533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$5B00E343-05E8-4E69-ACA6-A6D26CFEBF6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcf2b36172a1ae5ce001017a88bf81446a0830c","datavalue":{"value":"finitely stratified general inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933746$B993711D-614E-4C0A-A3B7-01AFB6353C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5977dda877f3c3880431fa620f22c62f98ce5e8","datavalue":{"value":"proof theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933746$4286B68B-E4E6-47E9-981B-E37535DF7E8A","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":"Q2933746$07600DC3-9A0C-41A7-8A9D-2D088FE724F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e084065080ca99ab9b28034301c90d1f4cd3d78a","datavalue":{"value":"https://doi.org/10.1002/malq.201300063","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933746$583D6C1E-08C6-4E4E-84E8-24CEB5CCC857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dba9b254d4b914528db25e7e0d6316069f2f0d7a","datavalue":{"value":"W1961621101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$DA190473-793B-4E2D-A592-FF64D55210FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f0e990de8f6acd44e2bf0e6eca779ea6c8397d","datavalue":{"value":{"entity-type":"item","numeric-id":2267752,"id":"Q2267752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$FEE096B3-2C1B-4639-BD43-89188BE0361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"657968a87a1849cc9d0a2c04676a0be49fdb6449","datavalue":{"value":{"entity-type":"item","numeric-id":3705449,"id":"Q3705449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$0DEACC88-FFDB-4936-9CDB-F230A7ED0934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$77CF6A99-8989-466E-AABE-5A43EAEE165B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$55ECCD09-B86E-4A73-A79D-5AD1EEF1238A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce06ac1a04494bb7d8c85be4c61fb1875844ce3","datavalue":{"value":{"entity-type":"item","numeric-id":3410669,"id":"Q3410669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933746$A9E42CFD-3BCE-4714-94F3-A207B5D7C375","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e8c4fc68e9c0faea70f542db0261ffccf698b0a","datavalue":{"value":"10.1002/MALQ.201300063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933746$91035266-C554-45EC-886C-F83C215E1504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cec389dbec5380b2d49d516875028782328c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cbd6f72bb43afbc04ef03d44963f386ac6ddb4","datavalue":{"value":{"amount":"+0.785072922706604","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":"Q2933746$92DC9404-8C22-452A-9F2B-2B7F3AAFA0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f27d0c649fbbbe2bdf03f26e487d73b8afde3d","datavalue":{"value":{"entity-type":"item","numeric-id":2267752,"id":"Q2267752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912af720cb04ae480f7a6271cf3f42ceadb01452","datavalue":{"value":{"amount":"+0.7645363211631775","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":"Q2933746$6119660D-B6F7-4AD2-9BD5-80D235C798D1","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":"256ea0e011348f21047101276a696db58e1143af","datavalue":{"value":{"amount":"+0.7501589059829712","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":"Q2933746$F6D95FA2-4137-48CF-864E-71E3439A17EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26ed2180efea7b2de854b2112726dec0507f39","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b0451264e98314dbfe6c53bc1e6c7446d18d4a","datavalue":{"value":{"amount":"+0.7345476150512695","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":"Q2933746$DFB15465-5DAE-42E2-A7AE-7A9D38AB1F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317f1d1ac315b4d6772cfb9690874b4265467fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3305563,"id":"Q3305563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6183d7d80e6356d842aaecc6040bfbf5652a4e","datavalue":{"value":{"amount":"+0.7342897653579712","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":"Q2933746$22B71653-F2A7-4D12-81CB-D19AD586DAB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2933746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2933746"}}}}}