{"entities":{"Q688845":{"pageid":690694,"ns":120,"title":"Item:Q688845","lastrevid":47201242,"modified":"2025-12-31T23:58:23Z","type":"item","id":"Q688845","labels":{"en":{"language":"en","value":"Type-theoretic interpretation of iterated, strictly positive inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438610"}},"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":"Q688845$B4CC7815-A68F-497B-B1BF-6A35B117C049","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e75af617e5c738e5bfe0862d2a2d65ead9210c74","datavalue":{"value":{"text":"Type-theoretic interpretation of iterated, strictly positive inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688845$E301C226-563E-4369-8FDD-7834FF626A5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a698ea716de9dfad8f020e581f167fa2d4faa5","datavalue":{"value":"0787.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688845$6B322244-B732-440A-A8E2-D69C0E7558F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a25f184d0b89621160c5b166e8e05c131f95d4c","datavalue":{"value":"10.1007/BF01269951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688845$9782B5FB-99B5-46D0-AD98-E3C7E729216A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$9BB186EA-FAE9-4A5A-8CB6-34EBA51D7AA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$5D3C041F-C851-4794-ACBB-1106A8702652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbb67e2e18a5f6262fd57618e2a92a31414c8364","datavalue":{"value":{"time":"+1994-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688845$898FF6B3-6B07-4898-B8D0-E138792C4ED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688845$29C7CA8C-6472-40F7-B7AC-3A1914812CB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7d60fff3d0cee9c7603dd377ff586145af3ec46","datavalue":{"value":"438610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688845$BCE3809A-567C-47E2-87FC-0182AD6C0E5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b78676627890cfbf85d251f0a0a6157a08e2ce7","datavalue":{"value":"intuitionistic theories of strictly positive inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q688845$0447D1C1-87D8-4C4C-9FF4-FEC9492BB39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688845$6E2D36A9-D27E-4FFB-8082-D82F3474B8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4247d4f1fc6b81ac9bfea6ccc87292dcdda9da","datavalue":{"value":"lower bounds of the proof-theoretic strength of type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q688845$74475A3D-45F7-4B7A-BC8D-5B2734410724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q688845$DA3F9775-89E4-4531-BE09-D978981B388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q688845$BEC80D51-3403-4D1F-AB4A-FC3288C6CC13","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":"Q688845$0ED04891-5F68-4DCE-A594-CC101690F439","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$A93DBD01-2884-4617-A987-66E93E089226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$57094F4E-5037-4CEA-AC76-0A1B77791949","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":"Q688845$1D164EAD-ED19-4160-ABAB-7F1287B7F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$89D222CB-02B2-4A1F-AFE4-A1E8D3E71580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$B25A90C8-9097-4701-8A27-51C5F9D1F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$841C6F87-3147-49BC-B617-CA880D8E3816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$1E0A0DED-6876-4D91-B231-DC66489A6519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$9379FA73-EDB4-450D-A927-3A1C76284CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$40DB44D1-793A-4AFA-943D-3A30E4EB6837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$84D21ADC-BE7B-4436-9591-42235F91B597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$A0D00A63-0D73-4AFF-8439-640E7FBA8DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688845$EA3FA5F7-7DB6-4CD0-8919-84B1DA588149","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6dde31d9959e63cb0b6c20653ed789e3c31cec","datavalue":{"value":{"entity-type":"item","numeric-id":4880141,"id":"Q4880141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e119748f22b66beadb20e50fde52d19b8ab051e","datavalue":{"value":{"amount":"+0.788532018661499","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":"Q688845$1ECC5E87-219A-4124-938D-51AAF773B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce84887953fea95566a05af0f9ca26fd3351445","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0826adfb6a94ec152e99ffa79abd2958fe0d43","datavalue":{"value":{"amount":"+0.7856130599975586","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":"Q688845$367EB5F5-B53D-483C-B6DC-0FA887EA4E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10136e455743e3ade83a7e267fb95936edac7bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa33402ea22bbd3a537c9d41e6bc2a9f99fb8bb","datavalue":{"value":{"amount":"+0.7844576835632324","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":"Q688845$6256CAA0-6640-45B4-8A27-F5D4011F8160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f89c41d640daf3bd74f8f8e1b37397c2e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38be5bf391cfff0b2e5bf291ae80a9b049332030","datavalue":{"value":{"amount":"+0.7822409272193909","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":"Q688845$2CFB7044-8A64-413D-A51F-524CF6FBFA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdda1445aa0b79d373013db9c915b4bd252bdeac","datavalue":{"value":{"amount":"+0.780349850654602","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":"Q688845$5244CC1E-61D2-4651-B974-89F822CBE7D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688845"}}}}}