{"entities":{"Q3602565":{"pageid":5632471,"ns":120,"title":"Item:Q3602565","lastrevid":80796779,"modified":"2026-05-06T17:01:13Z","type":"item","id":"Q3602565","labels":{"en":{"language":"en","value":"Computer-assisted discovery and proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5507522"}},"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":"Q3602565$97103871-E0B2-42DB-B6F7-EE1BC5D2ABDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bffaf3c092f1a797a6dab1166fce93c1e605c582","datavalue":{"value":"1159.68548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602565$AF75231D-A89F-42CB-ACF1-7EF1C91025CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"074dd01766b015a9e6c4218c7bcf0bb70b2eb869","datavalue":{"value":{"entity-type":"item","numeric-id":354140,"id":"Q354140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602565$F554BB99-796F-4B96-8098-E32A57E0BD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b6aad4452a89c310bbaddfebdf2e19069187d9","datavalue":{"value":{"entity-type":"item","numeric-id":203580,"id":"Q203580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3602565$221BE65D-0D18-4674-9858-23F03EA95B56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3602565$E99B60E1-99F6-48BA-BC32-F84D9C6C3AF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602565$BCC13CB7-F89B-4DEC-9406-A04CDA8C88ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602565$69746534-8914-443F-AD8A-9A47B88EE600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239547b1c4290004025145bf12df9da22fa355f2","datavalue":{"value":"5507522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3602565$10E2EDB1-3819-460B-9275-A237227A1743","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":"Q3602565$ADF72B7F-53B8-44E3-8F60-530DF8AEB65A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aad5fd33f6d32618149ac0686578aac84a55202","datavalue":{"value":{"entity-type":"item","numeric-id":4678058,"id":"Q4678058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876daa3a698693994125d9d6fcd8a9f7fc54c32c","datavalue":{"value":{"amount":"+0.7976033687591553","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":"Q3602565$65E02870-5C42-4158-B1F6-4DA90431AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a989b014a576fc07c5f373801d588ac30e6cc0e4","datavalue":{"value":{"amount":"+0.7973893880844116","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":"Q3602565$8F7B3868-E981-435C-A476-994F5393371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95879e37b088d3a6f41b86d40ae8b8d0456823cd","datavalue":{"value":{"entity-type":"item","numeric-id":4892490,"id":"Q4892490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f607ac2f6f908907ed1485a02663e431a14f7730","datavalue":{"value":{"amount":"+0.7926205396652222","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":"Q3602565$E78C1D06-1788-4690-AD9C-57E9B7A22FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d53ee64ebd3a1fea6a7ec2f0a5677d3e6f11cd24","datavalue":{"value":{"entity-type":"item","numeric-id":2883494,"id":"Q2883494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a631d08d96af32c558f516db2597be985c4dd92e","datavalue":{"value":{"amount":"+0.7710241675376892","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":"Q3602565$B03FF962-EC8F-4D29-A5C9-88C7D920FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c0254df9f4f76cad0ec1855a19e97bfce6ef1bb","datavalue":{"value":{"entity-type":"item","numeric-id":2988059,"id":"Q2988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e80497ba70606e0bfa05c78db8c0c643a49af1e","datavalue":{"value":{"amount":"+0.7625735998153687","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":"Q3602565$F3BCEBB2-58BF-43A3-B475-6ED6C5550EF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer-assisted discovery and proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer-assisted_discovery_and_proof"}}}}}