{"entities":{"Q2997766":{"pageid":3008490,"ns":120,"title":"Item:Q2997766","lastrevid":85890077,"modified":"2026-06-03T12:21:14Z","type":"item","id":"Q2997766","labels":{"en":{"language":"en","value":"Mathematical concepts in computer proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5885970"}},"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":"Q2997766$52746538-781C-4B80-9BD9-214F56920505","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2084477b1e666995e44a50cfa957f0bcb515c30","datavalue":{"value":"1225.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$43FFBC90-7F86-482C-A740-143C61DD92E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6926ba807a871b7e9ca675e23e2d448bf4204a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2997765,"id":"Q2997765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2997766$22927F9C-EAD1-4980-A5E2-DE958B3D754B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"296b8d5e34b7c960d0778d4d1f49ca6872778dc7","datavalue":{"value":{"time":"+2011-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2997766$3D86B95A-1168-4A04-8326-E33BBDFEFA21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$D334663E-CF67-418C-AF35-F6A716A0ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$D0DF9C6B-58F9-43A3-949B-287A905D2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$9F655309-12C2-4041-8957-5A7626DA82BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$0AB78E31-11E9-4F69-9C68-6D78A468BA3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e0cd61ff6266fece75fb61ee759972e72801ed","datavalue":{"value":"5885970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2997766$558A747D-566E-41B6-9D93-B772E9A402DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97f583dd8e39a4a8921fee30ee9d576c933f1c","datavalue":{"value":"methodology of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997766$73CC7D34-9001-4824-A1A1-8A60BDD9EFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997766$84B75287-4E0F-43DC-A108-5DCD6F3C7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1135d103a12c6010ec8515c75d9b9b50b0e7dfe","datavalue":{"value":"computer-assisted proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2997766$3593E117-EA47-4860-9D64-695F02AEEC7B","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":"Q2997766$3CA42F1E-71FB-4ACF-B453-5C4C3076CA58","rank":"normal"}],"P1643":[{"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":"3570979d6d42cf31c5465970256439f7d3bdecbd","datavalue":{"value":{"amount":"+0.8074901700019836","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":"Q2997766$8B7D38AF-46D1-46CE-9033-CAA38F4661FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0613d329abafb8f761f675870b2e2641bd72202e","datavalue":{"value":{"amount":"+0.8066573739051819","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":"Q2997766$7A3A90F8-436E-459E-9D1C-25712200D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555755d8a97d1263643b11c88a63a710be30843c","datavalue":{"value":{"entity-type":"item","numeric-id":3370569,"id":"Q3370569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588090b6917e1cbcc2a334f42b15c6c6cd9f66d4","datavalue":{"value":{"amount":"+0.7923018336296082","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":"Q2997766$C34F93CF-3C72-4A3F-8E18-A1B1385A75FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ddc1a6860d95f7fcead868903202e1ec0ec2b7","datavalue":{"value":{"amount":"+0.7760816812515259","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":"Q2997766$F53AA8BF-320E-4A1B-BE83-C40CF28BBEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6389c81f5ea90123125e632d13d66e36f480113","datavalue":{"value":{"amount":"+0.7708185911178589","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":"Q2997766$C5E15863-19E3-430D-8082-7692AE725804","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical concepts in computer proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_concepts_in_computer_proofs"}}}}}