{"entities":{"Q2102924":{"pageid":2113667,"ns":120,"title":"Item:Q2102924","lastrevid":47787154,"modified":"2026-01-02T16:53:50Z","type":"item","id":"Q2102924","labels":{"en":{"language":"en","value":"A Wos Challenge Met"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632084"}},"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":"Q2102924$4EB222A4-96AB-443B-9538-56A4037F63F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec4ee92d53a34a818544cd8f3dfeea3537354fa3","datavalue":{"value":{"text":"A Wos Challenge Met","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102924$B3DCC304-F60F-4B5F-B5FF-4C62E975C4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$8BDC09C2-F75D-4746-BD5A-5A6CB12F8554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$FD3A5881-FBE5-4A9E-A4DD-4465EE9B4AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102924$8051E4DE-9858-4BDA-B7A0-52EE9B76096C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102924$D622E3DD-20ED-4923-AB85-A19C7A0A0E3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a9140ca7e8bbf09b4c224f2782d05d22061ebf1","datavalue":{"value":"7632084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102924$C38AE934-C4A5-433F-ABD8-1DBE21052DEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102924$84F33052-1BDC-4CEE-BBE8-99EB5335B542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485755be63b00547fd18a5666d481b2ff3f0c7f3","datavalue":{"value":"Moufang identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102924$A45E8769-F1CA-4783-9020-C9D1B3BD06C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f6328d132aee095aa01e00cb882c6529bd02b6","datavalue":{"value":"Prover9","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102924$111F444E-0D68-476C-940D-B2F1A0A9C710","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$D32A0069-D461-4AE2-814E-D55B11DE4427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$9A255D33-CF81-4241-9CF4-F0BE21530AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fc0dca86ff8136d849c70816afe717a0cd59f39","datavalue":{"value":{"entity-type":"item","numeric-id":35719,"id":"Q35719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$E6FD963E-5CA6-4A1A-B22A-3CCAB7954BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$2C648FFF-D1F5-4F82-8B25-242F21C13A07","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":"Q2102924$DDE5B9C4-9B21-4E9F-B157-B35A33843767","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"057257499e365f6c23b18d13002e89da73e0d3ae","datavalue":{"value":"https://doi.org/10.1007/s10817-021-09614-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102924$9FFF09AA-48D5-45FB-AF64-F2082C442EC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e7cd3089f216b19cfdc478887528457a676f6de","datavalue":{"value":"W4206598976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102924$97A65B0E-4A9D-4C88-B2D9-49B70BFBD78B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"504079471536b765c7572de1bbb884d05b85d5bf","datavalue":{"value":"Q114264018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102924$9F34607E-3347-4B67-9EF1-41B9CE43DDE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c67593f7c9b3d88eaf0308ab1b3a37035501fbd","datavalue":{"value":{"entity-type":"item","numeric-id":912653,"id":"Q912653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$00F5327C-9E57-4CFD-AB71-4721E959D45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5e68e22579bd00d210626f9d06ae23de632691","datavalue":{"value":{"entity-type":"item","numeric-id":4539630,"id":"Q4539630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$71B2EBE3-981B-4D27-9363-ED88712041D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42182537caf540a6b7314fdf96f3b68cb2793047","datavalue":{"value":{"entity-type":"item","numeric-id":4913865,"id":"Q4913865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$FAF088B1-E185-45F9-ADA8-DD665E5681C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8ff14107ce8d99df5331d1320a666bc5b9ff0f","datavalue":{"value":{"entity-type":"item","numeric-id":1921907,"id":"Q1921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$9FC12798-3B74-4E17-B2AC-6272D749C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$A13507AA-62CF-4191-BA99-48E91099C840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d369cdefe0a9566736c1e54a3297e9cc957d72e","datavalue":{"value":{"entity-type":"item","numeric-id":5951528,"id":"Q5951528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$FA87540F-FCDD-4D00-8E4D-C23B5E09030F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02927b40fa56a8999b1ccef110321a14129fb12","datavalue":{"value":{"entity-type":"item","numeric-id":1815858,"id":"Q1815858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102924$68132DF6-1B98-43C5-B5C6-E0B2A26C400A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01e7b7bb2ce3d61c2347a6bd8943c0fcdc150cc2","datavalue":{"value":"10.1007/S10817-021-09614-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102924$89BDB57C-C7C5-42CC-8417-755433BE47EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab428ec9ebd9efb647b0585dd94a1dd797714f6","datavalue":{"value":{"entity-type":"item","numeric-id":2102925,"id":"Q2102925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a22f5033402b03c32cfde349d7a95759dd28d4e","datavalue":{"value":{"amount":"+0.8442335724830627","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":"Q2102924$19055C9A-86AA-42FF-97E6-9FD473D0A28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c91a41304ee1e22c98856f77a856668986461a8","datavalue":{"value":{"entity-type":"item","numeric-id":2102922,"id":"Q2102922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7b9ada0813bc0a691dad64e4579bc581526900","datavalue":{"value":{"amount":"+0.7913850545883179","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":"Q2102924$D31B94B0-F080-4032-A374-C2FADDB381A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece0541a524b3a684ce4405099c8e14e9f4e04eb","datavalue":{"value":{"entity-type":"item","numeric-id":4229404,"id":"Q4229404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5509709689e4216f24a83b3884df8ee1175dc","datavalue":{"value":{"amount":"+0.7690862417221069","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":"Q2102924$1F135D96-359A-4E0A-A7E0-F2A5FB0D9ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8fd98a4719949536e71c1154f115b57716de4","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5509709689e4216f24a83b3884df8ee1175dc","datavalue":{"value":{"amount":"+0.7690862417221069","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":"Q2102924$E2443D7D-B7D2-494B-A0D0-7206E4A5AB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a61fa3182d2eef385940fef7227e3b94e96a02","datavalue":{"value":{"entity-type":"item","numeric-id":4761817,"id":"Q4761817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96e4b6a197e65e17dbe1c736ddc2af8e2afa902","datavalue":{"value":{"amount":"+0.7509647607803345","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":"Q2102924$1662307C-CA0E-43F8-A01B-625FFD3E6386","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102924"}}}}}