{"entities":{"Q865628":{"pageid":867476,"ns":120,"title":"Item:Q865628","lastrevid":42737000,"modified":"2025-07-09T17:13:32Z","type":"item","id":"Q865628","labels":{"en":{"language":"en","value":"Towards computer aided mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128343"}},"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":"Q865628$49F21972-C4D3-44C5-8E40-EBA67B0C64AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e570914733474290c691598ce87d5c4a690884b4","datavalue":{"value":{"text":"Towards computer aided mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865628$E67A9946-D8BE-4997-9781-03ADF6774FAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9af50337e7fed98ad93902c8a39331d26fcbc91","datavalue":{"value":"1107.68473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$BD84E735-CAE6-486F-87DF-C156EB573AE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865628$B1E1B058-B3CB-4FA1-AB6E-9CADF8A455E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865628$D673FFEA-4381-4B5D-829F-164ADEBFEDE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-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":"Q865628$D079D070-38D8-4118-A295-73675173FC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$5B25250E-D2AB-4915-990A-014F06848F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$B041AB35-577C-459A-A57B-2B81F994EDBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"307552ec0667ada7bf140f7b8e26e192756f5145","datavalue":{"value":"5128343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$CCD44B15-7625-4ABE-9F3B-6AD8AF3BCC4F","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":"Q865628$E79424CB-91FF-4534-B287-D814F0C30EE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"555bc13866b7e87d73927b43ac108a9b3e6dfbc4","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q865628$416F6156-4591-4842-886B-755140FF569E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5aa711876f6fcca01707303cf08f17cd0cc2b3f2","datavalue":{"value":"W2027752283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$AD2B513F-A366-4D86-8521-BF73240782BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebb2b2c489958d83ce48731ba9a561e84ca920a8","datavalue":{"value":"10.1016/J.JAL.2005.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865628$0F4D24CC-396C-46EE-92E1-D9F51DF80A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:865628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:865628"}}}}}