{"entities":{"Q6589311":{"pageid":14200468,"ns":120,"title":"Item:Q6589311","lastrevid":40577388,"modified":"2025-03-07T05:32:38Z","type":"item","id":"Q6589311","labels":{"en":{"language":"en","value":"A natural deduction calculus for \\textbf{S4.2}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898457"}},"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":"Q6589311$F7FD684C-913F-4B04-B699-7F77FCC40C74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc527c18ae4d40f6e76e7017cfcb8b64f77c0a76","datavalue":{"value":{"text":"A natural deduction calculus for \\textbf{S4.2}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589311$BE7D80D0-72A5-4DBF-AD71-7763C9852220","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"568427b992626a89c9706e9af4cd6166d52aed52","datavalue":{"value":"10.1215/00294527-2024-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589311$64EB6DE5-0245-4694-BC21-DCE23D8DC7F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$6E767DF7-B3EE-4BBA-9D6F-607BC655F12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$38013B5A-E826-43CD-A61C-C20EEA0983B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$A229CA32-587C-4E13-A2F4-57A7BCB6D96D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$BAF8522E-D629-476E-8984-B91543286D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c9edf3682f8ce3a18f69639bd1f0b09ec55ee0","datavalue":{"value":{"time":"+2024-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6589311$111C563F-4871-4968-B2D4-9EF9F75F78A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589311$A72DC0EF-C5E5-427E-9396-CDED758FFA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589311$6F990560-6FB5-4AE3-A3F6-2BAF435CE3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589311$1B6F6DDE-8230-41B1-ABE7-6AD41D5AD072","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d87ff3b54237c66c6764988d214cde4b8f472de","datavalue":{"value":"7898457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589311$696EC947-894C-44BA-988E-16C8BE10CDA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589311$66C03C55-90A3-46EC-A28C-1504CCAFBBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589311$58E0E1D7-BAA7-4004-A19E-E58472A0103F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589311$8F315132-40D3-48B0-8884-5BD7C785EEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589311$CAEDC45D-0562-40A1-A4EF-4DA1564DBEA1","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":"Q6589311$02F6073D-4211-4833-A43D-4168E310B7C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$EC590E2C-4367-447C-9764-0B54FBAC3E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$08F9B3C5-F883-4360-BA03-1DDF30FA2A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5af20571ca0a9bf9911b46ada51171e24851ff","datavalue":{"value":{"entity-type":"item","numeric-id":4736752,"id":"Q4736752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$F90E80D4-CC30-4854-987A-A3234E74A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5cae3a6dddd4b0039b4d60187b9cfa833039fc","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$03ED440B-A218-4722-ACBB-4C04466E1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc91532a020d6fa9e71a24869eb90952eb46b7af","datavalue":{"value":{"entity-type":"item","numeric-id":6111235,"id":"Q6111235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$99DC6194-A856-42E9-A7C1-98D2A238DAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$28D756D1-ECA9-43CE-AC3C-E535AC8DE587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b712e8ac9cb775b63e8b6ae190025593b1aec7c8","datavalue":{"value":{"entity-type":"item","numeric-id":5095645,"id":"Q5095645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$AC08FF75-D812-4A99-8BF4-559D90A6A4AD","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":"Q6589311$C6FF3FA7-285A-4900-AF14-152D7EECD447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$A3840FC4-429C-4B0F-9859-AF723E7C2B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$3B7CD841-8FA8-495C-8EAF-69B833AB03C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$1A8B1E8E-6D2C-4736-B267-DD5DE5B50172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$8F5E7655-C81C-4251-9BCB-6BAD3356F7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$2F83C221-CF50-4F55-AA77-3AB8355583EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc82f7ab84df94897466e68ea0e47066c9c6b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1150600,"id":"Q1150600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$BC36079D-DAA8-4EEF-A9E9-E3E84F569477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4518b82a02a2d0f4f739bbd18acb4aa67ad50609","datavalue":{"value":{"entity-type":"item","numeric-id":6172068,"id":"Q6172068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$C53B2155-2DFF-44D3-8860-3A4794F9A862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$6755714A-7CB5-4BB6-843F-988EDB6FA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744280890ddf64d6046b1413aebd46cba1d83b47","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$F4B7A5D9-C0E4-4A75-B964-BBD0484BCD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77940e0c0902cdc0457145535d1e3aa9d3c93811","datavalue":{"value":{"entity-type":"item","numeric-id":5126474,"id":"Q5126474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$B5B881CA-E1F3-4A49-892D-9E3C7B187295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d45b900e02fff384611ba003c187022d914323","datavalue":{"value":{"entity-type":"item","numeric-id":4842974,"id":"Q4842974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$6C49AED0-0F71-4202-812A-FF532A6F3545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$49C89F61-475E-4518-BCD6-ABD6C924C527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022ce4fd4962a7f5933c422fcc225c3e796bf27f","datavalue":{"value":{"entity-type":"item","numeric-id":5034227,"id":"Q5034227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$F99CF947-8B0B-40F3-B336-B60294B2961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d8f2638d7ffb987a9798548d71f1460ca6b897","datavalue":{"value":{"entity-type":"item","numeric-id":6200474,"id":"Q6200474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$D0BDE3A6-8E12-4676-9FB2-D48885AAFA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$E62AC80A-48C1-4698-9136-6156D0B6E574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2935c4b500510e6236922988f2719b77d5497a","datavalue":{"value":{"entity-type":"item","numeric-id":4286223,"id":"Q4286223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$143E6E00-9B8C-4F28-A552-1E670CE08B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfeb5b47444eafa245f412784b14045d4644ef5","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$A919A080-07F5-4077-8058-CBEA7F5AEF0D","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":"Q6589311$413E37A7-582A-4E3D-BC64-18D5B80D3743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff7479832debc812e199177fca23405586d366c","datavalue":{"value":{"entity-type":"item","numeric-id":794634,"id":"Q794634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$B863F720-16D3-4975-929D-24DA111F316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a1d06ed85cb002ff60f8b4ae67069993114de0","datavalue":{"value":{"entity-type":"item","numeric-id":5241399,"id":"Q5241399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$3AFF2C5F-FAFC-487C-BF8E-4CA293343F22","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":"Q6589311$91DC78DF-E15D-4C20-91D2-CD3D07BD980F","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":"Q6589311$DAA2826C-1423-4314-ACD1-046900F6EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589311$F0054F78-7CDF-4E2B-AF6E-C8095C7BB2F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589311"}}}}}