{"entities":{"Q5214791":{"pageid":7244361,"ns":120,"title":"Item:Q5214791","lastrevid":53656232,"modified":"2026-01-25T12:26:42Z","type":"item","id":"Q5214791","labels":{"en":{"language":"en","value":"On some semi-constructive theories related to Kripke-Platek set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7163214"}},"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":"Q5214791$BB8835FD-95DC-4A73-912B-59401F8D035F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86bba03528e4df81e0e3af30a8406b3f93f64318","datavalue":{"value":{"text":"On Some Semi-constructive Theories Related to Kripke\u2013Platek Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5214791$AB0929B4-666B-4D48-81EF-519E61C4DB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbd5d9f3595927ba146eaa31a5672b90dcda9e24","datavalue":{"value":"1429.03205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$0C1240D2-DBD9-4E4E-9675-5D8D790AA9C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8160e628e5635a6456654c9acde8f058bdad7133","datavalue":{"value":"10.1007/978-3-319-63334-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$D4705E16-0DD7-4D92-B47A-858AC91CDB76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$0524A0BA-C438-4D68-9A95-F596E6841AAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd6773eb39a2e4f69da6f4fd97619a5587c8913","datavalue":{"value":{"time":"+2020-02-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":"Q5214791$9E89623A-A072-441D-B11E-88F46CF6D815","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$44865876-69E4-44AD-A6BA-F7728FB50702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$0D17D042-3628-4845-923A-1617D1827F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$D1E7A038-86A5-4D7F-B645-6B60B7B7F567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$95460FC3-5E6E-412E-9C3D-C622F123C62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$94F111CC-EBBD-4785-89FB-12791E35F00E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff0c238cb1eab41e19d2879a91438218474d96b","datavalue":{"value":"7163214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$55B13F45-E7C8-4E04-9057-CE1324793C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5760b152e5b71b3ae346e1c280abbaa6261a4056","datavalue":{"value":"intuitionistic Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214791$F1261CBD-6F8B-452C-A86C-45EB39FBDB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c97d6b492971222388b94172b334d8992404bf","datavalue":{"value":"functional interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214791$6E404095-0B28-4A94-B300-7406AE774A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f9001f55c8a15d541f138647a3ea9599f36aad","datavalue":{"value":"\\(\\Sigma\\)-ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214791$11A97819-F53A-4978-8463-2EC65FC9221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0613c8412c849d3198e54836671b3f84e3c3a6","datavalue":{"value":"strict-\\(\\Pi^1_1\\) reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214791$0AA62D46-C1E0-48A6-B33D-110BD39EFA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f16c83917e734c8ac150f54182649030808532","datavalue":{"value":"power Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5214791$5B67F9AD-B447-484C-B3A3-C48631E967EE","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":"Q5214791$793B1976-6BB4-4C67-9C5B-FDF12ACB274E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70294ac65797d094b6804d3bc441e83349d54833","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63334-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5214791$791A050D-782E-4F25-92C5-509C925E36AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17d72be9571e1e79c1fb58a766fbfbd1be52fcbb","datavalue":{"value":"W2794983383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5214791$CF2D691A-CF18-4B40-94E0-CA7ED56BF31B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$37D17876-FB9E-4833-A81A-C1B5B465BBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22804e4168b3a0666e86ce7365fe1279f0a0943","datavalue":{"value":{"entity-type":"item","numeric-id":3655246,"id":"Q3655246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$1449376F-7854-4755-95CC-5E37D6D89CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1394ebc087592101af5321645ee42b87647cd048","datavalue":{"value":{"entity-type":"item","numeric-id":5591510,"id":"Q5591510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$C7517D60-CBE9-4116-B8D4-17F484CC5F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d4f90fa52e835209baaf1ee94cf3ff7e79c103","datavalue":{"value":{"entity-type":"item","numeric-id":5619067,"id":"Q5619067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$A65AAC88-0C25-4DEC-B7FA-C052122257CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$563D74FA-1EEB-48C6-9C8D-1B037E82C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$1476AD18-E95B-4639-A78C-C607BB934E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa26afc096370dab0dd003acb97f552b7a6a6df","datavalue":{"value":{"entity-type":"item","numeric-id":3001097,"id":"Q3001097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$8E2F4B38-E82F-49A9-A5CD-170C28B6B05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb861eaae004368fdf072b74a5ffd87228af8cda","datavalue":{"value":{"entity-type":"item","numeric-id":2921035,"id":"Q2921035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$F27BB585-DCCA-4DD0-BFFB-A06F3FEBC1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$E1992058-0E9D-4243-A3C2-CB96148FD487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$2C072CA5-BC7D-4B27-938B-9A28F2848066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$E77D97C7-9191-4E1F-BFDE-4EC8674BE419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688cea5a817911a84036b242cb5a151143cdc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5680102,"id":"Q5680102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$87C74A5A-601F-471E-9D1D-34C979E60D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$946441FE-4DE6-40EF-B9E0-8596D5363B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16dd41c51b857781572e2784cf2c2f754519529","datavalue":{"value":{"entity-type":"item","numeric-id":5628079,"id":"Q5628079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$979677C6-1A90-4EBA-A857-A955484078D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b56daf07b4aa306cdc3e232dc87f3d9077b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":392292,"id":"Q392292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$3608A5C8-C5D8-46B1-8550-136CE2896458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5214791$D231A4B8-9A25-42D8-9762-F7E4C18C8F22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac40f6d9ca73470703be64819b810efcd396848","datavalue":{"value":{"entity-type":"item","numeric-id":392292,"id":"Q392292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fd7d2fb6839a3deda94e1aa24b9cc4c88cb3ff","datavalue":{"value":{"amount":"+0.7860878705978394","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":"Q5214791$380AA9CD-0740-4C07-8916-BB8A148CCD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973c5166632890b19349d91ddcdf82d81c23f08b","datavalue":{"value":{"entity-type":"item","numeric-id":3305554,"id":"Q3305554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa59283dbc8f5ae3b27b54ee9cf18aa5cce05d2f","datavalue":{"value":{"amount":"+0.7702414989471436","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":"Q5214791$15DE3E1E-DBB5-4504-AA62-E18D39BF065F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d723a7bd843e16a62d645f15b0e50b31fd3cfea0","datavalue":{"value":{"entity-type":"item","numeric-id":3346304,"id":"Q3346304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab74a2ce95b20878897d75248c812f6dc3c5b5a","datavalue":{"value":{"amount":"+0.7641684412956238","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":"Q5214791$6A4B8593-FA4B-4689-80F1-A7A86AE5F918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663a6362854082b09fe2fe423549e8a7671153e5","datavalue":{"value":{"entity-type":"item","numeric-id":4981444,"id":"Q4981444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f909e59ed4cd9e8420d219fbb15a0870532b3882","datavalue":{"value":{"amount":"+0.7589321136474609","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":"Q5214791$1603F58C-CC83-4E5F-B3D9-30A60C9B3327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505dc46c601c3ff8552b3c6f03b4d87751ac313a","datavalue":{"value":{"entity-type":"item","numeric-id":3027001,"id":"Q3027001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c419f52a9314485c21c88533bee412b88f5d06","datavalue":{"value":{"amount":"+0.7577287554740906","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":"Q5214791$8F4DCF90-9B0A-460D-97ED-78C37B996A05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5214791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5214791"}}}}}