{"entities":{"Q4282537":{"pageid":6312138,"ns":120,"title":"Item:Q4282537","lastrevid":47233282,"modified":"2026-01-01T02:14:29Z","type":"item","id":"Q4282537","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 517013"}},"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":"Q4282537$D3D3D46E-1179-47F2-A452-E1A683F7A9E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1717aa16b66338f3c9337957d55d257e0563c7e0","datavalue":{"value":"0793.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282537$00C1865E-D238-4785-9C7C-AE1CF8A7DE68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-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":"Q4282537$2A712554-577E-4A06-86FD-FCFC33A2E618","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282537$BA4F3C4E-033A-4892-AAB2-F289B065CD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282537$CDEA3F13-65C4-4351-885A-6AB090311513","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e28ac376817a48c753c72796f962a268a184f581","datavalue":{"value":"517013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4282537$07E34921-D639-474B-8653-1A5FC32712C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282537$A11945DB-9AB0-4724-971C-961512E12A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69974b8ee44ba9ffc58b48877209f3953502907","datavalue":{"value":"Maple","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282537$2C0E27F0-0152-4612-AC26-836605BEBB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282537$006A7D0C-54A3-403D-B074-BF2914505620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4282537$E372D7BA-1427-42C1-B693-C75048DECD87","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":"Q4282537$20F75ED3-25B5-4C83-A792-085069A64946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5f0268c71fe0729223190c6b63f0de8465ef2f5","datavalue":{"value":{"entity-type":"item","numeric-id":14730,"id":"Q14730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4282537$7D9738D7-010E-427E-A8BB-575D669ABDFF","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":"Q4282537$67D8DD6F-19C6-4099-8D1A-219E68083CE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6958c32e58988a08693ac87970e050d9d1ca1fc","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c70368f8f98d367b21c3389ea8d3c6f53c1a0b5","datavalue":{"value":{"amount":"+0.8622610569000244","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":"Q4282537$D7A0D631-4407-4DFA-A287-0C4726872B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404825eb196e28e9cdb897322b5b207a1e9328bb","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b0f64b508a4a43628f3fd89a093dcae0e2cc38","datavalue":{"value":{"amount":"+0.8151111006736755","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":"Q4282537$5A08FB21-E7BA-414F-9D2C-10C5B914EA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb3e22cfdea9687c7e9c67f2933def3703735b6","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc0079bbc05fb1d5154ec958cd2bfd58f7e851b","datavalue":{"value":{"amount":"+0.7805998921394348","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":"Q4282537$FA9C6061-267E-4101-AD19-A93D4ED7EDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13f94efa5a180ee860e2173b41929c73d33793f","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb269174f9b40e7e734a19df85a66a97c332c5e","datavalue":{"value":{"amount":"+0.7784709930419922","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":"Q4282537$2BB7393C-90EF-4DAE-9839-91B831E67BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9c73403d170fc9547196e85568fc9043b785b3","datavalue":{"value":{"entity-type":"item","numeric-id":3453133,"id":"Q3453133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ef8e1cd595ee73f1e385b4695826c27cc69e06","datavalue":{"value":{"amount":"+0.7632173299789429","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":"Q4282537$906CBCE5-16F9-43B5-A986-2CED1C580955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4282537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4282537"}}}}}