{"entities":{"Q6156417":{"pageid":13290957,"ns":120,"title":"Item:Q6156417","lastrevid":56985822,"modified":"2026-03-25T12:01:23Z","type":"item","id":"Q6156417","labels":{"en":{"language":"en","value":"The G\u00f6del-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695414"}},"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":"Q6156417$8A064108-C4FB-403A-BE1C-91862D0E1C5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42ed5d6e9259b6b288446ac328a3299cc6828d6","datavalue":{"value":{"text":"The G\u00f6del-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156417$55114A3A-68C4-46A0-B7C0-A1E44935097D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$5E12667C-1A81-4E57-83BE-A347A151C49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$57CFE803-5696-4320-AFC9-32E17B3ECBA3","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":"Q6156417$464C20CA-14DB-4275-832D-CD60A1F656C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eea7a550f980bf0ce22e37e9b1c0b5e403fd09f5","datavalue":{"value":{"time":"+2023-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156417$0B1812CC-0434-427D-B315-AAA831A41B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$8E16CEE6-C255-4D22-A78B-0994BC52C8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$A1B4E695-8ADC-46FF-9DA2-0D87C46E0BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$87B593E6-B2F6-46F4-AB73-3F854C8230AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$A1008BCE-0340-4F3C-B4AC-5BE2898D7B98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54f76b79ce24d587dd0fde7c2b6ff1edfd797da4","datavalue":{"value":"7695414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$B3EB5CA2-F582-4256-B8FA-09199A7C88B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156417$96BB0D02-7EB5-43D1-8B6A-9139BF5CC03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156417$09E7CBD4-0C24-4685-9E3A-D26028A8F34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9e3db993a9feaf9088be010bd1956f11d08dcb","datavalue":{"value":"modal embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156417$461FCEF9-0074-457C-815D-8A10A4A93996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156417$E28816ED-B7A5-454F-B754-B9C535D391DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156417$793B15DB-1C96-458C-8A74-A7F521C73C98","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":"Q6156417$4917FB45-2309-4D49-90E9-39467BB51F79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$CA02FAF7-91ED-45B6-B6BE-8C9E991C686A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$48D6FB67-73AC-48E3-BDDA-8F134FB54C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07a76844e8745515e3f3bbe69fb5f2e7efff1de","datavalue":{"value":{"entity-type":"item","numeric-id":5224565,"id":"Q5224565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$C7F95006-2A99-4BAA-94E6-625AFEADD60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$4714868E-CDAB-402C-B072-955EF497F913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19dc95b54fafaa5ac5eb0a895dd9a2cde18be38","datavalue":{"value":{"entity-type":"item","numeric-id":2804325,"id":"Q2804325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$F2D8B94F-09FB-43D4-B39E-39AFCDCEF64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$E6766EFF-0567-4812-91BF-47B282173229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b241ab4e5c49c6c8b78c67f0b011644270d52184","datavalue":{"value":{"entity-type":"item","numeric-id":1229706,"id":"Q1229706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$6A85AD65-CE8E-4808-8E76-29F5C0A7FD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68421121344bf089c05c5b94920cb7828b2eaa0e","datavalue":{"value":{"entity-type":"item","numeric-id":2120974,"id":"Q2120974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$AED0C10A-E71D-4AEB-8F5D-59E5C4A48ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$7C8D4DE7-6BA3-4CA4-9E33-E221BB3B73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a64bf456ad1948fdc9d07726fbca9c098187a1","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$541F88E2-E3FF-464D-B42F-E698BC106BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eb7165f018b924a4a91407d35942417fab5a2d","datavalue":{"value":{"entity-type":"item","numeric-id":2987743,"id":"Q2987743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$6EC56DF6-F5A2-4EAB-AC30-6D7BF1B74E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$AC6218F0-6ED5-4B60-ADEC-1E358F8CA8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$BC04B15D-257E-4880-9A33-0A836075DA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f4e7473cc9e16f8ddc1cc242d01582aaab1f2a","datavalue":{"value":{"entity-type":"item","numeric-id":283115,"id":"Q283115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$33CDD93C-BE3F-4D3B-B592-641AA753740C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a325b995e299efe001d07ca3235a06c3f8898f","datavalue":{"value":{"entity-type":"item","numeric-id":5020172,"id":"Q5020172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$86CE0986-A727-4629-8A45-8CC1DE4698E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$1D807C52-5286-4945-8496-33D1863A7D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecc97eeb87f99c999a8f37ea24db3a629cb3b87","datavalue":{"value":{"entity-type":"item","numeric-id":2543314,"id":"Q2543314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$8ED6050D-D809-437F-BA69-2A059371107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$55C1432B-DEBE-4940-A0C1-A6803BFE2AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$4A8E0F81-4BF7-4845-9A2A-646C06782DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173e8f2111b09116407e6cfa026df72b9c5f683e","datavalue":{"value":{"entity-type":"item","numeric-id":5221863,"id":"Q5221863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$4CF9ABDB-A5FC-4C1D-B834-423B65EC94FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12efa2706b28fbf4a199dcddaf1c5aa0a7e308fa","datavalue":{"value":{"entity-type":"item","numeric-id":829760,"id":"Q829760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$B648FAE2-473D-44C7-93E7-65D6BE47E9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68cc09804f121295a28b362fb5ddfa4e78aab0f","datavalue":{"value":{"entity-type":"item","numeric-id":5163982,"id":"Q5163982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$B9C8BEFA-8C7B-4BF0-A430-720C03EE40DD","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":"Q6156417$FF69203A-5024-4D28-9AEA-611DEC2A8AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$44F7AFCD-9AB3-4BF5-8A4D-2F17B6FAD8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c970a502c8d77a07e62134e2a8a323cf4e646f","datavalue":{"value":{"entity-type":"item","numeric-id":4716293,"id":"Q4716293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$9EC0D181-DE44-4A1A-8C7F-ECD6BC59284E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee941db3d7a4876d1681990ff05b60af1ead4a9d","datavalue":{"value":"10.1016/J.APAL.2023.103285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156417$9EDEC91F-188C-49EA-85EF-54BD5241F3E3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156417$9DF5841B-EDF3-435C-9EC6-72D79DA3298C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156417"}}}}}