{"entities":{"Q1863750":{"pageid":1874492,"ns":120,"title":"Item:Q1863750","lastrevid":48063097,"modified":"2026-01-03T12:46:26Z","type":"item","id":"Q1863750","labels":{"en":{"language":"en","value":"Kripke semantics for modal substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880393"}},"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":"Q1863750$FC8CC81C-AC2B-446A-AEFF-632E974EABC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"946aa9c44cf31d767054fe6a61562694a3ea93e2","datavalue":{"value":{"text":"Kripke semantics for modal substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863750$2283816F-169B-4D54-838F-0C0C66668123","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d76b8407059b0a5bc489e635edd82f0cbb8bed62","datavalue":{"value":"1017.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$1BA794E4-1165-4F31-9030-83BDFEAEB39C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f09a85b305b1eec738b233ad28262b8ed3f268","datavalue":{"value":"10.1023/A:1019915908844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$8ABC4114-2282-4971-B97E-CDB6DBEA85A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863750$1C71873E-6EEA-4523-B186-66FDE9D69BD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863750$0CB089BE-B24F-4144-B0A7-3A5C5DB98EBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863750$1B12F100-4C5A-4E71-8C46-7C5A44B0384E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$66BAF5EF-EA85-4B37-8A3F-A48C9DB3173B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$08E11301-8994-4D3C-A9B9-71D0C8E29B3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84451d4fe229102b9833ca1bee3ccd7648d5dd72","datavalue":{"value":"1880393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$2E8278D7-2127-4E07-B10C-F8CA21605BAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863750$8BA36879-7E1C-4383-9533-553D0D4995BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863750$5A4366DC-A244-4129-8515-F9DF09D52C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863750$86D7A3C2-E5EB-492A-A29C-8CC9EB4624D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da928b7b36887cfce3f37cd270323067693d56f","datavalue":{"value":"modal substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863750$CDF14454-1E07-4732-AC20-9A3E3B01FD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863750$567B4998-0FEB-49B1-909B-7D9322C96BD9","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":"Q1863750$FA057692-DDA6-483D-9BE2-BBB19B73F604","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"934b0d911471df4dfe669783de1eca92df69ef21","datavalue":{"value":"https://doi.org/10.1023/a:1019915908844","type":"string"},"datatype":"url"},"type":"statement","id":"Q1863750$75DD5EE5-1109-44A7-8BAA-CBE45C3FC232","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d62c785b231cd9d3323bb22c762b7443922f466","datavalue":{"value":"W1558962892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863750$4AD7A92A-CFA0-4709-AADF-FB4A21D3D7B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195b32909164168b01e2a58dfe0ceee5381be475","datavalue":{"value":{"amount":"+0.8621279001235962","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":"Q1863750$E2644BAD-C154-48DD-B2A6-E8EB484E13E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d395f5561c70edcafcdea8231721b8acc135bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4807689,"id":"Q4807689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b822c452b3d2eae9c6b2981f55d519ee6559823d","datavalue":{"value":{"amount":"+0.8228640556335449","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":"Q1863750$D6EBDB4F-1DFB-4184-832B-60D19D6F1515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333e45889f26d48033776ec7d10fcf25ef3f2a7e","datavalue":{"value":{"entity-type":"item","numeric-id":5718685,"id":"Q5718685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42ab6148dd09a9b577b51b05e6e1a5e321218aa","datavalue":{"value":{"amount":"+0.8004546761512756","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":"Q1863750$DEE79C08-CF8A-4C9F-89DE-2ADBE2DB87DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1d4267ae9ccb75c911cd4e2207c77deef960df","datavalue":{"value":{"entity-type":"item","numeric-id":484156,"id":"Q484156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c40fba564108aaec5033ec89485662057002b4","datavalue":{"value":{"amount":"+0.8001840710639954","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":"Q1863750$7FFCB4A5-2DCB-4FAE-B60F-EF7348AF38FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01638beac893c217e0851fac3b2684a0ccf3489c","datavalue":{"value":{"entity-type":"item","numeric-id":3840341,"id":"Q3840341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd0191c97f0ea7f0352bf6f1cab12b1d558488d","datavalue":{"value":{"amount":"+0.7950085401535034","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":"Q1863750$7B15286A-C9C8-42B5-8D54-979597D53068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1863750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1863750"}}}}}