{"entities":{"Q2700049":{"pageid":2710793,"ns":120,"title":"Item:Q2700049","lastrevid":42209573,"modified":"2025-05-28T08:07:46Z","type":"item","id":"Q2700049","labels":{"en":{"language":"en","value":"\\(\\text{OntoMath}^{\\text{PRO}}\\) 2.0 ontology: updates of formal model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676589"}},"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":"Q2700049$9E44FC16-0111-4D25-9C40-0956FE66A17F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c8198b5d72a3713a776147f542ba9eee04ad40b","datavalue":{"value":{"text":"\\(\\text{OntoMath}^{\\text{PRO}}\\) 2.0 ontology: updates of formal model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700049$F8095CBE-81B7-4435-BE02-01B8D2150F4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8cc7ebf78fe5079269f76640ff148ba6a285663","datavalue":{"value":"10.1134/S1995080222150136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700049$6181D261-15BE-44E6-9BB7-60365DBC72C5","rank":"normal"}],"P16":[{"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":"Q2700049$B0494731-3BE2-4546-9B33-3B11423494D2","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":"Q2700049$1B037C95-0A2B-428B-8350-A276D681B9AE","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":"Q2700049$52C6DF37-4F43-4C38-8495-2088831B5FD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fdd8bc36a3bd1e23ed77b21c053f051997e685b8","datavalue":{"value":{"entity-type":"item","numeric-id":69786,"id":"Q69786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$17CFCA3C-248B-457C-8F06-1EA0097EFB41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58f6a43946330a9b1c758022a21e1f99d75b5028","datavalue":{"value":{"time":"+2023-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700049$684FF098-5E64-44B9-8758-EFD42D4CC74F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8cd66b4a52bca6a1829957d7f07a02cc36430a3","datavalue":{"value":"https://arxiv.org/abs/2303.13542","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700049$6D638E2A-FC0A-44E2-AE60-0A090C9CF7CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700049$4879DE96-578F-40F6-AA39-2DFC22B58531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700049$02503640-75AC-489E-A858-C3F7F3FBC9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc15b9c758e09c3b7327d558482ad05c9fe62c4a","datavalue":{"value":"00Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700049$B6F066B6-9C5E-42EA-BCC5-75B0D70FEA48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ceb2c00a86ba6ee7a4dfeb8177e1e1964e605c","datavalue":{"value":"7676589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700049$1B8264EA-9BB1-43EB-AD79-1D58E57758A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8eb7d8c3f2086b083c4a6a9925496917122093","datavalue":{"value":"formal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$165BBB1D-9AFD-49B3-A161-93D7FA117781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$87973518-24FD-41D5-94D5-A3D36775FA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae6edb85c9927ffbdf6357a825eaf60f5f096cd","datavalue":{"value":"linked open data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$F8D86EE6-016D-407C-A798-9CA1AF79991A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$DB1E96F6-DCDE-4DBD-A15F-5846B26774E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$3117717B-254A-4B40-9830-EDBD93554A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b98af3d3b3f6979239e42c71081e8ceacb899824","datavalue":{"value":"\\(\\text{OntoMath}^{\\text{PRO}}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700049$12F1FF07-7DAF-45E6-893B-D62C74C2B0C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$573A24BE-45F9-4717-8260-CCED2C05EE85","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":"Q2700049$A7EB651B-B130-4010-AC8E-9A21A6CDFABC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe68beef08150149c2a4408d4012a3adb47c03e0","datavalue":{"value":{"entity-type":"item","numeric-id":1948675,"id":"Q1948675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$5C7DABC7-D063-44EA-84AE-6474CD8C86DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e1d916c5d1b493840310ba11357eff334cd894","datavalue":{"value":{"entity-type":"item","numeric-id":2219392,"id":"Q2219392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$987D9505-D52D-4B01-B983-81200A0E864F","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":"Q2700049$EE2E3D91-600F-42B2-85B2-6C138CF2C007","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":"Q2700049$DCBF214F-ED8B-4A93-AC28-F6F60D74EA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4923c8b77236cc7fa5f1d9b5fd0a7e4aae6fb959","datavalue":{"value":{"entity-type":"item","numeric-id":2663667,"id":"Q2663667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$83C26CDD-73AF-4372-A162-9CE9CEEA3781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31a2431394021d6ec415b742acc6c8d57d283ec","datavalue":{"value":{"entity-type":"item","numeric-id":2817298,"id":"Q2817298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$D2820C84-58F9-49A3-887B-9544BC3F5D1B","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":"Q2700049$B77D4187-B948-4D66-A906-C6EAD6B85064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac9342c5572d5602c6081402449b442acd599ac","datavalue":{"value":{"entity-type":"item","numeric-id":3565360,"id":"Q3565360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$74D245D6-6158-4EF8-92F5-B5058D024D80","rank":"normal"},{"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":"Q2700049$DAD03C8F-838A-4222-BD5F-CD3F2F1E344D","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":"Q2700049$B0E1B10D-9E56-46CB-A673-6102804106C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a518dd161a376048f92cf0e5b89c3f4f7fac79","datavalue":{"value":{"entity-type":"item","numeric-id":5731719,"id":"Q5731719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700049$8C1374D4-CD80-4E62-A41C-E1040487188F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2700049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2700049"}}}}}