{"entities":{"Q1257012":{"pageid":1267762,"ns":120,"title":"Item:Q1257012","lastrevid":70012779,"modified":"2026-04-13T11:50:30Z","type":"item","id":"Q1257012","labels":{"en":{"language":"en","value":"A study of Kripke-type models for some modal logics by Gentzen's sequential method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628927"}},"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":"Q1257012$F30000B1-DCB1-4BF6-8E1A-435365BE9B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28395096c4ae363b569c497b86eaefecd87a7ac0","datavalue":{"value":{"text":"A study of Kripke-type models for some modal logics by Gentzen's sequential method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1257012$1F933CC8-B8FF-4388-A940-21917426407B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f67d08b8389034f5097d985155f9143bd95f475a","datavalue":{"value":"0405.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$26225249-ACFC-48B1-9A6D-66C2D17148E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$A6C2565D-A2E2-4491-B129-3FDB9BAEAECF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$CDD2E02A-2EB3-4401-AB49-40CA816CBB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1257012$E027DB3A-AD96-42A4-987F-60E9811AFE23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$DE52C171-05FD-4C05-930C-FE85B6C6D2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$7A3D1146-255C-47F6-8B06-035EF99EF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$314782D1-1C43-49B1-B0AE-63B1CEEAD844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22f915f472c6795c88ccb0dbed4a420568140770","datavalue":{"value":"3628927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$9F82CF48-D9D5-4195-A32A-1A8B54C2ECA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2809e6f7e7357d6d6697db1106b9c9e592b6a3","datavalue":{"value":"Kripke-Type Models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$AF1657A5-9E02-40BA-9AE2-9A1DA6642235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58344b0f0c22ff1f568f4ab8c67ac95c1439aae3","datavalue":{"value":"Multi-Modal Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$B3E01398-8B38-4E9F-9951-2B6AAFF5D399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e26e99fd9962e9e77eb64cec456c6e1e195010","datavalue":{"value":"Knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$675CF00F-07B2-43F5-80BC-C7471D702F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49cbc7f8d3604623580ac5961f7d5fad811207cf","datavalue":{"value":"Completeness Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$8B62F4B6-014E-4B30-B144-C0F09D1B48BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d34cedfef1d3a471936443f2bc6c71563d5ca77","datavalue":{"value":"Kripke-Type Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$F1E216BB-8947-46DA-A2F5-4258FCF9F7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fd3cec7eec4031dee3784a05cedb98868633a3","datavalue":{"value":"Possible Worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$66D2DB7C-D92F-4C11-9F8B-E3E49DC4EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54984606798d1c98207f0f9e56d6541d7fbdfe32","datavalue":{"value":"Generalized Gentzen-Type Sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$E56288C8-BC3F-44CA-A33D-721B27759C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b08c9ff82623446d01b99ae6fd4b06c9b27fe270","datavalue":{"value":"Cut-Free Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$92B5DACF-522E-4540-B6A8-54609E822B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$011C7377-4685-4BB3-B784-49921A3B7C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803cbf54474805add92c759bdba7e9baaecb3ff0","datavalue":{"value":"Wise Men Puzzle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$475FA816-ACC4-4969-9EF9-9E4E35B788A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a383115607dd5b7c47527a62970290078ae610","datavalue":{"value":"Puzzle of Unfaithful Wives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1257012$78FCCACE-D570-4601-8B62-8045D7AD9875","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":"Q1257012$B637B3FF-2662-424E-8C7E-8B564F6BDE96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b29d5a090d4d30ccdf9e6ac9d34cc1b4107b071c","datavalue":{"value":"https://doi.org/10.2977/prims/1195189814","type":"string"},"datatype":"url"},"type":"statement","id":"Q1257012$2DAC6E52-FA8F-4D88-8F96-56A73066A4EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c64e35dc53098a1551387689a5aa375d77aef5","datavalue":{"value":"W2034576617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$50800E10-4D0B-4CBA-97F6-72804336F060","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53281fd5952abc38d54f1bae25afe254e5c90b6","datavalue":{"value":{"entity-type":"item","numeric-id":3262264,"id":"Q3262264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$B1ADCF47-93F0-4AD1-B6DD-7A8CA47E1882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9f178781b83f832e6f5534d840de05398d866a","datavalue":{"value":{"entity-type":"item","numeric-id":4074882,"id":"Q4074882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$69AC2B39-B6C4-46BF-BEA6-04653EB7B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$CDF5559D-202D-4841-902C-D18C6F25BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$B9837626-DE9D-47F8-A084-46CFD06BD596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$4D43FFE9-0652-4D8B-9151-23852B5F65E9","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":"Q1257012$FB0A5696-0B0C-4393-9A1D-12FE9A681021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$4EE29F8C-99BF-40A2-8FA4-40A5AFFC6294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$15ECF65B-621E-4F8A-9E37-44E95848825F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc22e82df66b894e32f3a281f6d3ae48dc7ceb96","datavalue":{"value":{"entity-type":"item","numeric-id":5553251,"id":"Q5553251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$BCD61EA0-07F0-42E4-A121-995610085A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2872a65a32e51f278619b314fcb87975d2d0d3","datavalue":{"value":{"entity-type":"item","numeric-id":5632555,"id":"Q5632555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$9DF4CD3D-89B9-464A-BEB0-EAFA8DD70778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$D2F745E4-02E2-4FEE-AA4E-683590634B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$A6A547EC-8E71-4BEE-8CEC-431C78B62134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$8B03D74B-E6B2-4BAA-ABC2-68332DC68C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$0222B1E0-C31D-43B6-B289-F311254FFE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11027ef986829da41b2e768ef218c1aa99048ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4109655,"id":"Q4109655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$EA56CBC3-CA0D-4FFC-9394-1468C90CA71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$B450CAF8-6B8C-479B-9BF0-76188541097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$2964B28D-5772-4FC0-9648-8CFD056B1494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$DBE049A3-39CB-486B-9452-9B73D3F63DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$A48295BB-AA95-405C-8475-D76EF9AFE427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608ca5a0605d338d2d26effe8381d0a412fe518","datavalue":{"value":{"entity-type":"item","numeric-id":5628097,"id":"Q5628097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$00F58561-4A55-4C1D-9900-995B7D81A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1257012$9A37D23B-9B3A-4648-909F-CB1DBA719C87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b7db351eb9618b87f2e50de81ee1cc5befe6e68","datavalue":{"value":"10.2977/PRIMS/1195189814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1257012$88F13FA7-B904-4645-BF2D-700C3FD0CB3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A study of Kripke-type models for some modal logics by Gentzen's sequential method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_study_of_Kripke-type_models_for_some_modal_logics_by_Gentzen%27s_sequential_method"}}}}}