{"entities":{"Q6555699":{"pageid":14166854,"ns":120,"title":"Item:Q6555699","lastrevid":40558088,"modified":"2025-03-06T18:49:13Z","type":"item","id":"Q6555699","labels":{"en":{"language":"en","value":"Linear abelian modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7865508"}},"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":"Q6555699$D996DD93-F2AF-481C-8F77-4A286ECDCD09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"264cd4317580511a6a9dcd2e6e9137286f88120a","datavalue":{"value":{"text":"Linear abelian modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6555699$339FB40C-47F1-488E-BEBE-149114AF76E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fbe81459b3c1da162001cff8759d61451421965","datavalue":{"value":"10.18778/0138-0680.2023.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$80ED8610-505F-4E65-807A-4A7B02DA6482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e49a0c64083a59f09ad3853de3774ba7576f935","datavalue":{"value":{"entity-type":"item","numeric-id":2297793,"id":"Q2297793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$E645F926-F6E5-4F63-A686-2E5F621CE5AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$AA340445-F783-414F-BAC2-5DB3CFD6B441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96bab3ca4e1765b8bac9f46411526c7546558281","datavalue":{"value":{"time":"+2024-06-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":"Q6555699$1D7A7CDC-6A17-4854-817A-D0E74C7560C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$C61743A0-6FE6-4171-97D2-7B7A65DAADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$7C643AEB-8137-45B7-A8F0-40E9DE130AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$D840C08E-3095-4523-817A-648B1E3184C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$F868EF94-B2DD-482C-ADFB-A4B28741B50A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49604303099c9a5a6dc0b7bdd09c2e48d4030705","datavalue":{"value":"7865508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6555699$5467CADC-DDE0-4E05-A424-9A8DCE63EAFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555699$4AB9BF0F-170C-448F-B230-09AF3A7C43B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555699$2A013D19-B58C-4AED-877F-833AF1CB6EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75c8725c53ec02bd11998c4d764ba1cfa90a631","datavalue":{"value":"abelian logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555699$4DB15E38-8B19-402B-A4D7-E05A5825BFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555699$A2F6200D-CC7C-45DB-AA86-579C52332E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6555699$9CAC90D3-8FFB-4C00-A93C-5AB9A57E101A","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":"Q6555699$1B69B15B-B68F-4123-9751-481646C783F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$4BE52C64-A0B2-4F70-8794-4496DF903537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a074336fc4f13eb05870e78ebfe46e9da9915324","datavalue":{"value":{"entity-type":"item","numeric-id":4646652,"id":"Q4646652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$F27425B4-A0D6-4B18-AC92-9C5BCD6460BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b554d61218d9928b6258d017dec992409deea4","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$762E3BA2-CB2D-46DC-94D1-AB6ADFE4F83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$1DBB539D-EF84-4D68-94BC-A2BA9B8729CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$3E06DDF6-B6E2-4517-9C4E-5A0E024027F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$DA4D964F-0752-4B81-995D-B036CB5626B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$54EF041A-179F-4DA4-A40E-596FACB9CBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6943bed2c7ad8449d21d421806f77af6bfbf82","datavalue":{"value":{"entity-type":"item","numeric-id":4603449,"id":"Q4603449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$A00E214D-FF52-44BE-AE6F-E4EADF7C6E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7afb6f3851266e7045ba658108d186ee43b2d3","datavalue":{"value":{"entity-type":"item","numeric-id":1951299,"id":"Q1951299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$845F5CF2-60FD-47B2-8461-C3F163AC36D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929cc21f4ca526c221a265a7b9696a8246de4ced","datavalue":{"value":{"entity-type":"item","numeric-id":962839,"id":"Q962839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$732C59BF-42E1-4C7D-8CDE-AF2A90ECB2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de17d730a5554fa073707b3503d367143f6cf8f4","datavalue":{"value":{"entity-type":"item","numeric-id":4460673,"id":"Q4460673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$B9E99829-33F2-4FAA-9E3B-86199E611570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$9C1E34BB-65CA-4C60-B5BC-7382DA853F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f40276dec1a5608df60bddb3062a45d089860e","datavalue":{"value":{"entity-type":"item","numeric-id":1344258,"id":"Q1344258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$B34FDB98-0489-483A-92F5-E26E3574840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$5D70AC95-4212-423D-8C19-CB0A50127B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$B76B2ECB-007C-4A3F-9E3E-6391A0946197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353e9b39acf0b0a72dcf7ea4373f91f69838913f","datavalue":{"value":{"entity-type":"item","numeric-id":5104720,"id":"Q5104720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$627CB98C-AF56-43DC-8CFB-5BAB1F65AB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dcbdc46ea49ee475b8f2c4fb8f3ed761c8b82","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$6E6A4D86-0177-43BD-B733-BFCD7C3C8C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73ca5e4fd4e5962b5a2fc6d59c11f3db5add688","datavalue":{"value":{"entity-type":"item","numeric-id":5214813,"id":"Q5214813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$BC6F21CA-AAB0-47B6-AF78-263D2640EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$738DAFE3-028B-4AA8-82A9-4FF6B49042AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4468ed143426306fe7e5105ec7c4680188409b57","datavalue":{"value":{"entity-type":"item","numeric-id":2717787,"id":"Q2717787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6555699$3366FF9E-D8A4-452A-9AA7-8EB55FE4B6B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6555699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6555699"}}}}}