{"entities":{"Q2259001":{"pageid":2269744,"ns":120,"title":"Item:Q2259001","lastrevid":71698812,"modified":"2026-04-13T23:58:02Z","type":"item","id":"Q2259001","labels":{"en":{"language":"en","value":"On the algebraizability of the implicational fragment of abelian logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409332"}},"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":"Q2259001$55F04E74-7FAB-41CC-B626-0201C59E7C9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2afa98f30cc26cf53ee6ed0de75a0d6ca19ad2f2","datavalue":{"value":{"text":"On the algebraizability of the implicational fragment of abelian logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259001$F1A65216-0FEA-4C01-81EF-29AAEF131098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adce32371d81f9ed470d1e93b6898a7ec223eb88","datavalue":{"value":"1337.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$38A06CF7-FCBE-4281-AA27-DAD44CFDB8EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26343b1d29e2ba0e13d11b43c77ed86a2a900b92","datavalue":{"value":{"entity-type":"item","numeric-id":1611253,"id":"Q1611253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$FCA5BA7B-2D39-4B36-954F-984843D88EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3594f2f05c64ba51f968a6314c65298766943595","datavalue":{"value":{"entity-type":"item","numeric-id":877240,"id":"Q877240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$925338D3-FEDF-47AA-BEA4-0209E7A575F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$15B0E893-BABB-4F69-9C3D-9026A7269715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2259001$6FD7EA2C-7BA3-446A-8618-968AC502B714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$5B0A79EA-C659-4891-AA1D-9A79A32C9F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$8BEC1D9B-73E6-4A6E-B965-9DBACE76FEF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c8b29dca9f6413239b6127e8079d2b3d880ddd4","datavalue":{"value":"6409332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$DBF94BED-69F5-45EC-B497-E1603783E16C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75c8725c53ec02bd11998c4d764ba1cfa90a631","datavalue":{"value":"abelian logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259001$FBFBF70D-07C6-40D8-B870-6B2126F2D616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d886560ac7226551f38145b83ab7ef4612d37a70","datavalue":{"value":"algebraizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259001$492714D6-6640-426D-B8A7-BF910C6DA4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d8e466075786001e9cc3df50491b3c4b8ef5357","datavalue":{"value":"order algebraizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259001$E5BCF638-FD9E-48BB-8931-09ACC070F00A","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":"Q2259001$1DF8AA52-9238-48F7-A423-EAF2211AC7C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cf184d7657e8a8780db540f1253bdb81452f924","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9515-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259001$EBCA4473-9844-433A-A9F8-86484F574036","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb60e96ad6d4fa192767f9dd64262e82770757e7","datavalue":{"value":"W2072443274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$876C07BC-E6A5-4588-9DE8-73ECDB3BB6D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$19B1AFB9-6250-4451-9857-3164024ECD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec69565a0f072194469c8cca4c8004e59972b3","datavalue":{"value":{"entity-type":"item","numeric-id":2433095,"id":"Q2433095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$D3A63674-84FF-4968-AA9C-CA1FAE89EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$01D46923-B162-43C0-A14E-C63D057C37B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$D96FEC5B-BE33-489B-BCA6-B6E961C2BBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c93c0d34188700efe5528747b69ea97581b817","datavalue":{"value":{"entity-type":"item","numeric-id":2372686,"id":"Q2372686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$36287DA1-FC0F-4809-9C95-FB3B5038D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b554d61218d9928b6258d017dec992409deea4","datavalue":{"value":{"entity-type":"item","numeric-id":3475268,"id":"Q3475268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$D7F4DACA-B36D-42B4-8911-D8DE57C28E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5584fa70f4d793bc2edd40411f015211dfc2d2","datavalue":{"value":{"entity-type":"item","numeric-id":3775559,"id":"Q3775559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$7AD48C73-40BA-441F-BF20-F67255494F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$FF18F547-5D3F-4A4A-A353-A21410CBB4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76df7dfb6bcbfa3b8baac0e2c3671b785b0f34d","datavalue":{"value":{"entity-type":"item","numeric-id":1879318,"id":"Q1879318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$DE71A19B-69AC-4A16-AE37-34D514DB6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4a285f6b345767b6fb3ac85ee2b398e3e30682","datavalue":{"value":{"entity-type":"item","numeric-id":2505136,"id":"Q2505136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$6E1BE018-FD1E-406B-884E-95116E31283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$AE968368-B2F9-45FB-A629-A7B48B47B1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e445482c7518b44eee9e26eeb76931d02af66d4","datavalue":{"value":{"entity-type":"item","numeric-id":4123296,"id":"Q4123296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$82F045A7-BD33-463E-AB57-B71C677E9A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$518DFD46-197C-4EB2-A52C-6B6973838339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895dcbdc46ea49ee475b8f2c4fb8f3ed761c8b82","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$D1CAD84B-77A4-490A-8492-7B19C4D5F85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a718f77b250c18d9505f42540824e7e4d0c47fe9","datavalue":{"value":{"entity-type":"item","numeric-id":4803975,"id":"Q4803975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$C41810C1-9CD6-45F5-8B44-0E1AC543DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f2e64700a85552f007875e3c478af7ce746872","datavalue":{"value":{"entity-type":"item","numeric-id":1001368,"id":"Q1001368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$D823CCFA-DF78-4038-9108-4E675E9761C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13c58e9e35bcb75dfb07119a12edc3115f4e784","datavalue":{"value":{"entity-type":"item","numeric-id":1935866,"id":"Q1935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$E4C49078-A1D6-4D00-A2FB-A44396AAAC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259001$86409ACF-D439-4CBD-8B6E-86171D1E42EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57121c6a2de5826e99aed274865af98304127430","datavalue":{"value":"10.1007/S11225-013-9515-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259001$52A7D74C-75E7-4BAD-AA28-D9971A10F5E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a145dfb12430492551d4fe58d19ae7cc9a4099e5","datavalue":{"value":{"entity-type":"item","numeric-id":3469090,"id":"Q3469090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c025de966a512bce6516ef69b4882a0b0a92b6b","datavalue":{"value":{"amount":"+0.8147339820861816","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":"Q2259001$8F5EC328-741F-4EAB-B115-065C0AAF8CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ca5c5570899977e5d2bbf8f1dc1645aab37fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1001368,"id":"Q1001368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a215b8111f7d984f93120a2ef76590e85b74a607","datavalue":{"value":{"amount":"+0.8121019005775452","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":"Q2259001$C682A017-16FD-4807-AD04-DF28DA7A04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8386f61c46cc7da937082acd54e126fc8e1802","datavalue":{"value":{"entity-type":"item","numeric-id":4011579,"id":"Q4011579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f1c77aac63e937fb3bfe4241d81d6c1db0c6ff","datavalue":{"value":{"amount":"+0.7817140221595764","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":"Q2259001$5CD013EF-A482-4A39-99F8-2B0E05F937D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffa14b38e2be4da890efa2af9532f7ec060b050","datavalue":{"value":{"entity-type":"item","numeric-id":5263109,"id":"Q5263109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a696188a1c806a892f1e650a9bbf291144206aa3","datavalue":{"value":{"amount":"+0.7815417051315308","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":"Q2259001$18291863-5946-413A-A6F2-19E5AC3F4725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0bdcc9994a26c010338c2844221207b4e3fa25","datavalue":{"value":{"entity-type":"item","numeric-id":1935866,"id":"Q1935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf00bff63b5ed8135490c1b1dea5e4a2cd3776b0","datavalue":{"value":{"amount":"+0.7697210907936096","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":"Q2259001$35696A47-72E0-4332-8FF5-3F6F47CF043B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the algebraizability of the implicational fragment of abelian logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_algebraizability_of_the_implicational_fragment_of_abelian_logic"}}}}}