{"entities":{"Q2879097":{"pageid":2889817,"ns":120,"title":"Item:Q2879097","lastrevid":44707626,"modified":"2025-11-25T09:21:04Z","type":"item","id":"Q2879097","labels":{"en":{"language":"en","value":"Theorema 2.0: A System for Mathematical Theory Exploration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341290"}},"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":"Q2879097$F7AD388A-171E-490B-8DBC-C07BF5231039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21529a6b60182a994537bde5c4b0775e8552af9f","datavalue":{"value":{"text":"Theorema 2.0: A System for Mathematical Theory Exploration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879097$E005EC66-BA6B-4F7D-876B-1AB529993637","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e58761d28fd9314185ecce4d196319640992dc","datavalue":{"value":"1403.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879097$54E6568A-8C12-4237-8897-B4DBB9040979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5573039323f0aac3561e7200540feb21f4836e2a","datavalue":{"value":"10.1007/978-3-662-44199-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879097$4F4EA165-59D0-4661-9617-E9337129FB9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b050b9c871ba52ecd53588adcdf2650a7e82b19","datavalue":{"value":{"entity-type":"item","numeric-id":865645,"id":"Q865645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879097$9ECB4006-1D23-4A46-A5AC-6EBA6E9BF71A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4ac82364f0ef37674b402ad685753171835f31d","datavalue":{"value":{"entity-type":"item","numeric-id":2879087,"id":"Q2879087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879097$68CEDF9E-8401-4D79-A15E-39B940CDDBA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879097$4F921965-8458-4421-BDE5-3DC897677AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879097$D6581B89-744C-4F1C-9F73-537FC2278D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cddd2eb64e96d2b88f37e7a2402fe9c17484021f","datavalue":{"value":"6341290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879097$3C004215-240C-4129-B9BC-BAF37283EE7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37db48fc50878deb5298f058e27a669b8c15ab38","datavalue":{"value":"Theorema","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$1AD75783-9985-4BD3-ABDA-C9080469AA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1081227777eaf41721069031ba93de0849cec709","datavalue":{"value":"mathematical assistant system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$5E3831B8-C802-49A8-9BBE-44934557C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$D6CA7C85-FCF3-49A3-BEF0-24BC8736E039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef86f581c3c438a6a8d6ac2be8b08e9c6183209","datavalue":{"value":"theory exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$730EE5B8-F1EA-47F8-9481-1ED116C9A3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5bc49cd8610ce6f7d0777176b15c8db9fe681a","datavalue":{"value":"user interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$6D394F4F-8E91-4351-888C-82DBAA6A2E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f78c72b9351202632ad1a02e49ef6b3dfa2d58","datavalue":{"value":"GPL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879097$025A1FC6-DAA2-42EA-AC6F-16236DDA503B","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":"Q2879097$B46A4087-9050-402D-9D27-092B39A610F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76dc5f0619200c5fb85affcae549ea2440d509b1","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44199-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879097$1F5EEE35-35F1-4F70-B191-54CBC23144FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cce2c0a0400f36a827850085ce3d2380dbaf922","datavalue":{"value":"W64540772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879097$D991A098-15E9-40C8-AE79-C9EFEE664B8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94184a395173f1800c8efb0fef89d70cee12a70a","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e23d8cb44f841ee7c6eefed3864b773b30850e","datavalue":{"value":{"amount":"+0.9308234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$1422AD90-2C29-40BA-8B62-804FEC6BC63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7efa81b943baab3984c7d49bb72cf64c3df32ca","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20ea2a4f709b2bc2c4adf30eed52f2b5e1a149d","datavalue":{"value":{"amount":"+0.90931463","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$3BDB168D-DD7A-46AC-AFE2-DDC0DCFF9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9309577822db3b21e2b3a967403d44aa61bb595b","datavalue":{"value":{"entity-type":"item","numeric-id":5387844,"id":"Q5387844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99684de6f13a3fdf2497260a94c99f86ead486a","datavalue":{"value":{"amount":"+0.8882757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$8E42325E-FE44-4378-8724-D23DC4C566CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c53ff24d99dc5823b47104c19e4145b1541675","datavalue":{"value":{"entity-type":"item","numeric-id":688727,"id":"Q688727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c986fb0083adf4321c41100a82bd1065a4a3fc","datavalue":{"value":{"amount":"+0.8757854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$C04BFF9E-EE5C-4907-A50D-653DD3A64BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd394b71b8901b23d26099d7036d7a493bb8ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd034618c56ff7228f348c4470f1facef81c9df","datavalue":{"value":{"amount":"+0.8530393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$154CBA66-C1A6-4563-8EC9-82D6FB97FCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdade178ac9ba6848e51f8546460e812ce1b68c5","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e20337008584e9c22f0f3d35ebd015994b8da4","datavalue":{"value":{"amount":"+0.8484849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$DDC26781-99D4-4A8E-B8F0-F71079104F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0400a08924bcef2385cba9f9f098bdb86d487438","datavalue":{"value":{"entity-type":"item","numeric-id":5464706,"id":"Q5464706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580417eb56a5d77040e311a8b1f771cb387a4639","datavalue":{"value":{"amount":"+0.8445646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$D1BFDCB3-9889-4E72-8A15-3A4AF508A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9726cc7376f9c9e17be44376106ad9280d3b83e4","datavalue":{"value":{"entity-type":"item","numeric-id":2819200,"id":"Q2819200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4119f9e07e68636d95e206757f9280f98f841867","datavalue":{"value":{"amount":"+0.84397405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$CDD70EBA-B367-4428-90FC-8E67CF122CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3c074ee182c14fb829f48d8ee3067fb50232e8","datavalue":{"value":{"entity-type":"item","numeric-id":3336730,"id":"Q3336730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e40cf698bff36b9b720bbc27d0a11fa0a526dad","datavalue":{"value":{"amount":"+0.8408731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2879097$40BB7FDD-E466-431C-830E-A9CD7308E04C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879097"}}}}}