{"entities":{"Q2848938":{"pageid":2859658,"ns":120,"title":"Item:Q2848938","lastrevid":51823382,"modified":"2026-01-20T05:38:19Z","type":"item","id":"Q2848938","labels":{"en":{"language":"en","value":"Exploiting algebraic laws to improve mechanized axiomatizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208107"}},"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":"Q2848938$0491B3CC-D65D-4158-A0C4-A6DE71D79D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dcb95db8ff4aec3ea8122af670fcfd3b3e9447e","datavalue":{"value":{"text":"Exploiting Algebraic Laws to Improve Mechanized Axiomatizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848938$9240985C-12D5-45AF-AC3A-5CA10AA1AE3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4980064131751dcfaf5445db2438fbf5b4f7575","datavalue":{"value":"1394.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$802A6019-1708-444D-B675-AE75E7894CAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c947c53a153263e12b351a55722719017d0df457","datavalue":{"value":"10.1007/978-3-642-40206-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$70F4372E-85C9-4758-A3F6-62C0FF2995E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$6C1C5E7D-403D-4FE6-A867-20A61EEF73E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848938$4A647CD0-E68E-44FF-B140-6B1A9A483209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$9FAD4754-1039-4465-8C3B-CD6CF92D9B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$D25335BF-9EB8-4D55-B232-7CB4EB05179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$026B1D11-719C-4451-B4B3-737B12E3FE12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa0df6aff9ce8af790f2a9f1dd24f5efee1263ff","datavalue":{"value":"6208107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$56508329-A4EF-4DF2-8E4B-6FBAA60F4ED3","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":"Q2848938$F864B22D-ECAC-4498-88C8-CB4B56A1E356","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0417418a3e6355fa9100333d70905701cb2d1acd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40206-7_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848938$F1AC7CFE-3FFA-4BD7-9200-0534CA3F26A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db3b3c75f0a37266ebf561cff78630e14e511a51","datavalue":{"value":"W1949250500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848938$F96482AF-B8E2-4422-9347-BE4D00B4E780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$0C5DB28E-BDCA-4FEA-9DBD-300C48C74E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"392a50cb82fb05a2f2a440fd35f2b0d252f5c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":477629,"id":"Q477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$D7669CE8-FCCB-4315-9982-B6816F2E0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$77E8DEF0-187D-4AD2-A74C-18D0CB21DDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cf1b3c448f4f53abd3f8acb71b2d1bc15a6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3409383,"id":"Q3409383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$43D7AD5F-9FDC-4BF0-BAE1-3C762FB430EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848938$B08AD122-B54D-413B-96E2-E8B3BBF9EFBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df7469fd4b6c75916ba7f5d92ca1cc77277afb2","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a338823c3242eb90d4e39d9cce7142a5d41d376b","datavalue":{"value":{"amount":"+0.7383033633232117","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":"Q2848938$F4F8C42B-05F2-4C03-9098-4C521CEC3D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b065ed31bed0614e42256f662edfa7ea0f578e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1878716,"id":"Q1878716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16aba3c549e98c6a89c8370bb299650c3e8f2a4","datavalue":{"value":{"amount":"+0.7336297631263733","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":"Q2848938$6A0E798A-3849-4ABB-837D-76F76AF4DCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc22a892f290f6d6ac15b5d1402ac2bb9e5071be","datavalue":{"value":{"entity-type":"item","numeric-id":2810691,"id":"Q2810691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8c657f1ba894df224bd533835142f3b81eec7e","datavalue":{"value":{"amount":"+0.7103022336959839","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":"Q2848938$AE702C4A-F64F-4E20-94AD-7FB3E73F0AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5df123a7a7077661ebe648106932ecc5877a648","datavalue":{"value":{"entity-type":"item","numeric-id":835035,"id":"Q835035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a67afa8e58f8ec67ae37db2a96b2e0f7346895f","datavalue":{"value":{"amount":"+0.7029389142990112","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":"Q2848938$AAD28BD7-A632-4537-8493-25796C206671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b62d37896109220969a3ef180734609968c215","datavalue":{"value":{"entity-type":"item","numeric-id":4965820,"id":"Q4965820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d705c29aa8327fac82c42e86889a89dc83576e4","datavalue":{"value":{"amount":"+0.700446605682373","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":"Q2848938$95095E26-A47B-4CEB-BAB6-96540F5A164A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848938"}}}}}