{"entities":{"Q3410675":{"pageid":3421378,"ns":120,"title":"Item:Q3410675","lastrevid":80414345,"modified":"2026-05-06T16:08:31Z","type":"item","id":"Q3410675","labels":{"en":{"language":"en","value":"A new S4 classical modal logic in natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076719"}},"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":"Q3410675$CFDB8CD7-F18E-4413-8FA0-36237DF595B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"520993334012e085b2aa322674b3508cdbd41777","datavalue":{"value":{"text":"A new S4 classical modal logic in natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3410675$B3DE49E3-D6F5-4388-8D17-B4774A6C4979","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71aa47b2c94430c55dc53100a0f1f40c671994e7","datavalue":{"value":"1109.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$DDEB748A-70DF-43DD-988E-8E049C8E1A81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07164649ddd26dcfabd72f631a56d8e0814eb8c7","datavalue":{"value":{"entity-type":"item","numeric-id":3410674,"id":"Q3410674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410675$9D867066-DDFB-4E89-AE81-8BBC058EE3B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410675$21A4FBE2-8A54-4C85-BF00-32F91588E8F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aa3717a7a4c351354df3352e5de09dd32741586","datavalue":{"value":{"time":"+2006-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3410675$2E30AFB0-880F-432C-979D-183A286BE9D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$51CA2A35-6CAA-4006-85FF-BB34629A9F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$4A4BC78B-50D5-4A2A-AE99-03E8F7F4566E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81cf4097598d97c088623707c2007c43fa7ee07e","datavalue":{"value":"5076719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$3227B036-D7F3-43DA-8E33-4CABEC3EE1E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48bd870568d4c9b25b0d29ca3aea8ca104de028","datavalue":{"value":"S4 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410675$162E3E4B-A1C8-4CA2-A299-01F5A2A7749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410675$03B1898E-35FD-482E-8703-60534DA28C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3410675$A402BA6A-B13A-4582-8243-1AA8A1738723","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":"Q3410675$BDF15F69-42B0-4DEF-912B-4895EA537F2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfdb1f9dc7edfe9a044a45823821cdca4e0e6444","datavalue":{"value":"https://doi.org/10.2178/jsl/1154698578","type":"string"},"datatype":"url"},"type":"statement","id":"Q3410675$E04E29F6-272F-42B1-A1F5-8A8591F88664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e574d47ae1c0dc5ced5e7597b9130fd4cd090c10","datavalue":{"value":"W2001481147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$1D37381C-5EE3-4852-8959-3A19666E3E3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410675$007741B9-1456-4574-AA9C-578D2EDD1C01","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":"Q3410675$B40160C6-F42B-4979-95A3-D5D5AFD9C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3410675$D73F3396-D2CF-40F5-989C-8407C585FD82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"176b65af1fd4d74ba769fbe87daa5673bb90205d","datavalue":{"value":"10.2178/JSL/1154698578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3410675$54D43D96-2EB7-4105-8758-CA839686F73C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa2766298d4a67b56a1f300df3b109a9b40f45f","datavalue":{"value":{"entity-type":"item","numeric-id":5704814,"id":"Q5704814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce990d46013f247eeeefac2c3b0887f58a65803","datavalue":{"value":{"amount":"+0.8705002069473267","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":"Q3410675$A650C236-0566-419F-B9BD-095B10B35E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d18e079b6e997468bbda64a0f43329bed24d7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2478553,"id":"Q2478553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce836c185fa33b64dc4ba15344f0cf98cc3c80e6","datavalue":{"value":{"amount":"+0.86011803150177","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":"Q3410675$F58159E5-90A5-451A-8F32-EF89DE48819D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a236dd4a950afbad6ad4fd292dfce0becd66ca84","datavalue":{"value":{"entity-type":"item","numeric-id":1758660,"id":"Q1758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1062d7c3c33706f6cf8808e1b743b5b259ebda","datavalue":{"value":{"amount":"+0.8523954749107361","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":"Q3410675$5865EBF5-38B9-4434-A3AA-B3A775F00F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705f09eacb69a7f821a55d3261d13f15e59dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109df556c90121145edc8e98b2ae89555813c4a2","datavalue":{"value":{"amount":"+0.8458924889564514","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":"Q3410675$ACD36025-DDFF-4A6D-BADF-4D6A6E3D7933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9e755b509a6792e0bd8027b853222e682236c6","datavalue":{"value":{"amount":"+0.823952853679657","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":"Q3410675$B71D169E-6887-4C89-BA7E-C9F3108AA98A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new S4 classical modal logic in natural deduction","badges":[]}}}}}