{"entities":{"Q3377761":{"pageid":3388465,"ns":120,"title":"Item:Q3377761","lastrevid":49809532,"modified":"2026-01-10T23:07:39Z","type":"item","id":"Q3377761","labels":{"en":{"language":"en","value":"On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and B\u00e9nabou theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5015955"}},"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":"Q3377761$A18664DF-5E3C-4BBF-B82F-FD9471F6FABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b647b15ebd10482dd93bc338ff9993c7273d6ad","datavalue":{"value":"1096.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377761$5B3F4D98-5113-436D-A49A-374B4429B12C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da2f4346d4fd64bafaae9a02ed69318dee8c29d2","datavalue":{"value":{"entity-type":"item","numeric-id":590975,"id":"Q590975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377761$7A92E3C0-7A17-4EEC-92F2-E3C743B13C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985857afe793c4fbf5738ab6e314ed28c93dd5ee","datavalue":{"value":{"entity-type":"item","numeric-id":929638,"id":"Q929638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377761$BD31D653-CB5B-4DFA-B9F3-7898401EBEB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c49568d53c8ad1554f70d0d5613f2d9e8132fc7f","datavalue":{"value":{"time":"+2006-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3377761$D3F454C6-E98F-402A-8646-BB5449A90B49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377761$B81D7D1B-4F08-465E-AE66-547CE1BD2A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377761$0A4459FA-BA77-41E4-8CB6-85C8BA3EB870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377761$C68DC6A7-D8C6-42C3-A3FE-39CFD1F1851D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da80dc810d07b7b696b01656f2d2a643821e92b","datavalue":{"value":"5015955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377761$BDEDE329-827A-47C9-9010-F5AF4D9170CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$2BD21712-A595-49EE-B6C6-9677230C38B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0053e6a879fa16dee04762d4223662364a6d953","datavalue":{"value":"term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$FAC7F932-8AE6-4EAA-A4BF-A3096EBB3271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27469e96df2a0f1bdfb5c9119732170cd3f39c54","datavalue":{"value":"equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$E7DF2DF8-9310-49CE-9460-091A57B868D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d51b352c5e80dd2a395134cbe1e266332ae52393","datavalue":{"value":"many-sorted equational completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$019A97D0-03B3-4317-BCA1-BA82C9838E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3a1dab2fd64baf981b54bf772bdf5165448e3e","datavalue":{"value":"Hall algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$6F880666-CDED-4E7D-8D69-6552E9AD1D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e84a85f86ebe62e604760962036e052cb25ee7","datavalue":{"value":"B\u00e9nabou algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$C7716B98-20DF-439A-8BAD-2EF996ABD3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d2f1dbf7664129afc2aa2df40c6e489ea46f1b","datavalue":{"value":"B\u00e9nabou theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3377761$ABD0B5EC-F7A3-49C7-AE03-3E30BFC766A4","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":"Q3377761$07D285C3-EE08-4089-87EF-BD3FB2F0E813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479cf0a1e8d577af60a5bad2f25ba0e6015128f6","datavalue":{"value":{"entity-type":"item","numeric-id":3086528,"id":"Q3086528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95efe74833fe343cd01afd7b2e1b0150d446be70","datavalue":{"value":{"amount":"+0.8187187314033508","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":"Q3377761$99D4171D-174D-4CB6-825B-3548DC879A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766816f4aa439bab768f8a9062b1339090f5bda9","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a39806e44d10eb639d78cdff6e251e647409123","datavalue":{"value":{"amount":"+0.806100606918335","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":"Q3377761$2FD213FD-A219-43A3-851F-6BAE1723EAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e505749ad60d4adff3755ab6e8607c4dd5cc609","datavalue":{"value":{"entity-type":"item","numeric-id":1185017,"id":"Q1185017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1e7bfab12c314b2f496e5e5389f8fa04c2021e6","datavalue":{"value":{"amount":"+0.7866392731666565","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":"Q3377761$EC2E26C3-C6CF-469F-98F3-6CD14408C2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da99e9db4c9a19615ee8f0f5312554d35d871021","datavalue":{"value":{"entity-type":"item","numeric-id":4682103,"id":"Q4682103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca628d428407c04d103774fb1f018beb9cff4506","datavalue":{"value":{"amount":"+0.7865405678749084","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":"Q3377761$A9B79415-9C14-47E9-B1A3-EC323F3A6CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23773552b8ca50c3a1c6cfb8cca8c9f9df875fd","datavalue":{"value":{"entity-type":"item","numeric-id":1762479,"id":"Q1762479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e539dda75773decf8ae1cba746faab6cf9e1e","datavalue":{"value":{"amount":"+0.7862328290939331","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":"Q3377761$264244E8-CC33-4E8C-A1D1-9BB05814F04D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3377761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3377761"}}}}}