{"entities":{"Q3178281":{"pageid":3188990,"ns":120,"title":"Item:Q3178281","lastrevid":56916906,"modified":"2026-03-24T15:11:27Z","type":"item","id":"Q3178281","labels":{"en":{"language":"en","value":"Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602837"}},"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":"Q3178281$1EF13460-8C3B-4407-9CE3-996405A898AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b514eef8285bc11f8898587000f8d8dce57eca67","datavalue":{"value":{"text":"Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178281$C763CD14-6DAA-4A59-8081-DDD8AC793807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec9e6b8c694c2f0c19f38f92007b3d3da659d29a","datavalue":{"value":"1342.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$58084E07-90CF-4B03-9AE3-055C06321007","rank":"normal"}],"P16":[{"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":"Q3178281$720559B9-DDD0-44CD-BCBB-2BB3045D4723","rank":"normal"},{"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":"Q3178281$C80E86C2-4A46-4576-B840-8BD480F036CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c19ea881ab2311bb11ae18bc8e1b3687ee99a4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946723,"id":"Q2946723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$F2B8D5DA-8880-4C4B-9439-DDD84BA26724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$24C26567-1D76-434C-9E14-1FD3DD4D1992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178281$142C846D-11F8-4F86-96C6-8D2D198B04AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$536E448E-F00D-4281-A028-089125A39C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$84035E2C-62DD-4259-BADC-798AFA000AAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"809bef43afd8c256e9ad5a70247e3b2f3928a3fa","datavalue":{"value":"6602837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$BF6EFE16-B1B5-4078-A7EA-5C3B84190B45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178281$03632F9D-DF1D-4F29-9C55-3A58CC9B989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b01143ed29785f07f8b15716fa83fdff452868e3","datavalue":{"value":"cut-admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178281$570D0C6A-F9EE-4723-AEE5-902D586C8E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178281$B586FA0F-0FDB-4B42-BDA7-E64C44D4B053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30df074c16f8c38b199fb22885a59bb826f79ddd","datavalue":{"value":"adjoint modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178281$632073D7-AF16-471A-A9FB-23E01EBF247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13dff979820b61d1d26bc2f2b9c71ab5b5a78b39","datavalue":{"value":"epistemic scenarios","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178281$72FC167B-1C0A-4048-BD9D-BEFEFCD1E0F0","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":"Q3178281$EEBDA321-4FAE-4FB8-886E-6643A8542E67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5ba64d9e2dff1868a03508799e795636e427f7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.08.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178281$F651A5EA-F5B5-4C6A-AD3D-E26B52EE0EAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b0bc02fbcf7e0a29535c3ad65f39056b734f1d","datavalue":{"value":"W2064153376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$2C1718AA-B45C-44B9-8A8F-4CAD7391CC26","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"761095b08d7a4bfdc14de99d6dc304e801c94f3a","datavalue":{"value":"Q113318081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$9F5A0403-2D19-4E4E-9273-1432E601158F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$C2265DBC-D6A9-476C-B9E8-4989A903109F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6bd2ed02e926f25d97705d4609f5ab02fd8358e","datavalue":{"value":{"entity-type":"item","numeric-id":3406684,"id":"Q3406684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$611E3C38-C920-4EAD-9AF2-89FF4D8A19B2","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":"Q3178281$DB8823B1-AB95-4304-98C8-7E8B1CBB99ED","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":"Q3178281$380F3BFF-6483-48DC-B914-D54DB12813EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20cdb8f52c8b11d8395070407423ccbd16a1d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3367318,"id":"Q3367318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$19E91AF7-5A18-4EEE-91B8-805F1B7B2643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$E1A29619-911C-4B8A-B832-019EDB67201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa97ceef96b310a53cd4a2f55a5b0957549af1b1","datavalue":{"value":{"entity-type":"item","numeric-id":409323,"id":"Q409323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$00B9189D-9AE0-46C5-A55D-E37F1B5097B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39788aabc93964e018beeb94e5c007aaba372bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3003326,"id":"Q3003326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$991B7700-9092-44C7-9223-5B841EF55B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$AD26DCEC-4562-4AB0-A646-DAE206F3F330","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":"Q3178281$5B32B262-8672-4D28-86DF-2E383A9334EC","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":"Q3178281$032C598F-2180-4FDA-9B43-24B7673224D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$EDC8756B-9AEF-49BD-9407-BC0AE52B3EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$D8E45756-CFBD-447A-8880-65A541CCFBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$B4410341-E5DB-46CE-9072-F2209B23AA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67499e1fabe341d80590c92eac09cec99f11d4c2","datavalue":{"value":{"entity-type":"item","numeric-id":4933590,"id":"Q4933590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$81F13E20-1FC0-44B0-810D-AA18D81615AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1bf82999819cf4b96ab775b70078b417517dbf","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$17F0276D-89D9-43DD-8DAC-656C5E5C2023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3365f53101c671e5e82f1e9a5380b629a509792b","datavalue":{"value":"10.1016/J.ENTCS.2012.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178281$985B0B78-B367-4F48-A3ED-2CC759567622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fdee0de3bb3bb3d1aef548e4ab565a5f7210f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946724,"id":"Q2946724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d81cfe83beb9971d6d5570726203ef0bfedc2ee","datavalue":{"value":{"amount":"+0.9549018740653992","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":"Q3178281$4B08D6F9-4F60-4672-B1A4-7881653670B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e6af235e813ecf5819bda45ca07367aa31dcc8","datavalue":{"value":{"entity-type":"item","numeric-id":4933590,"id":"Q4933590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfe101c47a9a90ab4d8043e1f8fca989dd9f549","datavalue":{"value":{"amount":"+0.864695131778717","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":"Q3178281$90124CCF-BFAE-4BA9-A6A5-94EB22742878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a597eedfef6b1f550a8f99a424d6376d8bc06e","datavalue":{"value":{"entity-type":"item","numeric-id":2805170,"id":"Q2805170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12025e07b4f400e0fc793f4c62f6ef9f9050d59e","datavalue":{"value":{"amount":"+0.8567195534706116","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":"Q3178281$ED69AEB0-F285-4E57-8AEF-3B444BB63143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57f4441d81676770edb945625650fa0e10aa9f6","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"869d21145b9dbeec5fb8da143aaccae21b204164","datavalue":{"value":{"amount":"+0.828860878944397","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":"Q3178281$5D8ADFC8-0581-43AC-8504-E48EB72E7275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee1050faf9ff4b86b6a0e8d20edaefc2c7e22b0","datavalue":{"value":{"entity-type":"item","numeric-id":2848068,"id":"Q2848068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a2e5ca8967d5b5af41930be6f1f8c0e40071b4","datavalue":{"value":{"amount":"+0.8014234304428101","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":"Q3178281$C59A3B71-BA8B-4504-ADB8-C1D290F3919B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178281$03E24504-AA06-4B15-B01E-6C48D91CB43E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3178281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3178281"}}}}}