{"entities":{"Q5756759":{"pageid":7786310,"ns":120,"title":"Item:Q5756759","lastrevid":97348541,"modified":"2026-06-05T14:30:31Z","type":"item","id":"Q5756759","labels":{"en":{"language":"en","value":"Verifying and Invalidating Textbook Proofs Using Scunak"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187441"}},"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":"Q5756759$0D1F6AF6-2487-4929-906F-08478237BCA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd4739a28d96d52f3f7a1d9dff7587c196b45317","datavalue":{"value":{"text":"Verifying and Invalidating Textbook Proofs Using Scunak","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756759$F21F2EA7-3683-40B2-A682-4976242A4F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7789bbd27356c73893fab8d12c3d3fa5decb0050","datavalue":{"value":"1188.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756759$2A682A56-C67E-4BB6-BAC0-2CB6749E9204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3664356ed038bc317ddb9d002801161773a8457","datavalue":{"value":"10.1007/11812289_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756759$1588B688-C95B-4B00-BDB8-97615E77AE22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756759$1BB6F837-5954-4504-B5CC-A042C7EFA734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756759$916A8CAD-0382-4BDD-903B-2C7E28BBBECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756759$F4DE8196-D2D3-4933-A60E-2312651B8583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b909433800a7b50eef8bebe5ee11c4f1b9101a0d","datavalue":{"value":"5187441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756759$394A24D0-5C1D-4F00-9A9C-59F112783BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756759$296109A8-3353-454A-AA55-B472501E68A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756759$EB9A1EDF-99DC-46A8-9220-EBD0CF629149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756759$ABD2DD69-0796-479C-8C72-94FFCDA4620A","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":"Q5756759$B3AC65F0-86AF-4C9F-B7ED-FB936E6AF291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2a7df4344744176c3a40ad9a9a8531032b0b9bf","datavalue":{"value":"https://doi.org/10.1007/11812289_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756759$35E57180-5B4D-4EBE-B473-B2AACE922FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb0cb88f94fab927202edad282b184efd0af6b8a","datavalue":{"value":"W1542278106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756759$FC101D82-DE9E-41E2-86B8-D947AE108FCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ec3f528e110dcb522eec67f9f4568497666086","datavalue":{"value":{"entity-type":"item","numeric-id":5428276,"id":"Q5428276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fc526be72ff50778efca5464f3383c1efda921","datavalue":{"value":{"amount":"+0.7578531503677368","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":"Q5756759$15EC66E5-C521-42BF-928A-92D07F850C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc222b2e48a6f8ed51e81c80f0fdffe79d0c11","datavalue":{"value":{"entity-type":"item","numeric-id":865656,"id":"Q865656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a32662049100de3490d7e0b11fa7f8abb34ee7","datavalue":{"value":{"amount":"+0.7051604390144348","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":"Q5756759$69D6F5F2-1908-43DE-9297-578AF3294539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60e6dd472b339361946582e6d0c3ea63cce798d","datavalue":{"value":{"entity-type":"item","numeric-id":5898514,"id":"Q5898514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429d5f75617e24bb7983bab80065f8e2dc9acaff","datavalue":{"value":{"amount":"+0.6972278952598572","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":"Q5756759$18C6B2CB-30AB-4D86-A0B4-6B098897D91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc3a41b77047459a9d4e4943d28167843b41d129","datavalue":{"value":{"entity-type":"item","numeric-id":5505538,"id":"Q5505538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e18ab811865b5e99b5b8ab36d700a43b8e0b49","datavalue":{"value":{"amount":"+0.6904173493385315","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":"Q5756759$6CAA6718-6C10-4C0C-87EE-7B0597EB5A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d346b98ad75ab002d5bd08a23a9cf7fcb2f8e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3805957,"id":"Q3805957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f5197cd294daad1c4a49c8cba2ab865c7c9c8d","datavalue":{"value":{"amount":"+0.6792700886726379","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":"Q5756759$3735ED47-9768-4E1A-A4F9-70AAE77A2175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying and Invalidating Textbook Proofs Using Scunak","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_and_Invalidating_Textbook_Proofs_Using_Scunak"}}}}}