{"entities":{"Q5096381":{"pageid":7125957,"ns":120,"title":"Item:Q5096381","lastrevid":54382256,"modified":"2026-01-26T17:53:27Z","type":"item","id":"Q5096381","labels":{"en":{"language":"en","value":"An introduction to category-based equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572205"}},"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":"Q5096381$3003B73E-BE82-4C8F-8F0D-DDF1058D0C4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfda41555cdf9e6b6f53f39bd981aa6425ed14df","datavalue":{"value":{"text":"An introduction to category-based equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096381$7C7C7B58-C790-4B1E-A521-81813CF17A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d62861ef6e66087b6a75e3fdcaed29888d75ac63","datavalue":{"value":"1496.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$B7041C47-257A-4F52-BF0E-20F8F7AFEC80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81ba8508e28f6ed4be46055dd2fae04824211db8","datavalue":{"value":"10.1007/3-540-60043-4_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$D212A35E-0468-4935-9189-2C11C13BD231","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$AD6CAAB4-6485-4FEF-9F02-75814A0E9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$04DA1344-F90E-48F4-8B94-478E4B8411D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$4725BDE8-41B6-4B6F-8011-87BF723F5A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-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":"Q5096381$FB420315-64EA-41B7-8E1C-F5B04D1492EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$DE83B534-E9D3-4E1F-8696-22AB607D326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$E24CBA83-5BDD-4B4B-BA43-7A323CB61E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$918D7D72-6943-404C-AA68-A338F7598223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$8FF490F5-BAA7-459D-AFAB-16F0B4441FC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f35171e507fad47c971c0533eb2da5f8cdae4d1d","datavalue":{"value":"7572205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$0DA51F83-16D8-4537-8B57-327C478F537D","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":"Q5096381$3E9DB7CC-7510-44AE-AAB5-0815DB0EF31A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa29535158f4b06305ddb8fae22413fdeb0246a8","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096381$1B99354C-D3E2-4FBC-A3D5-31DBC79069B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15637a0e322ff0f726bcfc5eb935b43e18664347","datavalue":{"value":"W1540355970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096381$0C9F2348-7413-44D1-A81B-B0A8DC58FA89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4d6e0242e97964801b94c30538e3d083f39156","datavalue":{"value":{"entity-type":"item","numeric-id":3950541,"id":"Q3950541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$71AAEB62-753E-4749-9308-D1D14927ABFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$FF14BF00-2EC8-4440-9875-64D9818FD3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$4B1D3B4E-4C37-4704-8072-328D5EFF2980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be3970bbeb5763bd476ec3ae32dc6811c75f4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3782818,"id":"Q3782818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$5CCEAF75-DE61-4AF0-B12D-63956774494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$75443B02-A20C-4184-9E84-BA7A36F93E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca03755096d6dd8f8b1e2c870f83bb2a0ac6887","datavalue":{"value":{"entity-type":"item","numeric-id":4284237,"id":"Q4284237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$EF8960A6-3ECF-4077-ABA6-A8FF0F2E61F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$EEAE026D-F771-4C37-8C43-CBDD0429886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$CBE1899A-AF11-4045-9CD1-6C479FEEB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80a341ac623e4197908310bfc84fd801c76f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1901708,"id":"Q1901708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$7B9AA36A-75BB-4711-9551-17C14323B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ad239d9558ddf4069defdc51954d5f3259dfe3","datavalue":{"value":{"entity-type":"item","numeric-id":4847310,"id":"Q4847310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$6A615774-7EED-4781-964D-B4938E9DA313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$305D1542-C8CC-4F50-B2A0-6661D0D82A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae532117f641c6cd3699efe68107bbec082a054","datavalue":{"value":{"entity-type":"item","numeric-id":4322433,"id":"Q4322433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$2D875B92-2E51-4949-A9DF-96A7FD6C18BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$29063DFD-8EE9-45C2-8C48-FE2228D1B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$06F4F4A2-AFB9-4774-807A-507F03D4E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$028205B5-BD03-4CDE-9E86-7E44BDCF34FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b348a3f9cc76c873f50f5b59caa8cbdac2c742","datavalue":{"value":{"entity-type":"item","numeric-id":2539416,"id":"Q2539416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$7B6180A9-5464-4CFC-A3B4-1AF0D08060A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0783f85e99e7dffe0dfd7a137e42e4f7d2481da5","datavalue":{"value":{"entity-type":"item","numeric-id":5654202,"id":"Q5654202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$5F769675-B247-4571-8296-8AFEBCBD2BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60e52e7e288b65c32f8ca859cbd3cca69d32d89","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$C285C325-33F4-4465-BDA0-120AF61F9426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$7210938D-5AE9-4564-AC4D-42B64EEDEF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$67E65B48-22BB-4B29-9F87-9B11358875DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$4E7F3253-E549-4431-8ABB-6E73DB3B5C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577c16d7219eebe17d5c59e5734b8d6c26ea7c26","datavalue":{"value":{"entity-type":"item","numeric-id":4038704,"id":"Q4038704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$B66C031D-98B2-4397-9844-74CABB41ABD7","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":"Q5096381$617E627E-585C-4641-B7A3-25A0562D79B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53df5a0db0f8dfae3cf9d762bf0f64420ba10d0","datavalue":{"value":{"entity-type":"item","numeric-id":3204056,"id":"Q3204056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$3582723F-07B5-455B-BBE1-3623F1178C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26bd5a2d091665bb9748f0afc8044d78bb7ada5","datavalue":{"value":{"entity-type":"item","numeric-id":1173754,"id":"Q1173754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$E5A8E044-E157-4675-B08F-604C893A65B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$9E90735B-9552-4969-9B91-560B20BD16BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615c69ac6df9afc124401ae3b18bce04b430598c","datavalue":{"value":{"entity-type":"item","numeric-id":5839923,"id":"Q5839923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096381$A7766C77-294F-48A0-971D-4CD7F8E49CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af440ffc97331810229a2ff164b8cfa72ae8687","datavalue":{"value":{"entity-type":"item","numeric-id":4500173,"id":"Q4500173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3a8a9c67627db0ad0d14889c9c31b036d4b091","datavalue":{"value":{"amount":"+0.8512810468673706","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":"Q5096381$40A1FD18-809E-4247-BD86-EA15A1367968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70bc27129db8bfcae201ef21143182c726fbcba","datavalue":{"value":{"entity-type":"item","numeric-id":4783329,"id":"Q4783329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3a8a9c67627db0ad0d14889c9c31b036d4b091","datavalue":{"value":{"amount":"+0.8512810468673706","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":"Q5096381$86EA76CD-6CDA-4BB9-AA0A-DF232C6DE619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba31a7508da341c8f0296da611ba9ca22bbcfcd","datavalue":{"value":{"entity-type":"item","numeric-id":1901708,"id":"Q1901708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421a95fd457588f8083983994ee4a4434d83111a","datavalue":{"value":{"amount":"+0.844620406627655","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":"Q5096381$CED30169-6DD5-4EC2-84B6-94485F6E9809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03808f2de1a609f8efc27e582f5f5e33f792f400","datavalue":{"value":{"amount":"+0.8446202278137207","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":"Q5096381$FBEB88F0-2148-445B-B9BB-958CE54A89CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3622ba35cc2d7c51d1f43ce0790d79d22960bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3815296,"id":"Q3815296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450ea06f00c8e44ab6d2eb36d281817992691eb5","datavalue":{"value":{"amount":"+0.8180221915245056","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":"Q5096381$7601B679-1D22-4F84-B3C1-C03579A43434","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096381","badges":[]}}}}}