{"entities":{"Q1813231":{"pageid":1823973,"ns":120,"title":"Item:Q1813231","lastrevid":42216637,"modified":"2025-06-02T10:03:06Z","type":"item","id":"Q1813231","labels":{"en":{"language":"en","value":"Natural deduction in normal modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818"}},"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":"Q1813231$FCAB5B63-5875-4CD7-9A1F-1482E77CE6DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b12d4260c578fb87fba3c3783a9db2c67d2f9919","datavalue":{"value":{"text":"Natural deduction in normal modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813231$BD6C9A4F-3F64-47C0-9224-BAC2ADD90C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f50a89ba0e35f6ee348b34bef778a53eb221d4","datavalue":{"value":"0737.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813231$D545B479-318C-4CD4-92BA-437540440B44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc3a4e082dc59d710f12ddaae8f2bd6636587557","datavalue":{"value":{"entity-type":"item","numeric-id":1813230,"id":"Q1813230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813231$228E271C-AAC4-4FFC-B6C2-EC925E18B4C5","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":"Q1813231$EA747DE2-C745-480A-8183-6DD50146B2A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813231$37FF8310-8732-4361-9BF6-DE75529DD4E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813231$4E1BEBBE-EF18-4F8F-8044-B6DF7EE76496","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15171db89d03ac16c16105cc9e2618cd012b206","datavalue":{"value":"5818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813231$9124694A-C2F8-43B9-8D13-C2D2F1562294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813231$996EA232-484E-407C-847A-3C52B80EF6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813231$C7CA695E-13F7-43A9-848F-3E66263AB67C","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":"Q1813231$52112EDC-B1B0-4D44-B574-F6507D4BA661","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed26e1cfb577add3d274fef9b64c9a105576c498","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635420","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813231$A818BB06-EE30-4567-BBCB-813BCAA9BF74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd60cd07e083d26342679e752cca3fa64262c059","datavalue":{"value":"W2058117811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813231$EC07394F-A2ED-4B3E-B3FF-5C2FCC3C5B0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a638edcb09b05a46c8dfa77ddceebb01df51b65d","datavalue":{"value":"10.1305/NDJFL/1093635420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813231$96AAEB1A-39C2-4F00-84DC-3B8ED6253AF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce256adef124d09eb756ed038608701398011fab","datavalue":{"value":{"entity-type":"item","numeric-id":4294473,"id":"Q4294473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0c750dee2cc561f5c4bccfba8c44f0b06b9ce6","datavalue":{"value":{"amount":"+0.9631537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$FE50B9C3-57DE-4BE9-B152-2CBFFD764775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa92bab41f905b0dc8278a35bf7f6a7ebf2a41c","datavalue":{"value":{"amount":"+0.9556143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$E5C2D0B0-E094-4528-B741-C1961847EA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96094b309dc39503e057679a26762867285c95ae","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb9efe74a145be33fcf252eac00250e5bf400da","datavalue":{"value":{"amount":"+0.94362384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$81B39970-4EB0-4D77-A8E8-0E56105C8583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c2eb7db2c35f65e4ea2fabb5bf93e64d9f1829","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3057f3c26aa3845d7ac08e8f63edca18842ab9ca","datavalue":{"value":{"amount":"+0.943071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$F0F604FA-44D8-41AA-9D67-BA7E37F0E8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b631734a3789cd8c01b084f05609022a9c77538","datavalue":{"value":{"amount":"+0.9256456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$C7A6C7C4-8E97-47F3-A22D-0DE587F3B865","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":"a49ce52e3b11d9db384b7528c3b91070a2e1007f","datavalue":{"value":{"amount":"+0.9237421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$16EE3E1B-F50D-40C5-B73D-87B52BE6C77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8866ad64d16bea46f504b13d9ec742c68aceea6f","datavalue":{"value":{"amount":"+0.92295706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$2FE6AB18-AB99-4837-9AF4-091BE0FE697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a111c286e676e1cd608438a57e2afee33d918861","datavalue":{"value":{"entity-type":"item","numeric-id":1698339,"id":"Q1698339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854f00a82562cee0dd8636ed332c19b7084a03e4","datavalue":{"value":{"amount":"+0.92098117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$B20E13C5-CA67-4C74-B656-B8AAAAEAC495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588c61da762feaafcb5e5333c0e794dd0f2c1620","datavalue":{"value":{"amount":"+0.9200127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$5D5314E2-0EDE-45DC-A78B-F567A5409B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e84e17c83e1e928e28bacf619262e8d142f856","datavalue":{"value":{"entity-type":"item","numeric-id":3550857,"id":"Q3550857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c71025dd22297cf1f232c06e59564689880fad","datavalue":{"value":{"amount":"+0.9190967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1813231$EF86D55B-1F9D-4712-9B16-537F883D06DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1813231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1813231"}}}}}