{"entities":{"Q1756595":{"pageid":1767337,"ns":120,"title":"Item:Q1756595","lastrevid":53310686,"modified":"2026-01-24T17:09:11Z","type":"item","id":"Q1756595","labels":{"en":{"language":"en","value":"Axiomatizing Ja\u015bkowski's discussive logic \\(\\mathbf{D_2}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996651"}},"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":"Q1756595$FE74F4B6-3BF9-48CE-89B1-965D302E4CC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20f6fa9f07a0d9aeb2f3071b12fc22b879b6c743","datavalue":{"value":{"text":"Axiomatizing Ja\u015bkowski's discussive logic \\(\\mathbf{D_2}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756595$091F53D1-6C05-4D22-B589-0A2339B44530","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b4fd271e6312dd7a39979d343fc21bc5bd3a9f7","datavalue":{"value":"1437.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$84C09D9C-2435-42A7-B78A-E38FB08047B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e62468e1e1685acea493f8afe60e6952c826d31e","datavalue":{"value":{"entity-type":"item","numeric-id":495841,"id":"Q495841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$2D49BE36-F8DE-42B7-B6ED-D50A785BC1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$1290AB61-C559-45DE-9381-F6FF4224DD87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$EBC503B9-F6F3-41BE-99F2-D93B4D1A7920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756595$257B10B7-6A86-42DB-96D0-81C1C359BE04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$08AFEAE6-246D-4DC5-908A-7C3BA7558110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$B177D9B5-6131-4398-A928-03832CDC9F97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef01914572229c2750f1a3fc47234a6beb2dce28","datavalue":{"value":"6996651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$090DEA1D-9FAF-4427-8184-AE167324F71C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78df01f96494a000560b23c37f0b9e596474cc01","datavalue":{"value":"discussive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$82C502FE-E719-416F-AA8B-136678A4380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b317215c75c663b5a99df8041ca36fff0a1ae0f","datavalue":{"value":"discursive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$81E43C5A-D3A2-4BF2-9CB4-025ABD43B6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$E352F29B-A7D1-4F21-B739-C6AE2CE15404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$4968A0C8-1CA3-4D6E-8B1E-C0033B255EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada9d4ba2b7cd04791f080573af454b13cd78a81","datavalue":{"value":"counter model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$3858004B-02EA-4797-B3E1-7DA2B921BD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f75d418c6568ad1ebad624da84f2b623fcfbff","datavalue":{"value":"matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756595$13851D17-6B69-44B2-8567-683FFAA91ACC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$D8FED5A1-534A-408E-AC5A-FEBA3F8BBDC4","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":"Q1756595$000A0D87-2BC2-43D2-AA46-BE9F6F68F78F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e07436eb3f858724a23df81a32699f957da380b0","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9780-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756595$6FCFF876-CFE5-4E2C-8CD8-5D80F6AB27D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09d8b7d4cbdd05a1447833ee4a484428c28a1a9e","datavalue":{"value":"W2790422355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$8068DFC2-8668-4AFD-B5B9-030AB278F4F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafcc76ace94d1eb34c3defd6221bc46b128bac3","datavalue":{"value":{"entity-type":"item","numeric-id":3909036,"id":"Q3909036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$138FA223-C226-48EC-91F8-B9C6224C31A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9b202bff0cf7eba597e09b95b045e94fb58f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3592817,"id":"Q3592817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$17CCFDE8-EEC3-403D-8283-B2E704DB4511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c460d093ad242599b7613cde7ee5a73e971990","datavalue":{"value":{"entity-type":"item","numeric-id":866500,"id":"Q866500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$5E68850A-A430-4A60-A23A-6137691A6E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b07529240fe363ba65b23da2a6ab89dfb66077e","datavalue":{"value":{"entity-type":"item","numeric-id":5411426,"id":"Q5411426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$5467A1C1-2238-45E6-A92E-000EA65D1E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec4d0bd1bcb195fd4c0fb67264897ed25467f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4071731,"id":"Q4071731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$BB5D132B-410B-4F58-8AD2-634288E62061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521cf33c03676b16c759cff23cb9262b5fadf31a","datavalue":{"value":{"entity-type":"item","numeric-id":5551425,"id":"Q5551425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$505C5D9B-A32C-4B8B-8C4D-115A4463D411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c0ffcf855956d109010a6adf7a98c00fd70f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2554685,"id":"Q2554685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$172BBBE7-0A7D-4182-9C8C-420D040E8F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f036329aff0c7cbed948abf46125228d227be168","datavalue":{"value":{"entity-type":"item","numeric-id":3149166,"id":"Q3149166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$CFFFECC0-E54E-4E26-8195-A83F4E3444DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d830b1178c1930029489271b3d7209ba649657","datavalue":{"value":{"entity-type":"item","numeric-id":3149167,"id":"Q3149167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$E6D010A9-3121-43B5-AEEC-045BB54E516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba55a5daaff183cfbff14bd80436a38a9ab70e4","datavalue":{"value":{"entity-type":"item","numeric-id":1221748,"id":"Q1221748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$C727B7B9-8500-4578-BA00-9DDB2EF1BF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64582f91724db2cb6825c02ad910a689f3d2678","datavalue":{"value":{"entity-type":"item","numeric-id":1212927,"id":"Q1212927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$B70CBB95-D893-44FB-B410-BE57914E4129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a0614d41f08445dc173495dbae84129c2b6f5bf","datavalue":{"value":{"entity-type":"item","numeric-id":1220919,"id":"Q1220919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$8B6676F2-2979-4DB9-A78D-68B9350C836E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a110e195c1fba959c58d56324ce07abb7ab7e1","datavalue":{"value":{"entity-type":"item","numeric-id":4132491,"id":"Q4132491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$6F7A9FC8-1F49-4E82-BC0A-AE3940F44F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24309a16216e506e023d38e45e0d25f9d9fd0059","datavalue":{"value":{"entity-type":"item","numeric-id":4093414,"id":"Q4093414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$3B4DF620-FB07-486F-831D-0F4F7B16E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0933d68b329bbf304682ad3a23465e7fc24182","datavalue":{"value":{"entity-type":"item","numeric-id":4803971,"id":"Q4803971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756595$BA84E954-97D9-4E94-93CE-3BB81812F2D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f2ffd138aa506ba9cba8c2043872cd01774f11","datavalue":{"value":"10.1007/S11225-017-9780-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756595$19CCD07E-AD1D-4448-9564-379C65D63A5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d1214cfa539b2c850f109b8f6d1af9c31e80e2","datavalue":{"value":{"entity-type":"item","numeric-id":4803971,"id":"Q4803971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df68fed3ef33329c132640bdbe860fd2e37ecf73","datavalue":{"value":{"amount":"+0.9109811782836914","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":"Q1756595$94A14EAE-3F2E-461A-8ED1-17D6975D01BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9d8910ac463e4af104e1d91c605842dca55c64","datavalue":{"value":{"entity-type":"item","numeric-id":866500,"id":"Q866500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9beb61917164e4a74afe7872b2bb43611a58e6a","datavalue":{"value":{"amount":"+0.9109809398651124","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":"Q1756595$7ACA86CD-DB4E-45DE-8718-4F1173433464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690c7f6cf397791ae5022bcf04c1f85100ad6e91","datavalue":{"value":{"entity-type":"item","numeric-id":5411426,"id":"Q5411426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f129355d705d82cd0850c9574668dc0a5f4a9aec","datavalue":{"value":{"amount":"+0.8483144640922546","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":"Q1756595$4EB585CF-D330-4873-9FDE-D49A938330DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8a40f57a793d4256096360af0024facb8c44d4","datavalue":{"value":{"entity-type":"item","numeric-id":3592817,"id":"Q3592817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3436d8ed8a771af4ef4a478223253446dfa60f8a","datavalue":{"value":{"amount":"+0.8317687511444092","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":"Q1756595$4E9C4778-EDF1-4E2F-A57F-1FF1CA358B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacf0ee48cf61647bf3461db8d242d4d903c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5411431,"id":"Q5411431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d00815f5dc01c13dc4e51eb3a998e0543a0e18d","datavalue":{"value":{"amount":"+0.8086289763450623","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":"Q1756595$7896DFFA-F6FC-43D7-BAD6-1DF0A0196D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1756595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1756595"}}}}}