{"entities":{"Q2303619":{"pageid":2314362,"ns":120,"title":"Item:Q2303619","lastrevid":55373107,"modified":"2026-02-17T14:43:40Z","type":"item","id":"Q2303619","labels":{"en":{"language":"en","value":"Substructural propositional dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176950"}},"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":"Q2303619$AC3D75D1-1386-4879-8FB9-523B55CF9478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b343e4786f933c885722438c0fbd6d1391237b79","datavalue":{"value":{"text":"Substructural propositional dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303619$FA3CE0C1-245A-4079-852D-4C9C0C25B171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2616e9e1610b0cfee316a6ed51cd91cd39e5cd61","datavalue":{"value":"10.1007/978-3-662-59533-6_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303619$573FDEBC-2C73-45D1-92AF-E23EA3E8356A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303619$B588263D-5966-4078-8C41-65F6D693E986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303619$6B02A6A9-C1D6-4B9E-8A28-BEB0CA714A4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303619$753E1026-60DF-4AD7-BC01-A3E72A6623CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"100302f1984c6e577411316aa7969973466ab15d","datavalue":{"value":"7176950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303619$855C5663-D9C1-4755-9DDE-43C940EFF571","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303619$A920606F-F5F9-409B-AC5C-8848A45810E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303619$DA1D9ADD-E127-4D1A-92BC-E2150774B8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303619$3FB5C125-C7A4-45B7-92A9-1F5A7267C1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303619$D8FB77F7-C71B-4BCC-8563-621086A1247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303619$3C83896A-C8C3-4A40-A4B5-FA5E3A35045F","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":"Q2303619$33A7A56B-2744-4FA8-B99D-B7AB80661A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"600a4965781ec5d5a617915c960522e92e1f807f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-59533-6_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303619$620BBAF4-49CD-4895-8192-770F20F9C240","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ed9bb3c721d8ef6d24c708d06d65fc5a49582ea","datavalue":{"value":"W2952337775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303619$5BB0A179-53DB-4CFF-BDFD-510FDB58335B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc875e8d5183199c8cc5e766a48a1f8abc4ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1006bf6edf7e1fdec718918146823888097ec93","datavalue":{"value":{"amount":"+0.8293590545654297","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":"Q2303619$A2E709A4-EF47-4466-8A57-5E40234695E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43fa53006ea0e21c190b6d3d7204a9f18b5c646b","datavalue":{"value":{"entity-type":"item","numeric-id":4511319,"id":"Q4511319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9bf00d42523418b7bc7b9a7fd09dd5479b28953","datavalue":{"value":{"amount":"+0.8011152744293213","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":"Q2303619$D7AD4AD8-CB0A-41CC-8386-87BA898DE175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58ae93a2d012429d68bbecfe8d1367e8b44c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5014054,"id":"Q5014054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448841c36a8c533ba16af7f4946c469cdf440ec3","datavalue":{"value":{"amount":"+0.7992961406707764","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":"Q2303619$A526F225-BDBD-4EAA-81F5-7293238F849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc6993d4c2ee70fa86e051406983750b72b063c","datavalue":{"value":{"amount":"+0.7984749674797058","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":"Q2303619$81F153E7-5995-4E85-ADDC-A68C907BD5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0fa55d5312a1d70d4a3e8917164edba8e2a018","datavalue":{"value":{"entity-type":"item","numeric-id":3760521,"id":"Q3760521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c2d48401b893ab78e573b934ce2317de6311e6","datavalue":{"value":{"amount":"+0.7957995533943176","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":"Q2303619$F5EA854D-EA60-4718-88FD-1E7D58F84820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303619"}}}}}