{"entities":{"Q2842828":{"pageid":2853548,"ns":120,"title":"Item:Q2842828","lastrevid":51801812,"modified":"2026-01-20T03:01:26Z","type":"item","id":"Q2842828","labels":{"en":{"language":"en","value":"Classifying categories for partial equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199133"}},"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":"Q2842828$4D358D23-F8CE-4D2C-A453-AB09BAA9811E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80e82ddccd055ae9848b63dd24731b32b80b54d8","datavalue":{"value":{"text":"Classifying categories for partial equational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842828$93FAD791-9895-4856-BDC5-E8D47B0A0B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88a3dbcfa08d9c35f5c9d48096b40e6658e35902","datavalue":{"value":"1270.03147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$FC1B60FE-3C51-468C-93EB-ED29F17FC76E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22f82bbf30d759a6941d60d02aec70c661a49ec0","datavalue":{"value":"10.1016/S1571-0661(04)80571-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$CD5C468E-5E27-4395-A20D-A0B24058446B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$A8D76768-1268-4212-A49C-B570D7745475","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$DBF03926-663D-4A38-9C8C-FE4FCB460A23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-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":"Q2842828$1FDD6538-9D13-4B80-8B45-6E5F147DFA70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$2C475CBC-CFDD-4A2B-961F-FD614B7FC0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$9E614FC6-FE58-48BF-9B5B-BFC08BA2535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$DB06EB51-78A6-431C-BF3F-4FAA5EFA088A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da87739e03099327a323aa57ec30dea6961a7b0","datavalue":{"value":"6199133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842828$29F09BAA-2DD9-4425-834C-5FBEF1E68C5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1a2a866e7bbb119aad234d9285d711e41219669","datavalue":{"value":{"entity-type":"item","numeric-id":13159,"id":"Q13159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$CC4EC234-2702-4530-9CA2-F3953D732A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$88BB984D-4ECA-4B72-8292-A0D86224B7E6","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":"Q2842828$363708E8-74EB-43BE-A72E-E0D4E0AE487B","rank":"normal"}],"P223":[{"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":"Q2842828$FEB1A8CB-C197-47EA-866C-CB99D5AB219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a021c8dc1fc066d43ef01b9466bb43f6b862c72","datavalue":{"value":{"entity-type":"item","numeric-id":1853453,"id":"Q1853453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$E436DD20-5D4B-4101-B523-8A63F8EE7D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$19B29F14-428E-4D72-B109-CC67863B81C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40825552f0662d43cce900774b4688cc145a5a80","datavalue":{"value":{"entity-type":"item","numeric-id":3138859,"id":"Q3138859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$BF5B8617-9F49-46B4-9A74-BA54E6D35968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a576d213868e0a2e6369c013b4b2023c977fb89","datavalue":{"value":{"entity-type":"item","numeric-id":4373705,"id":"Q4373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$109B3EB2-C6AD-487E-AD5B-C4E38F3E62AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9bebc7e800cc569ba01ebf3cd1ddbf6f9882ea","datavalue":{"value":{"entity-type":"item","numeric-id":4856659,"id":"Q4856659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$96AFADF6-ED72-46DF-AA7F-1E75184CE12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f6cd23b3cfd93ca95cf3e33cea1f4baecbdf3a","datavalue":{"value":{"entity-type":"item","numeric-id":1853456,"id":"Q1853456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$EA54B8F1-73F5-4094-B385-B3B787BF003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703bc91e6b75515657468bfa5ea5def7a64cca33","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$95E28B99-BD86-4A81-B05E-DB790CE95FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$9E580500-FA9B-4EC0-A003-2DCD82DD96FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$00152A07-B92D-40E5-8E31-1744AFD6F8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$FF02B480-F273-4ED0-820E-D7C433E11A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$7E9404D2-6092-46BB-A389-76880E191729","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":"Q2842828$2F6CE90B-A132-4E87-8DBB-9FCCDE857B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41904df0fa1ea8e219dc3231404b7a48069a5c57","datavalue":{"value":{"entity-type":"item","numeric-id":5599205,"id":"Q5599205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$56FE9187-6DB3-4326-85DE-8361B77981EA","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":"Q2842828$0180E689-CDDC-432D-A149-20B5175F66AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84ac8b24f190a0fd6f274c2c5064ab7a2fb28cb","datavalue":{"value":{"entity-type":"item","numeric-id":4723928,"id":"Q4723928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$DACF7087-AE3E-4C3D-8CAA-FEA55B9091D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde19d283d42edf106d6209c4d5562a85b28e299","datavalue":{"value":{"entity-type":"item","numeric-id":3764126,"id":"Q3764126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$F6B00416-7F2B-40A3-BEB6-79C3924D5FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97beec64225e48f32a96d21447b86e8b4764e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$01741AD1-3E6E-4390-8A9F-987B19B3FEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8567217a751558d6e1d95021fbd8494932f4ec3","datavalue":{"value":{"entity-type":"item","numeric-id":3759011,"id":"Q3759011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$BFC6EE00-3087-4980-9B42-BDDB9665F1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0691e21ed553f2a4405e920d999bdfdf70ebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1109871,"id":"Q1109871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$48ADD7C2-90A3-44A8-845E-0BF171D55A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6ff8758dfd2a41fd9a6fe5b9dec1ea9bc0bab3","datavalue":{"value":{"entity-type":"item","numeric-id":2996141,"id":"Q2996141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$AC75EAD6-9886-4811-82D4-B578E5F66881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c2a3fbe9d0bfc75ae2d3fa75131c7f97f3b1a4","datavalue":{"value":{"entity-type":"item","numeric-id":4535078,"id":"Q4535078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$6FDBDC3B-5E26-47A7-BA50-D27A2C39035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$DCE0D862-8FDB-4C5E-9C22-5AF7450D296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$DF99CBF0-B09D-4966-90FA-4ECDAF926225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$9221AA1B-EEF4-471E-A3C0-22888742DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842828$86C28003-1AFB-4FF5-AB21-180F26F5746A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf27fd8af29f59c9b9e5c0901341cdfaae0a5af","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25971b6d80d0eea7336c1b2156e127c52f03538d","datavalue":{"value":{"amount":"+0.846345067024231","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":"Q2842828$99C44019-8613-41AA-B591-1309034284BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3512d04c31a9316638f83a639614bbdd476ea0f1","datavalue":{"value":{"entity-type":"item","numeric-id":3759011,"id":"Q3759011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dcc3073a7b83dd21133523d640ec1871d4a8d77","datavalue":{"value":{"amount":"+0.8077367544174194","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":"Q2842828$AF6D86C7-AB10-46F1-AC3F-EFD54265051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67830f841681e5e5e056c9b6a09218749b9915","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb73e8aa46b6b8c1cde03113fdd493fe31130e74","datavalue":{"value":{"amount":"+0.8021175265312195","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":"Q2842828$D3459B20-7C50-4F8C-8486-7F9A7BAB7EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ada702252b3ec544a5dc7c3034890df88686c45","datavalue":{"value":{"entity-type":"item","numeric-id":3178243,"id":"Q3178243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74853660fb7ec4e34879027c8413908c6b1a856c","datavalue":{"value":{"amount":"+0.7977274656295776","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":"Q2842828$5654C85E-5A0B-4F1A-89FE-9C3D5FC9A77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3260d99a7a47922e0a128a281b2b9b3f96c3b722","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba25694f01ad1a76f6ed63d550cd5393dfcb2b3","datavalue":{"value":{"amount":"+0.7973657250404358","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":"Q2842828$751D5B19-8F3C-4628-B8BB-0E64378A18AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842828"}}}}}