{"entities":{"Q1332449":{"pageid":1343194,"ns":120,"title":"Item:Q1332449","lastrevid":68490189,"modified":"2026-04-13T00:03:15Z","type":"item","id":"Q1332449","labels":{"en":{"language":"en","value":"On the notion of bimodel for functorial semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626365"}},"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":"Q1332449$CB8AF400-E564-4458-9376-D8129DC2BA16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0bd9b0b6446c434f2b17d2b93e54fc428b12061","datavalue":{"value":{"text":"On the notion of bimodel for functorial semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1332449$E6DCD5B4-1F70-486F-9EAB-5D72C31914C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1d7ddf0ac87496d0344ad2dcb007d772e7439de","datavalue":{"value":"0804.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$4CFED6AC-DA3E-4BA9-872D-E32A847C2321","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f18e9e8f5f311f81539aab3dd459bcdcf2d9ea09","datavalue":{"value":"10.1007/BF00878101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$1138E1C0-BE72-4333-89E2-F2EEF98EE7C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6fd9186f80ce34f5999de021498bb0a9dfab7a3","datavalue":{"value":{"entity-type":"item","numeric-id":861860,"id":"Q861860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$657074CF-549B-490C-B649-8E726F1A5D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5499a165bf90c74d3d4e8bdeabf75e52130200","datavalue":{"value":{"entity-type":"item","numeric-id":308151,"id":"Q308151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$511E2C4D-9D60-4CD8-8853-635AF478D7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$86A9D2E7-4EFD-4F6D-BBE4-0513A5C7C677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"051f068d3b38e5e969f8980cf793340b45e9833d","datavalue":{"value":{"time":"+1995-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1332449$880D3AA9-D353-4B9D-A321-48D894B94CB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e806c9bb7aff42afc24546c1fca71f68a0696206","datavalue":{"value":"Having in mind the use of bimodules to establish a criterion for the equivalence of categories of modules (the Morita Theorem), the authors define a general notion of bimodel from the point of view of functorial semantics.   Here a category of models is any full subcategory \\(T_ 1\\) of the category \\(T^*\\) of all functors from \\(T^{op}\\) to \\textit{Set}, \\(T\\) being small. Giving two such categories \\(T_ 1\\) and \\(S_ 1\\), a functor \\(\\varphi' : T^{op} \\to S_ 1\\) is a \\(S-T\\) bimodel if the functor \\(\\Hom (\\varphi,-) : S^* \\to T^*\\) defined by \\(\\Hom (\\varphi,K) (T) = \\text{Nat} (\\varphi (T),K)\\) restricts to a functor from \\(S_ 1\\) to \\(T_ 1\\).   In the cases where the categories of models \\(T_ 1\\) are either reflexive in their corresponding \\(T^*\\), or the Yoneda functors \\(T^{op} \\to T^*\\) factorize through \\(T_ 1\\) and \\(T_ 1\\) has ``enough'' colimits, the authors define a composition of bifunctors in such a way that \\(T_ 1\\) and \\(S_ 1\\) are equivalent if and only if there exist \\(\\varphi' : T^{op} \\to S_ 1\\) and \\(\\psi' : S^{op} \\to T_ 1\\) such that \\(\\varphi'* \\psi'\\) and \\(\\psi'* \\varphi'\\) are identities.   Examples are given, as well as connections and comparisons with other concepts and results, like sketches, flat functors, Cauchy-equivalences, Morita-equivalences, distributors. The case of algebraic theories is treated in some details.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$0AD3FFAE-B374-46B9-B469-C61C586CDC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$2906ACBF-B47D-470F-9F71-2A8DEAA4EDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$38D89644-0828-4F3B-A2F2-8E47058C1A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$8A071CB2-969A-4631-882C-7C5991D9F8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e32e66abb14f2f198bf235654198103b3e0eef77","datavalue":{"value":"626365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1332449$72899183-8E8B-4B7E-AFDA-805CAD77F2BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1acfed1bf7c27bf44a67bfa4fcb88ebffe96f302","datavalue":{"value":"Morita-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$C24BD979-8CCA-421F-84D5-AED223610F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102855707f1505dc075a758889f76baaca1476d0","datavalue":{"value":"Kan-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$61A4BB30-EB42-4FE2-B6FC-308497B9B9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$8C16B2C7-7FA4-4E8E-91A4-9FE895BB0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592688f0e5a322d2e8f511241065480b544b9b81","datavalue":{"value":"faithfully projective model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$B8E02FE7-2364-4372-9A4B-63FA54C307B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a501acc665dedccad8432666692269777dd59ab0","datavalue":{"value":"bimodules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$CA42A821-0418-4AF3-9723-DD8ED8CBE92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b118cfd4ba7da886957ae43de395bfd0690fa3c4","datavalue":{"value":"bimodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$3892769C-864E-4625-85F3-D3F108ACCBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07487bafb104f546819729f6af6d7a939ddb5af8","datavalue":{"value":"functorial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$77F79095-FE0E-49F2-871E-E16398E71525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d785403b353c8a1c43bed2982bbd8bb85ca825a9","datavalue":{"value":"category of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$B04347FA-24C1-4278-BCAB-CE15D450C891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1332449$110A514C-DA0D-4191-9ACD-0FD6EDD8AA07","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$81A9F408-A177-4F6B-A156-B363EAFDF906","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":"Q1332449$D702A8B4-4374-4133-916A-1A0B234C8C14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd0d8639702f25ce21d6c830de73eba58a79df5","datavalue":{"value":{"entity-type":"item","numeric-id":5701018,"id":"Q5701018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$2286004D-456D-4423-AA56-46DCA02CCAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$917B1290-FCD4-471F-9136-0F0EC9D94D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6eccc62e212a334049565f371970ef463ac500","datavalue":{"value":{"entity-type":"item","numeric-id":3822370,"id":"Q3822370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$EC067CDA-F266-4D9B-B996-B78D1C267F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d0a63aba6c6a8070324b41bf9e79061f0a93c","datavalue":{"value":{"entity-type":"item","numeric-id":1240294,"id":"Q1240294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$6D5D17C4-6CF2-4566-868C-0EF130DCD4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fbe8eda433fc66e93fb2621e5107f8cb3e77eb","datavalue":{"value":{"entity-type":"item","numeric-id":5519923,"id":"Q5519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$F8FADF16-31B1-417B-B33F-F8349B4175F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$3933A638-41FB-46CD-A531-0D0166B4B3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$EADFB12C-8B43-45A7-A51B-7F17B0A5F662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$8CFD595F-4FFF-4615-B6E0-773ACFF9224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188a3faa7ecd644f8aebb747b896b8081dbb22ef","datavalue":{"value":{"entity-type":"item","numeric-id":2529972,"id":"Q2529972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$0E3481C6-A329-4FDD-ABAC-9BBD1884AB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$B5E934F3-B183-45E2-84DC-DB934D1625D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1332449$F6D81714-E2F7-4488-B9B2-B121A7DDDD68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2953e8d41d313980c7a7ef20dd12903d85b15525","datavalue":{"value":{"amount":"+0.8740464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$6FD2F294-5232-4CE2-BE16-EE0FFA968AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6758703bad689cd977b0e0bfa5b76fb469c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":1361202,"id":"Q1361202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f017e0a051d87d33c97903e42a4860dffb07f660","datavalue":{"value":{"amount":"+0.85693973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$506A2A61-30EB-458A-B6D2-6ADD6B8EEE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11565d66e69f997ba23d0c882c6d1872ef0cef98","datavalue":{"value":{"entity-type":"item","numeric-id":5419897,"id":"Q5419897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f7f5676e3617f031f2c0ecfbdf5a3b6587af77","datavalue":{"value":{"amount":"+0.8531646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$C0474189-367B-4D62-ABAA-49B54D295209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a2b3b90adb39980efc888670df05861a4e1b3d","datavalue":{"value":{"entity-type":"item","numeric-id":6159925,"id":"Q6159925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11798a6dea70ca4832c1dfa4d98933a37ee227bb","datavalue":{"value":{"amount":"+0.85210896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$9BCA0013-1311-4519-A57C-D7AF66AF3732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c126e3c0faae4f1a834e6186eed384fa9989b2a1","datavalue":{"value":{"entity-type":"item","numeric-id":5884966,"id":"Q5884966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c251221cc26dc7d81c3d780f51620dd22c2312","datavalue":{"value":{"amount":"+0.8489892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$DEA022EF-6BCA-41D0-953B-763A967C4927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4013b3984424ea833cba49810f72e3fac97045f","datavalue":{"value":{"entity-type":"item","numeric-id":265831,"id":"Q265831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e55beefd549860a8dd6dc1fc4f83ec1fa01925","datavalue":{"value":{"amount":"+0.84784997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$60327326-0DA4-4DB6-8749-D790188CD32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e650a01a1b88ee92b2c8139203cdf06ef45a014","datavalue":{"value":{"entity-type":"item","numeric-id":4917044,"id":"Q4917044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fe5125acff6d387ee79a6259dbf8daa87ed858","datavalue":{"value":{"amount":"+0.8469147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$341F7705-7265-426A-980A-66B6DEA8BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95351e86add5273650e9ff3235d353e8a420fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5410468,"id":"Q5410468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26753e788cb0f51d5696cdf4d91995e4405dc61a","datavalue":{"value":{"amount":"+0.84683985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$68426E68-1309-4FF9-AE5C-439B6D663398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e721a65333c9de082bbf6302d66b6f4a44e901d4","datavalue":{"value":{"entity-type":"item","numeric-id":4941927,"id":"Q4941927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e79cd54c4d1ca651b995d86842b272c662af5a6","datavalue":{"value":{"amount":"+0.846785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$8DCBCE44-39FB-407B-8167-54B6A19AE89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842a6d6caaa10b069e364a1245e2c4ee71e36295","datavalue":{"value":{"entity-type":"item","numeric-id":4608677,"id":"Q4608677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef20bfc43a30867572df04960f320276639ac909","datavalue":{"value":{"amount":"+0.8455036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1332449$75D973A7-D17B-49FB-AFFD-F38DA51C5E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the notion of bimodel for functorial semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_notion_of_bimodel_for_functorial_semantics"}}}}}