{"entities":{"Q5351966":{"pageid":7381540,"ns":120,"title":"Item:Q5351966","lastrevid":41123058,"modified":"2025-04-18T09:29:05Z","type":"item","id":"Q5351966","labels":{"en":{"language":"en","value":"Sub-classical Boolean Bunched Logics and the Meaning of Par"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767604"}},"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":"Q5351966$84030FA8-6046-4A1C-A4EB-38EF793D6560","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1671f48584e0da8d377962957aeaa5959dcd1567","datavalue":{"value":"1373.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$3C59C8D0-C12E-4C9F-BDC6-5C939C2C0021","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351966$DC56D6E1-8B6F-4E38-8210-D35A3BFB64C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f67e4f16065570fc730f998e4456a221f6f339","datavalue":{"value":{"entity-type":"item","numeric-id":992516,"id":"Q992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351966$ECF238BB-C276-4618-8701-553072E57155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351966$B5F696E3-9826-40AC-928B-EDD48ABA3C80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$AFA3B2E0-46BC-48C0-AE58-08CFBC45B46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$BF4B3C67-B6F8-48F9-9BDB-60D70D2FECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$E0B64B82-F2BD-420A-9D2C-E3642823E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$5FB524C5-94C9-48CE-A5D0-F3155F8FBA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$3CB6EED4-EC6C-42D3-B7B1-B2743B4535E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"527f25a0f28497a6f8a0765ac98fc7101ba45a78","datavalue":{"value":"6767604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$F25B4CF8-CF67-4DD8-BD72-554D65447B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af008ae73cdcf600246ab1a644b6e9544d4737f6","datavalue":{"value":"bunched logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351966$2927CF7A-AE1C-4074-941C-5F1AAD77CD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351966$8DAF69F6-F41A-40B9-9A70-1C5FBC1CEAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351966$792F1A22-7EE9-4DFE-8902-2CA4FC148360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351966$772B3913-D625-40D1-B4AA-2CFFA85A4AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351966$0140F63E-00FF-4F4A-B85A-F7CC2AA74753","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":"Q5351966$0AF1CD08-C06D-4AB5-A381-DF854DAF8C0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563bb4f27da2acb0c27edad321d4c7dc323cdd29","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CSL.2015.325","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351966$F8206860-48C2-44C8-AF43-58A03BA60DFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70f18b16038e58aeaace487dcdb1b71d1f114179","datavalue":{"value":"W2257979093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$A25CB46B-1E51-450A-BBE2-EFA847E031F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d597e88b04e74ee2261fd6a4ba7b4496899fc2d","datavalue":{"value":{"text":"Sub-classical Boolean Bunched Logics and the Meaning of Par","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351966$43CDC7D0-3DC6-4DFB-93AA-7E6E5F162762","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dc0027c6a7da2308b1a1142dc4953e543ce72a","datavalue":{"value":"10.4230/LIPICS.CSL.2015.325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351966$F3403A5B-D35A-4729-8708-A4EC6032DF80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed965a7f7a8e9aa2b669155fb99d304f9b3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":4912991,"id":"Q4912991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d1ea54aa243b232557d642d3ac98aed7acc79e","datavalue":{"value":{"amount":"+0.88913846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$1A5AAB9E-705C-4733-8CA2-2F9FEB5852E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9c3740dca638b0ae627b3d6586ea14e5437b60","datavalue":{"value":{"entity-type":"item","numeric-id":4982104,"id":"Q4982104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb9cbed17fcf053bd6690a553bd442cc8767a42","datavalue":{"value":{"amount":"+0.88015705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$61BC7D1B-1901-444D-9BDA-CB9171BA70EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb888f3c8c83d639d6ccd3a841bd736b8d0d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":4207885,"id":"Q4207885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f5c6fae7c52d39a76204a7a220e7c7a07c6804","datavalue":{"value":{"amount":"+0.87238914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$3F84C4A3-0CCE-4C7C-9A69-C46C699D39AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9284290d911c433187dac6efea8673d5f3d15e","datavalue":{"value":{"entity-type":"item","numeric-id":4856962,"id":"Q4856962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87657f3269ecf1fd18039b4a8910dd9a4ea55e","datavalue":{"value":{"amount":"+0.8694443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$030295EC-1F01-4749-9E15-99ED3FB2ED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6114bc6aa57f7f5594b06847ed8a1f0ac10c8408","datavalue":{"value":{"entity-type":"item","numeric-id":4440556,"id":"Q4440556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87657f3269ecf1fd18039b4a8910dd9a4ea55e","datavalue":{"value":{"amount":"+0.8694443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$A02719C1-05D0-4B27-B238-A1E3589C9A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e94afce1f61cd758fca6361d45a6aeb572858902","datavalue":{"value":{"entity-type":"item","numeric-id":2301322,"id":"Q2301322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1a024f706f78b54f698e797b0e11390053443d","datavalue":{"value":{"amount":"+0.8694045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$16B68C72-E638-40FF-9D2C-28CB51A45EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055b3b3e7cde54f5a266158e1b512605dc139444","datavalue":{"value":{"entity-type":"item","numeric-id":4236373,"id":"Q4236373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3115232c0e74af002f36d26e32b6ce779395280a","datavalue":{"value":{"amount":"+0.8692365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$3D8EB058-1B4A-4754-BE03-DCBAC1A4756B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"220b35dc6551c53fbbe227177ab7c4742afbcdf2","datavalue":{"value":{"entity-type":"item","numeric-id":2938481,"id":"Q2938481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f8fb8e1a77f7aa3a276a682e9f12034e540524","datavalue":{"value":{"amount":"+0.86918664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$D5E56F4F-0C7A-4B02-8F85-468164CDD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70a87c6c1182711be7aabf4f61f35587f2e86de","datavalue":{"value":{"entity-type":"item","numeric-id":701297,"id":"Q701297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207c8328941460c47cb871cdee171a4cac06a65e","datavalue":{"value":{"amount":"+0.8689877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$4E932ED7-3E87-4658-885F-5D966A3212D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f3b63568588ea8bddf18686177069d8a466164","datavalue":{"value":{"entity-type":"item","numeric-id":3435252,"id":"Q3435252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed6a1d8115c04868ea292bd63ed7fd82ddf60ae","datavalue":{"value":{"amount":"+0.8688441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5351966$6B14C1CD-4720-46F5-870A-4ECE7C9F00B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351966"}}}}}