{"entities":{"Q5688940":{"pageid":7718500,"ns":120,"title":"Item:Q5688940","lastrevid":46762140,"modified":"2025-12-25T13:19:22Z","type":"item","id":"Q5688940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 970747"}},"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":"Q5688940$DCB76EA4-8686-429F-9E30-01E48BE52709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aa739c7f78bfbea92b6fd6a43496fdafcafe8c4","datavalue":{"value":"0861.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688940$0D21AF65-1336-43DC-8541-4752FBF18260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bb21a1c0989eb39ea024bc553a264711f2dc5f4","datavalue":{"value":{"time":"+1997-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5688940$CE2E596E-DACB-44A7-A85B-64DB1E7FDF3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688940$A1702369-4D92-4990-8719-FC8F4C0FE620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eee8a2e378bac5909f339f43365be7cde82522ea","datavalue":{"value":"970747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688940$BB63E11C-4626-467D-8538-219C57546053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37cdb5034e6d2c190204d90d3170b1060d28785f","datavalue":{"value":"lazy model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688940$39E4ED60-985D-401A-82DD-C23370531309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed56d6ccf6763eabd8b3c25c053c596800cae36b","datavalue":{"value":"parallel theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688940$6CB61677-C5D1-4AC0-96C1-828E45127E50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5688940$524EB7E3-4908-4236-A655-67E9C6C3312A","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":"Q5688940$7F3ADD16-021A-47C3-A247-C2EA5E04E3D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff1bf4551a20ec3184e4de426fbf32ff4f850a6","datavalue":{"value":{"entity-type":"item","numeric-id":4707765,"id":"Q4707765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57c541938ece4ca70c344a9a4700e212e8ece9b","datavalue":{"value":{"amount":"+0.8381108045578003","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":"Q5688940$A4FAFC37-6D23-45DB-89A4-64FAA21A0783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a971cb69f3ee325b28cb4cd3052ed1093d23738","datavalue":{"value":{"entity-type":"item","numeric-id":1189725,"id":"Q1189725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d315c4149ce73bd4260a7a4a17d268fd91c66ab3","datavalue":{"value":{"amount":"+0.8075328469276428","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":"Q5688940$BA167A9D-A28A-4AC6-A5F0-F964ED482EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e7fa70da6a2f0c8083db5b70e4d86f8f55678f","datavalue":{"value":{"entity-type":"item","numeric-id":4610311,"id":"Q4610311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15d129b19ac08c2cb08f04dc1674e51909fd5515","datavalue":{"value":{"amount":"+0.8061543107032776","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":"Q5688940$694DEA4A-0032-4D54-B0A9-53BB17214F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63485cce7e69caa92913c982ff626dce0ff81e20","datavalue":{"value":{"amount":"+0.7905546426773071","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":"Q5688940$33252970-CBE0-424D-9DF9-141E8D546CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399d0207b2c6553a4c68d57c13f2758ac167bfec","datavalue":{"value":{"amount":"+0.788293182849884","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":"Q5688940$D3F4BD57-C3C8-49D5-AE43-AC1B2AE6F4BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5688940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5688940"}}}}}