{"entities":{"Q3787970":{"pageid":5817876,"ns":120,"title":"Item:Q3787970","lastrevid":52795550,"modified":"2026-01-23T12:51:25Z","type":"item","id":"Q3787970","labels":{"en":{"language":"en","value":"Weak Logics with Strict Implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051559"}},"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":"Q3787970$F9D7CD1B-4474-4934-BEEF-F76D7A78DA29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"655d10284556686c522ec8826cd25b59d39b2ed9","datavalue":{"value":{"text":"Weak Logics with Strict Implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787970$3CDC777E-5123-4367-9FA2-61B331CF3D93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b91f20f7d429b6af8cc1b163e349927ab649c1aa","datavalue":{"value":"0645.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787970$8AAF2FE5-9ECD-4F9F-83A6-FE6710951889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d68aff69cfae7de4ec58702322f4cd709e9314","datavalue":{"value":{"entity-type":"item","numeric-id":1092035,"id":"Q1092035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787970$D510B54C-CFCC-46ED-B8DB-20ED558802A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787970$BAEB1600-EAA7-421F-8A0A-5F5197B12083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3787970$3A0B152B-AB59-44D3-973F-99A2F6766AF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787970$6C92A3BF-2B87-4E80-816E-35DE2D776569","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f1756de11c0ed39368a24f19ca9c1bba006f13","datavalue":{"value":"4051559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787970$315A46EC-1F82-4188-A1E0-31B058773F84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$113A7C0F-414B-4547-A744-CE49C85B3590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f91d84cec213e9f2f9942d331852b0a7b372faf","datavalue":{"value":"sublogics of intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$41F1C5E3-F52C-4479-8D6E-616254595021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c7acf48c6d133349e6cb62b250b12fc8e3cdbb","datavalue":{"value":"weak logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$8B1B5278-052D-4CE1-A301-76CE3EB9F3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$430D0CAB-39D5-43B8-A67F-224642D63CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$5A90730E-95F2-4159-8910-C82E2F07D946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$CEE57E5F-CC80-45B3-946E-7426CC85AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf62870eca55d86dd453a2d1ccf239970f8b97cb","datavalue":{"value":"general frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$E1E81BE3-216E-48C4-BE3A-D99BB7ECBB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$E5083996-B142-417C-A9D9-2F2BEA770141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787970$C0825EDE-39F3-4A41-8A98-DACFC9CE31A6","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":"Q3787970$03002513-1157-4B57-BBCA-8D0E5AFCE865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81358699b5efb550afa79ad7e74daa2e2a0c0e6e","datavalue":{"value":"https://doi.org/10.1002/malq.19870330503","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787970$59B561A5-269D-455B-9366-355360EEC0FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfa64eee26e9322e6bba9d56eef95d2d5fb72c06","datavalue":{"value":"W2069357662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787970$36A019D7-9CCB-4974-A05A-E65D0694DB7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730e5b26ad86e3a47bd68f41884572a0785c6e96","datavalue":{"value":"10.1002/MALQ.19870330503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787970$6967856D-BB31-48DE-97C0-1A3FFCDFE6B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a01ce37ae359ddd5f27abaec682c513818afd2","datavalue":{"value":{"entity-type":"item","numeric-id":1102265,"id":"Q1102265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ffe5ae5ff6f1dd0c10111e7b19351ff3e015b0","datavalue":{"value":{"amount":"+0.8297398090362549","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":"Q3787970$A4CC0A7A-D48B-46F9-9714-0888DF388831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a824f51322394bfbd9ee1e51fc67d0e6ec90f24e","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63d0b4edc8022b972433aa141d2171121598d66","datavalue":{"value":{"amount":"+0.8123990297317505","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":"Q3787970$A8357CC8-6B84-42E5-8387-19218A79C449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417a19b7baa6698aca67a8686b9243372101b1c0","datavalue":{"value":{"entity-type":"item","numeric-id":5460206,"id":"Q5460206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37908df319f330f3602a04832503f2972b1cd57d","datavalue":{"value":{"amount":"+0.7997075915336609","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":"Q3787970$8945D1A5-158B-479A-A1F4-6F79E6B5C1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d98d8677127290968b7609e9e94b31c989583d","datavalue":{"value":{"entity-type":"item","numeric-id":4415083,"id":"Q4415083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc07766e2857cfa7944c455acb686279038a12ee","datavalue":{"value":{"amount":"+0.7977468371391296","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":"Q3787970$780D9887-FA77-4BF5-A4F7-EB1BB1E7E778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59300a1708ac7bb55411c49f1b207bafbddd64b5","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00ec043dfe57523f17146ef4d58979fcc98d0e1","datavalue":{"value":{"amount":"+0.7877583503723145","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":"Q3787970$D6721671-D7E5-4873-9413-07D411E43986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787970"}}}}}