{"entities":{"Q4933590":{"pageid":6963172,"ns":120,"title":"Item:Q4933590","lastrevid":47906818,"modified":"2026-01-03T01:27:27Z","type":"item","id":"Q4933590","labels":{"en":{"language":"en","value":"POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5799564"}},"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":"Q4933590$46969B76-6C4A-40B5-BB72-10E02A3A5D9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e04cfbc9cadb49f2c709b56569a0d0be22213e63","datavalue":{"value":{"text":"POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933590$DD44FADD-6F72-4351-9B0D-216BC2001511","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de5adeb6307b414513e0148bf71e66f182cd9320","datavalue":{"value":"1211.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$87AC4E2D-42F3-4405-8AA4-14CC6EFF9E6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860b3279adf734d4686dee1e8e34096ebd08755e","datavalue":{"value":"10.1017/S1755020310000134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$6F85930B-684E-4429-981E-506BF4B92D49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d727509a11bb59658cf105c2824b79eed66eb9a4","datavalue":{"value":{"entity-type":"item","numeric-id":388205,"id":"Q388205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$C34B9890-B0FC-4048-B347-8B378D8ED553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$7F59F9AB-5DBB-499E-BF21-82A22F00D200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$F8BBA189-421F-4393-92B4-3BF1C6415848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a983242c975b4deb86c5222ea4307df24d44000","datavalue":{"value":{"time":"+2010-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933590$DF25196B-2F2A-4EF1-900C-ADB8DE11C25E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$C68B88C4-B709-4478-8B47-464D1FEA2F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$D32A4FCA-0F50-41A8-91F5-1DC34447A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$14BE5399-44D0-459D-9426-A3F83BEDF62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$60E029D7-D138-41E1-94B8-D2F517F29C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2ddb805074c5ed36d37ed9d109eeeb5f7cdba41","datavalue":{"value":"5799564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933590$75696567-F882-4C2B-B7EF-7778D7C8B9F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$61130781-1769-4F34-9BFA-6FAF5FDC394E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa795aeee3ca761344ddad9e267c5d257d7309d","datavalue":{"value":"reasoning in multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$53536C7F-C87E-4A7D-9B0E-A4EEAB985D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$6A137255-DED3-4C8A-BEEE-3B2AD0C07B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$183E2D14-3341-4451-B3C7-6117407C56F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$51C9FB6A-A231-4B33-A032-B9976BEDF954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fd89622baa3211872f98f52420823ad1ef866c","datavalue":{"value":"muddy children puzzle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4933590$95279464-4D15-4BC4-B354-00227EB1A4FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd396a436a0a8d52490e1718a2ab404deb09e62f","datavalue":{"value":{"entity-type":"item","numeric-id":24296,"id":"Q24296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$DC984080-87C6-4FDB-9EFC-C090A1BB2CCE","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":"Q4933590$42D4B0AC-442F-4BF8-9919-F000B2992384","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a8b22b76006d367e5642abfc53633d8af4d85d","datavalue":{"value":{"entity-type":"item","numeric-id":833039,"id":"Q833039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$28BB61D8-301F-4456-852B-F4FCC3D2EAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1425a12965566c8c9ee3aae150806000d48a7","datavalue":{"value":{"entity-type":"item","numeric-id":2805170,"id":"Q2805170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$CB4F690D-4888-4FE9-9457-C8FF9A06F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9104aa40a7f458fa857fb1b5349531e2916c4993","datavalue":{"value":{"entity-type":"item","numeric-id":4392660,"id":"Q4392660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$7E3E24F5-A148-4B0B-8100-49D9F82AB5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$D3570393-6ECE-4CA6-B7CB-943BF11308A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$83A60D25-A92B-4B26-AF40-E5F973EBE26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8c9c4afe4d766867c34bd67e4073b8db9f191","datavalue":{"value":{"entity-type":"item","numeric-id":4842279,"id":"Q4842279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$7AD5E003-500D-49B4-AB23-39D434FCBB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$B916E326-1F84-4B64-830F-4D8BE2D1AE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89108f8d5e7b8a9a6c10b9a1b4f1677c89806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4934881,"id":"Q4934881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$07A86EAA-55DF-4AE1-9A1A-8E9CCBB801FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$E5825409-5CD7-435B-A664-D9EB94C8309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$6BB5EFE3-0B86-4E0C-89F6-A8E4B64596BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$7E3881C7-CFFD-431F-99F4-1B531514AB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$FE7A4DE8-000E-4F77-A566-52401B25AF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334936aa136fd6e6bb0d4a8a36cd728182312d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$FC01C3AD-62C8-40C0-96A3-F86BD11B4F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155be14eb1d5d10326e94237289a5060442e6361","datavalue":{"value":{"entity-type":"item","numeric-id":4982122,"id":"Q4982122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933590$9672209E-4287-419B-8DEA-01ABF7CB268E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a57c1a1c441f5ad01c91ab2cb489c8a6615f503","datavalue":{"value":{"entity-type":"item","numeric-id":5275104,"id":"Q5275104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb8ddcf019bacfd2a113821be1dd2ee8c7074ba","datavalue":{"value":{"amount":"+0.8744100332260132","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":"Q4933590$17203833-2A56-4259-BC0B-469CE6E12BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ceb0dead7f1533db7108c6afe43340e34ef982","datavalue":{"value":{"entity-type":"item","numeric-id":3516825,"id":"Q3516825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833e1c65ef6a318dea1c4ca5a3696646709a1ea4","datavalue":{"value":{"amount":"+0.7982704043388367","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":"Q4933590$1C441548-3427-43F3-B50B-DFE4C14A7BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce08cba8d7d379148c3bbc08e50fd8acbb8c09db","datavalue":{"value":{"entity-type":"item","numeric-id":261198,"id":"Q261198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b468b94ef74b16e1343e85e569ca0c385202d04e","datavalue":{"value":{"amount":"+0.744310736656189","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":"Q4933590$FC20601A-6B2C-43D5-AAFF-876DCC9D480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535ecf9bb4b559221f3135472173c561184ef2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4698649,"id":"Q4698649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969923bf39355eb644d389122218d312658913ef","datavalue":{"value":{"amount":"+0.7344871759414673","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":"Q4933590$F7320BB4-7BED-4715-A779-B0CD33F49E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bab0adaba442ba2978a81f4e264a15917d94d0","datavalue":{"value":{"entity-type":"item","numeric-id":3021140,"id":"Q3021140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969923bf39355eb644d389122218d312658913ef","datavalue":{"value":{"amount":"+0.7344871759414673","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":"Q4933590$0A80393B-FDB7-4624-94A0-D8EF46281520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933590"}}}}}