{"entities":{"Q1686325":{"pageid":1697066,"ns":120,"title":"Item:Q1686325","lastrevid":68239911,"modified":"2026-04-12T22:22:34Z","type":"item","id":"Q1686325","labels":{"en":{"language":"en","value":"Distributive residuated frames and generalized bunched implication algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821013"}},"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":"Q1686325$302F4067-7F94-43CB-8EC0-862E17C57609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b1fadb015a1c5e04e2dfabdc6426d34f6c5b93","datavalue":{"value":{"text":"Distributive residuated frames and generalized bunched implication algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1686325$51DAE360-440D-4FDB-92F2-9BF2E7185276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26bba39fa46a64ec79cffef90afa4908a30cffd9","datavalue":{"value":"1420.03139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$D3BD423D-B4FD-4C76-AC3D-FF270BA16180","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$7A824203-6F2E-4389-B26E-2C10FEBF70B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$65AFEF0E-6CC9-48E3-A0EB-AFACD794ADA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$17A20B2C-5C09-477F-869C-C2F5A613796E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a12ec7063b327c3d84dbc9cfab50ae3a61ebdf01","datavalue":{"value":{"time":"+2017-12-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":"Q1686325$E36CC9AB-643B-4E4B-A31B-4752AE46330C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0076f2f3b795a1fd4f94b8d59c748546ab8d2072","datavalue":{"value":"https://digitalcommons.chapman.edu/scs_articles/547","type":"string"},"datatype":"url"},"type":"statement","id":"Q1686325$2F5C820D-4337-4AC6-84FD-AC8D8C189130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$C1E02BA8-BC9E-42C3-8939-93783DECBB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$59082145-46F0-4C74-A4BA-CE24963E4CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$3CC268AF-FA16-44B6-9E16-A6B43357C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$664C19C0-BD93-4272-B34E-5EB28ECD5E7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4714aa58de2f29b8bbf4658be224b686e9acdc4","datavalue":{"value":"6821013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$1B8183B6-F448-4A8B-9883-4FEB439CF5C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$773056E5-D7B5-4447-B8F2-56C48D0CC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$E87888C2-40CD-4F9B-AA7B-B07D7D5ACDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$C4365F6E-A4A3-4A03-884C-9BB5309CB303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e910dda2e3fe7be2ecc47ab4f600fffa1cc0c6","datavalue":{"value":"residuated frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$244F64DC-1616-43DD-9A0F-FD25C9FB3D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$BCECAEB6-2D60-4438-B3F1-18D2D1D8EE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$DEE7FC13-00AC-43E9-B841-A5D81C9C567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$7700DD9D-A24C-4376-BD04-D1859AE9F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1686325$FEAEA1B3-478F-458E-8BC8-B69240742B3E","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":"Q1686325$05FB9BDF-4DF9-40E2-9BA2-D2D841E26018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"696e2acff327d35d55ce0580019addb987594607","datavalue":{"value":"W2761182803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$C0EBC914-5727-4752-B004-8447A666E8EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$E6A5C343-245F-4A61-9CCE-49AE17023F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbb2ebd3148e141013d162ea0290fa9e8a9624a","datavalue":{"value":{"entity-type":"item","numeric-id":1686329,"id":"Q1686329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$AEF4B0B4-4826-468A-B416-4C4226614D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$8FFD5F3D-F1C0-4F55-8AF2-3478EB56120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$CA10821B-D1A8-4D6A-997F-87A7B4F914C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f5190191219be6f28bae85654e17a200dcfb21","datavalue":{"value":{"entity-type":"item","numeric-id":2447247,"id":"Q2447247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$C96F6F0E-59A9-438B-A1ED-84649B5FE4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$F7516C16-04D2-4B3B-A77D-8C44B2CD2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$27AEF354-2214-4C4C-89D5-ABBD25DA58FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$E055A7FE-623C-4E6F-87E8-A304CFA47E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328d2f5d61ca2f242d573803cf1ae0db66ea1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":863180,"id":"Q863180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$6143CB6F-DF2D-4F26-BA61-31F723915B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849c86dce3ce9eb1d036250350c0ff9f05d99f39","datavalue":{"value":{"entity-type":"item","numeric-id":1015484,"id":"Q1015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$6A521F08-FEE9-4AEA-A790-B005D8B96D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fde7dfe97558f718edc70a68b732f9b3b72d20","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1686325$B4CF3A20-4EDC-4377-8B68-7B2C0A75BDB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64798ee4255a78909008ccb27fa1034cf17a566f","datavalue":{"value":"10.1007/S00012-017-0456-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1686325$5F54ECA5-96A9-4D46-A73A-1520555B6657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4111e10c5716c24ccf9368d5c6026b63e546994","datavalue":{"value":{"entity-type":"item","numeric-id":2695343,"id":"Q2695343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0942c53d6a9a5add24c3aa2f15fb51bd1d1203","datavalue":{"value":{"amount":"+0.879023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$2A2A427F-A9B8-41EB-8336-1EB17642C702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77b90b23e5bbf7eb31bf5eeaeb8bce5bcae9a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4905207,"id":"Q4905207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21abc2f503ec97524fe362686970ed12350aad2a","datavalue":{"value":{"amount":"+0.8768387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$12D890E1-D221-4D2F-A091-35D022C6E2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc9be816119662be61b1953bcb20accf6905c1e","datavalue":{"value":{"entity-type":"item","numeric-id":1769483,"id":"Q1769483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01fdddcf16020e114562fe0c2032369a3547c0a0","datavalue":{"value":{"amount":"+0.87338763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$76350CD6-9C25-408B-B6BA-58F52B13133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edbd30e54b92eaa83f9a022fc09317b8b9d9e61","datavalue":{"value":{"entity-type":"item","numeric-id":5283208,"id":"Q5283208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aadb08eb4264a8ee86d8787e4f445d884eb889ba","datavalue":{"value":{"amount":"+0.87300396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$A5A57602-38BD-4495-B483-EFF4D99539BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd7594f4b47ea3f24dfe4db00c9280c8dcbfe8f","datavalue":{"value":{"entity-type":"item","numeric-id":780164,"id":"Q780164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f08342feb526b700dc0a3a0bf024d7fb512035","datavalue":{"value":{"amount":"+0.87293404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$140152F6-EB06-463D-BA9D-D1322AE61F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b24cd3f5797b8a708ab29e23329820e19dbb172","datavalue":{"value":{"entity-type":"item","numeric-id":868280,"id":"Q868280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba46c0a20caa5912e09f60982693bffeaba76b2","datavalue":{"value":{"amount":"+0.86606437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$F03E3AA5-0F9F-45B0-94C8-703539EAA97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31396bbcd2d7ef32d1667bdffa410fa8e9524e9","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445f81b1454e0e9df3ee4d57a598768b24acf33f","datavalue":{"value":{"amount":"+0.86424524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$B58DDCEA-FCDF-445E-9818-465CD44804CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6633fa8e4ce58d22904cbf4d374ab2821da44aa4","datavalue":{"value":{"entity-type":"item","numeric-id":5710394,"id":"Q5710394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca3120e693453b39f1f79a4280d765e3bbd3d17","datavalue":{"value":{"amount":"+0.86413497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$99DF81D0-49AD-4C89-AB4E-137CD02D34C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dfcd66f86d1a886c9f03381dddbe2af246ad15d","datavalue":{"value":{"entity-type":"item","numeric-id":3396661,"id":"Q3396661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e87b962ebc8e4d33c2675a58a8dbee1abb2512c","datavalue":{"value":{"amount":"+0.86375874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$18B9E6EC-82F3-4859-AB36-47FF8AF56665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff52671da79c5934bfd8439c5bb02faf5e70933a","datavalue":{"value":{"entity-type":"item","numeric-id":6059121,"id":"Q6059121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c420407bb099877ae539098c6da4b40822ee1b","datavalue":{"value":{"amount":"+0.86309886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1686325$BBEDBC42-69D6-4F60-8A2D-1DB54D1396CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive residuated frames and generalized bunched implication algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_residuated_frames_and_generalized_bunched_implication_algebras"}}}}}