{"entities":{"Q2940960":{"pageid":2951680,"ns":120,"title":"Item:Q2940960","lastrevid":52177136,"modified":"2026-01-21T02:36:29Z","type":"item","id":"Q2940960","labels":{"en":{"language":"en","value":"Geometry knowledge base learning from theorem proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6388801"}},"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":"Q2940960$3EAA83FE-765E-49A7-AC61-DEA9049DA8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac34c9dd49b67d9de44e4b1a3fa1efed3a89cf11","datavalue":{"value":{"text":"Geometry Knowledge Base Learning from Theorem Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2940960$1E65851E-9121-42B2-A454-018CC4847040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b90e331c0e8a02085e8a38e49b919e63a0d6d486","datavalue":{"value":"1303.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$A7270BCF-4CE8-4458-A01C-24FD434150A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e40465ab83591467aca48229e8e7d2677e593f3","datavalue":{"value":"10.1007/978-3-642-54930-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$13E88EE3-2174-4641-95AB-A695C0806DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e21731ce0bb1ed0a8e08875a2314de3d060616d4","datavalue":{"value":{"entity-type":"item","numeric-id":606823,"id":"Q606823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$24033024-CF1C-495E-BB6A-F61F1B8332C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2488885e44eaeae21355eb5840c2a31bf1505aa0","datavalue":{"value":{"entity-type":"item","numeric-id":2426093,"id":"Q2426093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$E8DCA0D8-F795-4671-B8B3-9C6C12C259DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4917ec7b95571a154fe2e3deca9d9867f90c6d82","datavalue":{"value":{"entity-type":"item","numeric-id":2940958,"id":"Q2940958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$CEF7DB5A-5A6B-4E35-9C4F-4B159B0796E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b63a0b8636af087ae7ca3747413b763948dbc1d","datavalue":{"value":{"entity-type":"item","numeric-id":2940959,"id":"Q2940959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$499FC6B5-D154-4D93-AEB2-75B6FB892056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"325dbbf8ac4a41000cfc1405199d76e8938f80d6","datavalue":{"value":{"entity-type":"item","numeric-id":347909,"id":"Q347909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$12571F99-784F-47A4-8886-3C5F3BB98EE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86c17446e8fbe65d1d4392741fbe04580ac288c8","datavalue":{"value":{"entity-type":"item","numeric-id":267724,"id":"Q267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2940960$B994DAD9-F58B-4CAC-A88C-DC8FFC738D1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d0251b69d7d19697bca623567230f62a256b263","datavalue":{"value":{"time":"+2015-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2940960$8EEB487B-2B77-48EE-9E42-4BFB5440B4CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$4A5A5104-F33D-46EB-A148-EACBE2D79381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$A34D9F71-A53D-4E67-8081-1B15B11552ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$0FA3E310-7F82-47C4-B694-A662EE7050B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba3d02a1678e622aee1a081bd22df675bc1a95de","datavalue":{"value":"6388801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$F1F35638-B6C8-49A6-A8ED-03D80638D044","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940960$325995D9-7D71-4DCC-951B-A9637D8CA820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"536681ee6e7dd2cccddf0ce15211fa042aa1a63d","datavalue":{"value":"process ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940960$FB756EB1-DEC0-40F0-96AB-0DE1B904B644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a16c017f93071cc3bd5a63897b0714d3c70e0a7","datavalue":{"value":"abstract model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940960$EDC521D2-7685-4C5B-BDBE-40379078C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd65bf2f39a1e2c83043fedbf892b607ccb99b0","datavalue":{"value":"instance model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940960$F748A137-9F74-4E83-BD5B-B2D7BD63E89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2940960$4A1DDCDA-8075-4F18-A839-659392C94687","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":"Q2940960$6C93A2A1-9FED-4F56-BEF2-D363B2840018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb8112dd40007e981c95c40f19bd70605b612cfd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54930-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2940960$BECCBF44-AC4D-4522-B246-EFB978935A64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1380ad65b3d462ed8e6724cbeeb2c6f7d946303","datavalue":{"value":"W314467427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2940960$CFD9743D-E02C-417E-BEFD-AA05A0B3AC12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69459204057122d854131c61f9433f2f1fa67363","datavalue":{"value":{"entity-type":"item","numeric-id":5453481,"id":"Q5453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3bb16fa382fc63dc0388b3fbf490219fbddabc","datavalue":{"value":{"amount":"+0.7224912047386169","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":"Q2940960$59D00ED8-703A-4CE7-BE75-7C2EE0248D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b605a580a64f152add83fd052b90bc7edad66705","datavalue":{"value":{"entity-type":"item","numeric-id":2879130,"id":"Q2879130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b421463f0f31d3de32ef8b650c91fc9301157abc","datavalue":{"value":{"amount":"+0.7211140394210815","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":"Q2940960$5D6DA661-C186-483D-8D95-78D5C18E3E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686a9085b7efbd9d4fc9ade03a05d1ba52eb9054","datavalue":{"value":{"entity-type":"item","numeric-id":1995808,"id":"Q1995808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3d46a7392a261b3af7572b1044ff3273d5f2ee","datavalue":{"value":{"amount":"+0.7111442685127258","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":"Q2940960$9B069014-BF99-4014-824A-409A6209789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcad06a8b7fd792de826151e591f9a519ce1dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1581854,"id":"Q1581854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8010c830030cfcc72dd268d66aa7b0aa75575c2","datavalue":{"value":{"amount":"+0.7109757661819458","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":"Q2940960$14150708-E224-4825-A7CF-C249419780F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c50e2564848464b8614962364115eedad1a306","datavalue":{"value":{"entity-type":"item","numeric-id":5407115,"id":"Q5407115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de32310ac76a49b90d65350dc2f7a5069519c1b7","datavalue":{"value":{"amount":"+0.704986572265625","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":"Q2940960$AF37E986-2555-4F49-AC25-7CD278788A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2940960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2940960"}}}}}