{"entities":{"Q4444938":{"pageid":6474537,"ns":120,"title":"Item:Q4444938","lastrevid":48228703,"modified":"2026-01-04T01:11:23Z","type":"item","id":"Q4444938","labels":{"en":{"language":"en","value":"A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034304"}},"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":"Q4444938$681D461C-6892-4C52-8559-4551EEF5CB87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49cb63cea4a4f38a9da7c3d664dab65274dce124","datavalue":{"value":{"text":"A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444938$6A97DB5B-84FA-45C6-8D45-EDCC1A60D9D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47d298de8d1911cb8319e69153f12ab0d0d4b98c","datavalue":{"value":"1043.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$99D00E98-2B6E-444B-A6D2-C2A5D0F3670B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e93a0cd05b273179f9b07d27a043ad61db98b3","datavalue":{"value":{"entity-type":"item","numeric-id":860831,"id":"Q860831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444938$FD78F0D1-8EA9-4F96-8976-FEAA4E920A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45aad9737500cd5c37b6bc2df82a4228c748fd71","datavalue":{"value":{"entity-type":"item","numeric-id":3185768,"id":"Q3185768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444938$CA071BA3-1BBF-41C1-8947-D75E2875829C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4444938$112C56D0-6E92-40FA-95EF-508D74441DC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$52B1A46E-21F6-4D72-BDF5-242AB5DE6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$0DA947A9-85BB-4E36-B08B-2065F7E65649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$EAB79A73-1A40-468F-81A9-9607F2A45E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fc1d759ec8a5196c0e568c4463fc6f61cd9ed07","datavalue":{"value":"2034304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$EFDE2713-28EF-4E45-866D-5603D6001A19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444938$DCC2A958-C8F2-47C4-98B3-C3DBECBDEE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444938$1BCAD328-ED85-4EB4-95D7-1E120E32DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444938$6524AC87-AFDE-441F-82AC-6420983F0579","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":"Q4444938$69682EAA-3637-4FD3-99A7-7113751B1ECE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14777611a166ed735c04c23520d02b60ab8275bb","datavalue":{"value":"https://doi.org/10.1093/logcom/13.5.755","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444938$84DEB44C-65CD-49A4-A111-B1CE67880FC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cf5ba0f1abf6bb3d467c9fd2cfdb0424d90e93d","datavalue":{"value":"W2086000852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$EB018D0D-C780-4EE0-BE01-449B1E0905BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6293c3f5697607f59b92fda973d83ff3566ecb0","datavalue":{"value":"10.1093/LOGCOM/13.5.755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444938$065F4957-F84F-4B33-B680-E393DC6246AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444938$29210955-A442-44A1-A09B-6BF3CC66020A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf27a286aee00922a0d4ba6803d2b68fadbcdb24","datavalue":{"value":{"entity-type":"item","numeric-id":4823805,"id":"Q4823805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba055b77125e52c0ccec707c1eb8e50f47d92a1","datavalue":{"value":{"amount":"+0.8327254056930542","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":"Q4444938$AF185E4E-0D9D-4E83-AF97-B1AE569440DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059c8c7934e7ba5a4a9df952fb3706e08ea9c2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4793029,"id":"Q4793029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a67a0b625057f7f0df29116f9afecb82428c13","datavalue":{"value":{"amount":"+0.8071699142456055","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":"Q4444938$4DD9AFF9-556D-4E78-A58A-F42B4636ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90ab663875c7c8317669cbfa1f597cc59f7ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5294019,"id":"Q5294019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a67a0b625057f7f0df29116f9afecb82428c13","datavalue":{"value":{"amount":"+0.8071699142456055","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":"Q4444938$1B65F6CE-6F70-4790-9F5B-64A67E8B7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8955ad2728fb4142bb2b1f5a782a80901db0b1d","datavalue":{"value":{"entity-type":"item","numeric-id":5365487,"id":"Q5365487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ccc2bd3b2f4e5a9e38f4b920734fc84dc71911","datavalue":{"value":{"amount":"+0.7718717455863953","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":"Q4444938$AC798F10-0F52-48C2-B416-D8127CF26C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafdfe3000a0a669b6fa96ef048cb7bd69fc5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3536089,"id":"Q3536089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02cf5f792e04a42ca878f644eb56d59c5c50ec22","datavalue":{"value":{"amount":"+0.7672761082649231","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":"Q4444938$0A9C449C-4E27-4E8D-8239-2B060C0C051C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444938"}}}}}