{"entities":{"Q2696681":{"pageid":2707425,"ns":120,"title":"Item:Q2696681","lastrevid":47839378,"modified":"2026-01-02T20:32:04Z","type":"item","id":"Q2696681","labels":{"en":{"language":"en","value":"\\(\\text{OntoMath}^{\\text{PRO}}\\): an ontology of mathematical knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7675134"}},"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":"Q2696681$C3BFF653-66B9-4267-889A-647A09F68364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f2339a096682086f3c2325e1319c3a321453fd4","datavalue":{"value":{"text":"\\(\\text{OntoMath}^{\\text{PRO}}\\): an ontology of mathematical knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2696681$92B895F5-C2F0-45B6-8F68-F9BF9C3D68A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2a61a9b4abcd5dd3683a6bcafc8f0a169640573","datavalue":{"value":"10.1134/S1064562422700016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$A32E6AD9-C598-4B5F-B12E-07890E9AA479","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d05aa6bd460150c46fa813798d8b62e3f8b10039","datavalue":{"value":{"entity-type":"item","numeric-id":483690,"id":"Q483690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$EA7D0D56-4BA6-4614-98F3-71E445AE0C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313aaef348ad86a1ef092c7cf8a6c73d8fe5dd6f","datavalue":{"value":{"entity-type":"item","numeric-id":2219387,"id":"Q2219387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$B2FCEFF4-BC31-490C-B9AA-4D8892B7204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"820c8fe4205672783a607a9c0aabecbc3a5076b4","datavalue":{"value":{"entity-type":"item","numeric-id":483691,"id":"Q483691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$E92DD7B7-FF32-48E3-A68B-8C75B18A7474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58807d2c156fbaa3f1d6f99efad33d55f68ff2d0","datavalue":{"value":{"entity-type":"item","numeric-id":483692,"id":"Q483692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$BDF7D439-8B60-46CC-9D4A-3A2D72C439D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$394B688D-74BB-4FA3-96AA-63702A413710","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b263d5295cc97d9d2de9006ed9ca8239afe0517","datavalue":{"value":{"time":"+2023-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2696681$714AC834-1B84-4C2D-B689-34CF9E222BC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$11123208-4BC8-4B12-9F83-72BA1172EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e092ce393ce250d972c84ea1199d79addd7f75f","datavalue":{"value":"68Uxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$A5E42D1D-D866-4665-99FB-9CD05D0279A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$A88C3EBA-CD5A-4DF4-BC67-DBD549B01BB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb88ba55fe2b2ee3aa588ea5ec43d2726331e966","datavalue":{"value":"7675134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$F5A1D042-CA75-42D3-A1B9-8160A8B2E60D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696681$0D676D45-233E-40DB-B40E-141D2D4708D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8918dc02c5fc750cd032be9cde8d54157a3fc515","datavalue":{"value":"ontology development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696681$F6E69ADE-D9BB-47CB-83DC-7ABAFA4649B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45467bb0e45e41a145efdd42f037e0d04bcc646","datavalue":{"value":"mathematical fact extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696681$2686C9EE-E324-446F-BA3B-DC9927B609D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c41fd8717033401da27874586fb9ae8358b2d141","datavalue":{"value":"reified relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696681$853C9538-CC82-487C-80D5-4525E96CA155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2696681$EBEE6720-04AA-4584-A8FC-B0922295D2EC","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":"Q2696681$62004FFD-07BC-45F0-B7AC-7FA68392CCC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31a2b657bf38df052257c0c2a4563d6141b8868f","datavalue":{"value":"https://doi.org/10.1134/s1064562422700016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2696681$564A2BB9-F930-43F7-82EF-170DE05BDBBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25803458168bd4466584febc6ba1533bb5df3ced","datavalue":{"value":"W4309648030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2696681$50F6DD28-CE0E-4898-87EC-B4913274D10C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11c57e2c7e7a34dea33aa7afba81fbc9b2f8a3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2885327,"id":"Q2885327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$C930D2BA-6C47-4B54-A057-509D29F91604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4efbf0a7b1f90aad592ab9c9543dea4c693194","datavalue":{"value":{"entity-type":"item","numeric-id":1982479,"id":"Q1982479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$661D5360-CF4C-4D3A-AF50-6F2A507631D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076ed0f347708c3116ffd140f116a3080beac135","datavalue":{"value":{"entity-type":"item","numeric-id":2128813,"id":"Q2128813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$16D8F3AB-C313-40F0-AE9E-6B503273174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cf798912c37ddff3246b3788a111399396e0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2263116,"id":"Q2263116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$547C829A-2AA6-4863-8FA4-F988E2AD711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e8c5efe62c1f0f284e1e3160910ccbd8c92ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2219386,"id":"Q2219386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$EF89F59F-9CE1-4BE1-81EC-94AC995DE4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6efcb7d236629edbcbac4a3c3c65ac65ff63ac","datavalue":{"value":{"entity-type":"item","numeric-id":2364700,"id":"Q2364700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$5EB7EB04-8EB9-48E4-B116-30FC41981C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c75e6d5d79b315b03a247866aaade29fd57461","datavalue":{"value":{"entity-type":"item","numeric-id":5892023,"id":"Q5892023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$B036E03D-4692-4E6D-B866-B8B5C3B8B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09f089fe0d6ee6b39b83eddc7cca26c3519ac49","datavalue":{"value":{"entity-type":"item","numeric-id":2631217,"id":"Q2631217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2696681$50E5174D-36A9-408F-A56E-8B1915192AAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ef3264877db82c8e6314e3f1e7ab01b1139901","datavalue":{"value":{"entity-type":"item","numeric-id":2219392,"id":"Q2219392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5847c9d11c677d8758dab50572f35f8cf45762a7","datavalue":{"value":{"amount":"+0.8191455006599426","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":"Q2696681$FF23F6A7-380B-4601-B78F-88C5D6748CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00268f638801e46a30b139620d428ceefd6f97ef","datavalue":{"value":{"entity-type":"item","numeric-id":2767941,"id":"Q2767941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a756d67e999ef9efa58519b7ce1ec4d3b0257e","datavalue":{"value":{"amount":"+0.7557700276374817","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":"Q2696681$337FE0E6-FC25-46DA-B3C2-CFB93910E48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc7c44089b8ef588b0c1995dcc8238dde99dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":2263116,"id":"Q2263116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43aebfec26b8288795ed7278637d34d331a4d01","datavalue":{"value":{"amount":"+0.7357249855995178","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":"Q2696681$2A9060E8-5F0B-4B6F-A815-DB46D7367328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0280f53a1d1361897de4256d8870a81a8a2fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":1810912,"id":"Q1810912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90321f82b7b212bcfbe3bced6ed0e7cb8ba9f9a6","datavalue":{"value":{"amount":"+0.7312538027763367","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":"Q2696681$948D9AA1-970E-475D-B5E3-457ED6118CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c17365fc5be61a2be89d52c0c46eab438c33960","datavalue":{"value":{"entity-type":"item","numeric-id":2907352,"id":"Q2907352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6d3925c831339158fbcd6c014d9397afe076d6","datavalue":{"value":{"amount":"+0.7303428649902344","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":"Q2696681$62B4D1C6-6119-4D05-931E-FE28C9130726","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2696681","badges":[]}}}}}