{"entities":{"Q3593497":{"pageid":5623402,"ns":120,"title":"Item:Q3593497","lastrevid":50132624,"modified":"2026-01-13T06:15:13Z","type":"item","id":"Q3593497","labels":{"en":{"language":"en","value":"Can proofs be animated by games?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173449"}},"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":"Q3593497$14230ABE-ED3B-4986-8F37-D4161B0570B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af3c80f159ef0ab0351ad6584a7e899a85e08ff","datavalue":{"value":"1182.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$091C6324-AC09-4268-847B-42EBAAB4F739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3593497$C70E805A-65F0-44ED-9E34-E73A36457A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6452a8a0408f27542935d3024f201ae02ffe1a","datavalue":{"value":{"time":"+2007-07-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":"Q3593497$9D2AA813-8130-4B96-AD1A-C7EE2D7D2233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$3F8B8D9A-A019-450F-9071-7DCFCF5D121B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$9D2E697F-5B21-430D-91C1-9F4FBA6BF817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$0FE162F1-77B5-41BB-A6EE-12DD6DCF60E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$0FCEEF61-EF38-4367-B753-B7D061D8CA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$FEB0CDD6-FB25-4F7E-AC54-9C01893029F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe62028f0548abcb00eabeb1c8f0c501e4e94175","datavalue":{"value":"5173449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593497$2FE35627-3CD3-44BF-9B19-72B67F18DAB1","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":"Q3593497$2EDC61EA-77DB-41D9-BA3A-B10103E2FD5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca5871d9c9b98d29a372922663789696942bfa7","datavalue":{"value":{"entity-type":"item","numeric-id":5704025,"id":"Q5704025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a1310497da5735c3554d17c3e018c746c58cfe","datavalue":{"value":{"amount":"+0.9997550249099731","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":"Q3593497$9817CF12-6C23-4BD5-88FA-BBDAFFAAEBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b030e00c4818335c9460176850a8fb0a7bd61b","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9eca9c38c74854bbf6b69500b0529218e029cc","datavalue":{"value":{"amount":"+0.8422671556472778","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":"Q3593497$39694AA2-3217-4954-B8AB-74191B04FEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50a3f2ceee947c41c653ea7d0317bb48ef71d1b","datavalue":{"value":{"amount":"+0.741180956363678","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":"Q3593497$E0BAC58F-EE63-46A8-ADC1-FEF224CE4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d20cae617d7573c8298fa2d6e1bfc8c622132f2","datavalue":{"value":{"entity-type":"item","numeric-id":3003824,"id":"Q3003824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f880fba8bef6b57e7c649a243a3c4a81f61d396","datavalue":{"value":{"amount":"+0.7242118120193481","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":"Q3593497$ED031339-E1DF-4B16-93CF-003035883090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c9a7419bbf92b2554cd87bda3bf55a62c1f918e","datavalue":{"value":{"entity-type":"item","numeric-id":4737277,"id":"Q4737277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5102f6aa8f6d30b234066f2d529259b4ae98c2","datavalue":{"value":{"amount":"+0.716742217540741","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":"Q3593497$C28777EA-BF53-40A6-94CD-1863D7199326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593497"}}}}}