{"entities":{"Q6539428":{"pageid":14150571,"ns":120,"title":"Item:Q6539428","lastrevid":42338954,"modified":"2025-06-11T20:12:58Z","type":"item","id":"Q6539428","labels":{"en":{"language":"en","value":"A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \\(\\mathrm{KP} \\omega\\) and \\(\\mathrm{BI}\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7848920"}},"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":"Q6539428$E5F38C8E-8CA4-42AC-B8A6-17543D953B17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c360a31755892669ae2150dbeda1e4385b6af31c","datavalue":{"value":{"text":"A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \\(\\mathrm{KP} \\omega\\) and \\(\\mathrm{BI}\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6539428$0F801082-1BD4-4D5D-B5DD-526EF40EF385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a662f6b5100ada57435ceb7f809f265febd4cb20","datavalue":{"value":{"entity-type":"item","numeric-id":481872,"id":"Q481872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$98AD2198-F4C0-4B0F-A46F-765A41336212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$C23BEBD9-2396-4326-8E4F-C2E51B4B68E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8e66a32d534df6de0df71c4be5910df36dd6c70","datavalue":{"value":{"time":"+2024-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6539428$548CB767-16FF-41A4-A3B0-C5C3975CA3F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$8EBA9269-B96A-4B1F-9DDB-61C72DB9DAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$FF410E1B-CF0F-4C24-8C7B-643717CA7934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$31B153C1-A8C1-4498-A16A-B66426959D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$9A9BF407-C24C-4EA3-A6C7-211E9C4A97F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$3DEE2C16-270C-44C0-B676-3D0CBA864797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$9962AF94-601D-40AD-B3C6-F81D8EA829A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cbff33204a5ba0a30b427a7c5e8102f316b0532","datavalue":{"value":"7848920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$AE0A316C-C37F-4E90-839D-16FB458CF9B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecf3fee7d814cb4f796cf5943c929b2876d7abd","datavalue":{"value":"\\(\\Pi_{2}^ {1}\\) conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$7C4FE0BE-57DF-4B3A-A03B-C3970B8B586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$5C14C2DF-6C5E-4769-93B0-583E3442A336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dee9fb481af2cbfceaabcc6bf67345901534d71","datavalue":{"value":"Kripke-style forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$2D09150E-2995-4F0B-B19C-07F955A41B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$C22AAFCF-2256-46B2-86DE-2A24150439C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ca16b65a65e88cc92a456abd2c483c215efe9e","datavalue":{"value":"tree representation of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$C0164F26-28F9-4336-986B-848CD35D50FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fb887b8ca0bdd5b7101392b4650a0e03ce17e6","datavalue":{"value":"linearity of admissibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q6539428$C27E1313-1EC7-4FA0-BDFB-0326505D6ED2","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":"Q6539428$3C3CA18E-1498-4106-AB09-EA207021F211","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$016BF10E-BA30-4A23-B9D8-12348D374198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d64456a7d7211b26f28079cc2c22337fa5b9ea","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$DBB1FE1E-D4FC-499E-985C-6C659FF59443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$D2DF8992-C086-47EB-8BA2-509A33A5BC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e299cd24790cf833246b68534501b445b379b03","datavalue":{"value":{"entity-type":"item","numeric-id":5687314,"id":"Q5687314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$2B12D84F-4BCD-4937-BC31-B289BACB3EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$2808245C-7CC4-4474-A212-303B605C33D0","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":"Q6539428$F0E4F28C-6964-49E5-8A7D-FD873AF22D4C","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":"Q6539428$FECB1027-98BA-4994-B8A9-D356E8B5DFDB","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":"Q6539428$306178F6-F63D-4AE1-92B6-551C4CAC0AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38e98072c6c5f7f123a872c06a0f84d58e9bb26","datavalue":{"value":{"entity-type":"item","numeric-id":3342568,"id":"Q3342568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$6A96EC31-A8C3-4188-9D17-4EB8308255C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a20b645023a8d04cad0a14618e2426e86442be9","datavalue":{"value":{"entity-type":"item","numeric-id":4704759,"id":"Q4704759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$AC59EA41-2F27-45BA-AFB7-AD6720006414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c136e23902c7276b951fdfcca3801593ff226757","datavalue":{"value":{"entity-type":"item","numeric-id":481873,"id":"Q481873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$82BE60FF-E721-4764-A45C-5ACBC2BF6975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$57991334-5553-4F9F-8D3A-0517FFDC0E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e9b04e2acd825d3faae1e4d0ae06c176e9655","datavalue":{"value":{"entity-type":"item","numeric-id":450946,"id":"Q450946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$11589296-7FB5-449E-981D-72240A415D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbcc61cc1f259744f497d0e4d62e157d051525a","datavalue":{"value":{"entity-type":"item","numeric-id":4692072,"id":"Q4692072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$F0EA3972-F11C-44B1-BF11-A713EEFDCF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f608629e33e6be6aae6b701c409b30dfeeef2656","datavalue":{"value":{"entity-type":"item","numeric-id":2700817,"id":"Q2700817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$1701C243-DF74-4D27-BB99-2314D83005DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1636fa169df783c057aed630431e48fc3edd3399","datavalue":{"value":{"entity-type":"item","numeric-id":5351852,"id":"Q5351852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$2CCCB4F5-E6A3-4CC8-9D0A-12341198DFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddcae75623ad27e45f301cf7aa223ba87bd8584","datavalue":{"value":{"entity-type":"item","numeric-id":3968911,"id":"Q3968911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$21886B96-63B9-4627-AA84-3095D11FCC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$8DFE2936-C192-4E13-9B3B-1C9BE5FCE79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$87015D17-FEF8-4C26-814F-8B1DCF346EDE","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":"Q6539428$E7A768BD-E57C-4479-ACE3-6B569B89BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a259be647266eb3d24d16e6cc92a6e5603b035e","datavalue":{"value":{"entity-type":"item","numeric-id":4663832,"id":"Q4663832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$DE01942C-E521-4625-AC21-C475BA4DAFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e611098e21c6266e567e5709288f7dfeed8db2","datavalue":{"value":{"entity-type":"item","numeric-id":6390424,"id":"Q6390424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$3154D0F6-1C74-4A04-8BFF-C748E1B973E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$207FC052-920B-4B76-AA7D-F1B0BD2B82A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1f7856b8b7a3320630526de761a863b8ae9bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5082051,"id":"Q5082051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$446CF0CC-E440-4FF7-A86C-4CF13551421B","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":"Q6539428$BB3FDC23-ABCD-406D-AF6F-3AF1D44FE365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c77c60d68cc52109546a156001550d5e30ecba6","datavalue":{"value":{"entity-type":"item","numeric-id":3138834,"id":"Q3138834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$69A3041A-F591-4FE5-B8E8-F6514909D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$0FB187B6-C9C2-4267-8908-6F8017B8EEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fc8fa6520935c6d90927dd6487a3b56fc9c139","datavalue":{"value":{"entity-type":"item","numeric-id":5485403,"id":"Q5485403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$F0F10292-F97D-4B6A-B7D6-68263088A700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60145ca8132a44fd07763c5f3207bb29f93caffe","datavalue":{"value":{"entity-type":"item","numeric-id":1006617,"id":"Q1006617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$5F86A577-AD2C-49B8-9F21-FEDCEBEB3FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ab82de7a0640fad58b0dcffd7ab85dbcce3ae6","datavalue":{"value":{"entity-type":"item","numeric-id":639665,"id":"Q639665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$A6C2C6AE-A2F3-45D5-86A6-AAE9B27D34C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec5baae32fbd66f0ed465305cdc4231b7e72145","datavalue":{"value":{"entity-type":"item","numeric-id":2922495,"id":"Q2922495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$242DE8BA-3C2A-4CD5-A42B-40BA5FFA0A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e0472347bb8670a3590a0076f254d7a323d3","datavalue":{"value":{"entity-type":"item","numeric-id":2933671,"id":"Q2933671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$06B894E5-1F06-4A45-8E04-056DA588D064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c01aacb1bd820fc7c2a246f1cfd4160d66b71b2","datavalue":{"value":{"entity-type":"item","numeric-id":2257106,"id":"Q2257106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$DDB5B21D-99E6-4FD3-814B-EB90B914695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8349b8fb0692e6afc09160ceafa4383999e7232b","datavalue":{"value":{"entity-type":"item","numeric-id":2344720,"id":"Q2344720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$7F2C1920-A2DB-43D2-AD90-0CBDC851E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c3006824735693213028f4db3064a0f3da9063","datavalue":{"value":{"entity-type":"item","numeric-id":2285848,"id":"Q2285848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$EB434147-9782-4557-9877-EB76210C236C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748fe1ee3b41b955027025b763f4e565730d4e01","datavalue":{"value":{"entity-type":"item","numeric-id":2111109,"id":"Q2111109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$7616CB3A-ACB6-4C55-BB2E-062A88D6228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dcc21e567567138d292a3259bd20dc3c770c1","datavalue":{"value":{"entity-type":"item","numeric-id":476116,"id":"Q476116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$B54EF2E5-6F0B-44D2-BD27-DFA7BAEDF65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69328b06dc1d26d5101867f67e70565505a5ccf5","datavalue":{"value":{"entity-type":"item","numeric-id":3069633,"id":"Q3069633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6539428$C49C791B-810D-4F02-9168-BB1434A61E6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8a225c52e2cbcc735fe2aa9758106901cd590d5","datavalue":{"value":"10.1016/J.APAL.2024.103422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6539428$99677B9E-289F-4C83-ADE5-3C405BAF98D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6539428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6539428"}}}}}