{"entities":{"Q5283430":{"pageid":7313004,"ns":120,"title":"Item:Q5283430","lastrevid":52864511,"modified":"2026-01-23T16:23:41Z","type":"item","id":"Q5283430","labels":{"en":{"language":"en","value":"Adjoint logic with a 2-category of modes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751241"}},"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":"Q5283430$680B4CE1-5EE0-4066-B182-A3FA3068F1A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6b7e0dde63d4a3a6bf1f61ea6313d2ce86b0f10","datavalue":{"value":{"text":"Adjoint Logic with a 2-Category of Modes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283430$604DDE5D-6F04-4842-B9F4-796AB17EE9C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1779b56c7b7574a0f689940493adba3fbf437edf","datavalue":{"value":"1477.03267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$A101D54B-7D07-4183-9A8E-5FABB1762DF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bce3640e88cec47f6208a6b105b119cd1161a815","datavalue":{"value":"10.1007/978-3-319-27683-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$A94A5F82-59AD-48E1-A324-6F36C93BA9CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9b760f000d29c53be76803a4c9934e343535f2","datavalue":{"value":{"entity-type":"item","numeric-id":2819683,"id":"Q2819683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$E8BECE18-1936-4C4E-99F1-86FAE21A537E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$9558FE13-DF0A-4B0E-87BB-27895085EBDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$23C33DB6-7E2B-4437-BB98-AE1F3BBBB51B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283430$ECB11C01-AEC8-410A-9ABD-4435CC00125A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$8CB23CB3-94B6-4306-804C-CFAD2F60602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$9C4184E2-6C04-4384-B052-9F5B52F54D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$14E4D8AB-B9FA-46B1-B361-1A7E926576F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f02e6b8fc9cec7f204ea10732b515656ea3b6dd1","datavalue":{"value":"6751241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$F0ED628E-9CF1-4EFB-AB7F-1055CA8C1D50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283430$E444FAA8-5057-4CF8-91CD-25181B3E2F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283430$B9D3F5F9-F22A-419F-BD98-46DFB56A08D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283430$BFBE2FCA-25FD-489E-9F3D-A604E36F723F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e10d7d7a7684a734cb095050fcdd6d5421b9a3","datavalue":{"value":"adjoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283430$AFEF4FBC-4318-4559-B2E3-BA98D1C48A07","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":"Q5283430$C366A279-BF66-4E0B-8568-605AE9BE2E8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e336b883b144725132e45073000b3e14883c576f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283430$A82F694F-51D2-464B-8482-9B96A2FB4EC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78a2e2ed1a4b40a1b5f37d7a835c8b8db3a4120d","datavalue":{"value":"W2293895310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283430$40D68614-48B7-485B-81E5-4B19A27FC391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$A6AAA76C-F87C-49A5-BCD6-4228D992A036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$466D02F0-2A37-4D02-B51A-45EBB6560536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$6E011341-63B1-4000-879F-D429E3735A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d178d1ba2022d553a813b148d72e5afb65344b8","datavalue":{"value":{"entity-type":"item","numeric-id":5298124,"id":"Q5298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$C208B49B-186D-46A8-8AA0-66C6C5454D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5865593c2d68f204a4382a9fe6d596906aa0917","datavalue":{"value":{"entity-type":"item","numeric-id":2938036,"id":"Q2938036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$DFC35D7F-3D35-4FC6-B209-D9ED45794DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$7ACA7588-DD2E-47A9-94E1-9FB16F39BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a293761f357c7c24f5a1aa14e7be5a02e36b4187","datavalue":{"value":{"entity-type":"item","numeric-id":4635651,"id":"Q4635651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$3CB1FD73-D342-4204-AC4F-8FC5F16C9680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53458ea6fb8226f45286b66b34cfd0506d1878ea","datavalue":{"value":{"entity-type":"item","numeric-id":5271059,"id":"Q5271059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$E2ECD488-83DE-47D2-90F7-08A88B61E664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$B0A134C3-E1FC-4303-837E-21E954FD7DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$7559E155-1043-4F33-BFAA-332DAD5CEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$37AFBB6D-7866-4FB0-89FB-CE9C230B3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$059C5239-86F8-49BE-BB0F-DD11D5595B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283430$6096808D-C836-4086-B59F-A7B7704315E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4338586671c8a8cd53bcb1649860ce66dca8b896","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a450308e573beddd12b593ca6281dfef6d4d62e","datavalue":{"value":{"amount":"+0.7245015501976013","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":"Q5283430$A8E3551F-4F56-4028-B4B0-70E1381385D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdb45cc7ab8da35f7677885f7ab810d5e4b7f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5220184,"id":"Q5220184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc72246cc944836a82963c5dcb69bac4704a5c06","datavalue":{"value":{"amount":"+0.722840428352356","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":"Q5283430$067944F3-A729-4CFC-946E-4D5698AE9642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1747d11bc4fc4c431ef5cfd3adfa3ad6ac3745a","datavalue":{"value":{"entity-type":"item","numeric-id":484110,"id":"Q484110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5d49875ef77a8e552e62315fbeb40bdd7d9156","datavalue":{"value":{"amount":"+0.7162414789199829","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":"Q5283430$D4B65C74-D4E0-4F93-8FFA-1A25B1236B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870ffdd587399f56f51a09e653870357ab13cbdb","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01834da5334da0cef55627ea5afeacd97f4ca175","datavalue":{"value":{"amount":"+0.7093985676765442","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":"Q5283430$07B4508D-9784-44A0-A7A7-8BDF875B8868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e87f1c5ab0136aa2fa2c3a511ed214c2334f31","datavalue":{"value":{"entity-type":"item","numeric-id":5258961,"id":"Q5258961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb2847f199ba41b5670874c3e213e3e37e69482","datavalue":{"value":{"amount":"+0.7037860155105591","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":"Q5283430$780F2BAD-A712-4A44-81E6-36715AD07592","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283430"}}}}}