{"entities":{"Q5293438":{"pageid":7323012,"ns":120,"title":"Item:Q5293438","lastrevid":50125076,"modified":"2026-01-13T05:35:07Z","type":"item","id":"Q5293438","labels":{"en":{"language":"en","value":"Algorithm and implementation of mechanical proving of a class of theorems in elementary differential geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5169225"}},"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":"Q5293438$C865DA78-44D8-4AE5-AA51-2B9EAE9CB2F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e209055cd96313605a9212c19b6a7d6bca1b5785","datavalue":{"value":"1124.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293438$F9423FA0-34AC-4866-A229-CD717A5F7A5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6182c79467a47da3cf8591f5631f6eb4f14a992","datavalue":{"value":{"entity-type":"item","numeric-id":2960018,"id":"Q2960018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293438$279D07C0-5BBF-4155-A329-78A2E15C71A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbcae0cd010cabad8ea55f4ed0fdddabb74b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":953574,"id":"Q953574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293438$30FE157B-EC86-42BD-9D70-3D9C9FEF52E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec060f05c0c9d4e59a995a384fddb23decd68c5c","datavalue":{"value":{"time":"+2007-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5293438$4C987B98-524F-4E06-B570-7A5DA475B064","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293438$CB97EF5F-0508-40A5-BB67-F124ED792503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f12b5fb12c4f2e696bed25057bd1db0f82624a0","datavalue":{"value":"53-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293438$4DA4BDD1-CCBC-435E-AA72-AFE9683E159F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293438$4C0A6AF5-2673-46CC-A639-B6BEA1534FE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f7fe42144e4efccded6a3c1d3d56551bac6c57b","datavalue":{"value":"5169225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293438$AD2B8C65-9ED5-4A4C-A2E6-AF2291064B6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293438$51F91B16-F4BC-445A-93AA-277917F52781","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":"Q5293438$009AAAB0-95AC-417D-8270-3425BF54E050","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f359231efc917a894f510aa0cc7bc2f60907be8","datavalue":{"value":{"entity-type":"item","numeric-id":1368208,"id":"Q1368208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f025b92d143d9080a7e584599f0b4a72155e474","datavalue":{"value":{"amount":"+0.867429792881012","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":"Q5293438$89330030-47F2-4815-97FB-EE819A9347F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28469b23920b4732769d9e44ed08b894c75e32e6","datavalue":{"value":{"entity-type":"item","numeric-id":1924739,"id":"Q1924739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8908fa878cb52fe6f24143d10b1fdd924f9d98eb","datavalue":{"value":{"amount":"+0.8477234244346619","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":"Q5293438$1F2DDA3B-146C-4EBA-8357-EEA732CC6CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"230f3548ec61ceb75cf8d8e06ff8487dec664184","datavalue":{"value":{"entity-type":"item","numeric-id":1272600,"id":"Q1272600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c9defb64856a40d845815fbddca70e5122ea8c","datavalue":{"value":{"amount":"+0.8365936279296875","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":"Q5293438$A88550A8-8359-41FE-8155-0B6840487CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9a17ef0f27390054ef903e6252f406e7d53e11","datavalue":{"value":{"entity-type":"item","numeric-id":1311409,"id":"Q1311409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb9ccc30a99c92a9e35376299e95047e34077b1","datavalue":{"value":{"amount":"+0.8247389793395996","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":"Q5293438$F81BDAAA-DD36-44B1-A252-2CE5792A9BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60968afe10a64138eb1cb6beca41467865858f73","datavalue":{"value":{"entity-type":"item","numeric-id":911792,"id":"Q911792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b208e68c03ef1d86df2a83e9b1c2499eb10472","datavalue":{"value":{"amount":"+0.8236520886421204","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":"Q5293438$3CD1A1B1-5791-4836-8F49-A0EF5EFC2A52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5293438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5293438"}}}}}