{"entities":{"Q5687318":{"pageid":7716878,"ns":120,"title":"Item:Q5687318","lastrevid":46815540,"modified":"2025-12-25T15:52:58Z","type":"item","id":"Q5687318","labels":{"en":{"language":"en","value":"Some theories with positive induction of ordinal strength <i>\u03c6\u03c9</i>0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957321"}},"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":"Q5687318$D0883B3A-C48D-4AF5-BD24-A2750BA979A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ad7273ffa9ead50f5eae9e0649140daf7913f97","datavalue":{"value":{"text":"Some theories with positive induction of ordinal strength <i>\u03c6\u03c9</i>0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5687318$A9CF1CB0-BB20-4FC1-8A63-3FB60915E808","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a056f07b8e5b551c366bde4af8aa5d711e3d16a0","datavalue":{"value":"0862.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$B5DDF14E-39BD-4831-BF92-01F11285914B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3e3890961014b00922f79a8f81cb4f07d93250","datavalue":{"value":"10.2307/2275787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$CCF849EE-6B0C-497A-8F40-FEF884B3728A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$6A1899A4-83B1-4F93-80ED-5EF234524A7F","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":"Q5687318$01097D6A-B78E-43D8-A997-A387ECA7F5EB","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":"Q5687318$D7C10E3A-574D-4E9D-9FF6-0B538CD3642C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e841b33426c82a5eafbf7f8cc8852d9be70f609","datavalue":{"value":{"time":"+1996-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687318$9901C71E-3C0C-4EDF-9FE0-9460DCA2BD3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$2BA8BA4F-3FF5-419A-963A-FFCBFD61C367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$687A67AE-3F7F-49C9-8B89-467628FFA487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1eb919fdfadb60411323a3d8597f5f9130ea3ee9","datavalue":{"value":"957321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$CB35B65A-ADAE-4F67-8F50-961AE36A23A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34473da53e2160b197a50939e6f5f3c76dc41d7","datavalue":{"value":"fixed point theories with ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$F8ABB6CE-ADD0-43B4-ABB0-4C4E5CECEF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e58becc408c0fbc8b5b77a51d0ffdcccd356a6","datavalue":{"value":"applicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$2E0E4DDE-166A-4614-91E2-52138634CAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5b4bec65b144027b8a54cafc743f40d71f9ce2","datavalue":{"value":"nonconstructive \\(\\mu\\) operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$D17467AA-2155-43D9-977F-4E28668E4E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddbcba9d323b796e4e011c0fed3de8cf78c0535","datavalue":{"value":"restricted induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$4B47BEF2-8E8D-4D51-85AC-C7177C937013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a46e0dded789d2b655955e3651de91112975423c","datavalue":{"value":"subtheory of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$ADCC4BC4-F4D6-49E0-8E63-A650EAC2D588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687318$619F1079-3FD0-4F3E-A51D-9C309D241AAE","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":"Q5687318$659DE2E8-0CD0-45CD-AAE1-F70975A88B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7e77d536041aac9ef429eddfd5d8f159f078544","datavalue":{"value":"https://doi.org/10.2307/2275787","type":"string"},"datatype":"url"},"type":"statement","id":"Q5687318$7ABE3A87-0154-4B01-B383-CB5799119D8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25c67669dfcafdc9795bf2cbf63ca0be1a5aacc4","datavalue":{"value":"W1519442806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687318$D2F5ACF8-C78F-429F-A18D-3F1E07DC4A2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$0E402039-4434-4CC0-A0B1-06A507ADAC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010bedd06f6c1909a61b361a03b810c0c5d9e9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3809794,"id":"Q3809794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$36D8ABA1-7068-45FB-8CF0-6068F3B75937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b209eb909f7b2405120231556d3122ec858afb37","datavalue":{"value":{"entity-type":"item","numeric-id":1896484,"id":"Q1896484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$018BF415-2B48-403D-95B5-5524D6549A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07938c6dc0cbfdc3ba8a7f8b528364b3b071d379","datavalue":{"value":{"entity-type":"item","numeric-id":1908814,"id":"Q1908814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$BC219345-2982-4149-BA53-62851E51A62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$BBF1EE20-A251-451A-A736-DAB6B8749C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116a611e86eefe60b27b9f78858f3d08089c740","datavalue":{"value":{"entity-type":"item","numeric-id":3880843,"id":"Q3880843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$FDEEB712-7C47-4875-B699-0234621088AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$060456C5-31DD-4F27-9922-8DB6652BC68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687318$475B5D58-1838-4E1E-8ADF-1E8FA2F50531","rank":"normal"}],"P1643":[{"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":"2eff2209883bd8c1c49912b7259d99dd0d336c24","datavalue":{"value":{"amount":"+0.8364460468292236","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":"Q5687318$57D3CA67-AA88-4966-9CDE-C35DC55B5A1B","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":"e7249c88b0654005e26f7c78c21d51c1953e888f","datavalue":{"value":{"amount":"+0.8129754066467285","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":"Q5687318$808D60E8-2464-45EC-9530-8A0A6E415DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab346f3d319073d254b63f3a64e2dd1f9763ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5221836,"id":"Q5221836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80186975bce5c2c1f83f85f37e392d6709764935","datavalue":{"value":{"amount":"+0.7992376685142517","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":"Q5687318$FF84D670-695E-47DD-A269-D67A84B425F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ba51370ea46ba5e928a5b0e1d3822cee535f4e","datavalue":{"value":{"entity-type":"item","numeric-id":2933746,"id":"Q2933746"},"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":"Q5687318$67ABE4E5-1A85-43B5-A42E-DDC36D7977FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5687318","badges":[]}}}}}