{"entities":{"Q3086528":{"pageid":3097243,"ns":120,"title":"Item:Q3086528","lastrevid":85732205,"modified":"2026-06-03T11:19:11Z","type":"item","id":"Q3086528","labels":{"en":{"language":"en","value":"A 2-categorical framework for the syntax and semantics of many-sorted equational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872049"}},"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":"Q3086528$60B5F1E2-9888-44C1-A15D-88B7501B8957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6975c0e4d9d2678184a1531626efade91d29ec9d","datavalue":{"value":"1243.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086528$1989497E-2D0C-431E-AE45-2D893CA73D52","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":"Q3086528$97812C42-CB03-4372-AD35-8681E9649971","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":"Q3086528$A49D9970-7019-44E8-BC5D-9957A94D41BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086528$81D1F8A8-9F53-463A-A963-C5037523258F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086528$30F56EB4-4997-469E-99C1-4C9A763866DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086528$768F15AB-3933-437F-BDFF-231320455ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086528$0205F909-4BE7-45F2-8424-19DA20A84C9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75442d6220492bdc373e1594b63ccc68093c35e6","datavalue":{"value":"5872049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086528$D1436572-D388-4721-AFD9-13A096A81554","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":"Q3086528$F7FE7373-B278-4369-A4BE-BFADD1ABFE8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64314eb11f70a97a3d35a6368144f21103f7f010","datavalue":{"value":{"entity-type":"item","numeric-id":3377761,"id":"Q3377761"},"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":"Q3086528$8A41357B-72F3-4159-B1EE-EBCFC9D0EF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee17e5f7ca465018196bb44e31af7395070d270","datavalue":{"value":{"entity-type":"item","numeric-id":993499,"id":"Q993499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a162eb470c26d9778cdba905de1ad373800bf7","datavalue":{"value":{"amount":"+0.7686931490898132","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":"Q3086528$FB48CA7A-E8AC-49D6-8271-6DFB9215125D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b50dd622428bf6cf7dff86ff77eb487d405e83b","datavalue":{"value":{"entity-type":"item","numeric-id":4396591,"id":"Q4396591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25e47869c293d7eba13db5ae273f410c30416e9","datavalue":{"value":{"amount":"+0.7674363255500793","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":"Q3086528$BD80F007-6487-4F1A-A7A4-8C1F50E8CA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8e9f394d991f8bf62b45b1d42fe18ed3a50e0a","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5d28c2cbd34c4282ace04b4be85e97ae1bc3aa","datavalue":{"value":{"amount":"+0.7628326416015625","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":"Q3086528$E8808625-04DD-43E3-A0E5-2EB079CEE46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e024dcb08851a6bf290caa0c5e168e9a796667d","datavalue":{"value":{"entity-type":"item","numeric-id":618170,"id":"Q618170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee645d6898c9ec8220004f798e7783be13c610c5","datavalue":{"value":{"amount":"+0.7556446194648743","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":"Q3086528$920F724E-1B0E-4EE0-AA1E-6CEC305B244F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A 2-categorical framework for the syntax and semantics of many-sorted equational logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_2-categorical_framework_for_the_syntax_and_semantics_of_many-sorted_equational_logic"}}}}}