{"entities":{"Q6160875":{"pageid":13295756,"ns":120,"title":"Item:Q6160875","lastrevid":102530756,"modified":"2026-06-06T04:41:19Z","type":"item","id":"Q6160875","labels":{"en":{"language":"en","value":"Long and short proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691467"}},"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":"Q6160875$E0F7D5FA-6883-43A8-8D96-BDBDE5316665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160875$7958C4E0-5F98-4532-8031-237727679F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2387e3951e6b46186df54cdfd5817208989946cb","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160875$1007DEB4-5DEC-41AD-8587-FBB0936EC5CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160875$92554EFE-DACD-4ACB-8112-5954C1E2557B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160875$6855ABA8-0EFC-4A23-9115-EED27F3F34E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160875$F4EBD997-C419-4779-8FE5-07F9F3D12248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160875$5982A0FF-085B-4BF1-B6DB-A52C203A1A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160875$C72B8EFE-C294-473C-AEF4-DDA602C551A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6738d805d113cbc6b4adf4be730669f2e8d42bbd","datavalue":{"value":"7691467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160875$87A64456-49F8-496C-9038-F4C437396D27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edadeef8bb2338ff3a07e14bdbe112375679df2","datavalue":{"value":"proof length","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160875$B01FF98D-C5D4-40CD-8343-A464FC22ECDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc960861deb4fd9449a32142350882330864565","datavalue":{"value":"proof-assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160875$C78F90CA-D28C-4A9B-9E9B-C5AF47E384E3","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":"Q6160875$5283C6D9-8D15-43CA-BFBF-D0C25DF7E1DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7206b8f92a7a4e7fadebf0526f74b03924b66f","datavalue":{"value":{"entity-type":"item","numeric-id":5087078,"id":"Q5087078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd77f140b116f4e08754fe80f86ee83d887317d4","datavalue":{"value":{"amount":"+0.7326129674911499","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":"Q6160875$D127155E-EA51-4CD1-8B42-6403974491B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fd3b1942bdd2f8b3fe98f4e8d18feb76dd5843","datavalue":{"value":{"entity-type":"item","numeric-id":2938046,"id":"Q2938046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca48c4f7b1aaf5231ce12858d59d053b32b87087","datavalue":{"value":{"amount":"+0.7317675948143005","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":"Q6160875$CF40F45C-5961-48B2-AE02-D9D15F5B1025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8918331d33e43424295f29748f1758cb07fdb5","datavalue":{"value":{"entity-type":"item","numeric-id":3698794,"id":"Q3698794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd050b3ca35d5904a19e7f95b10bc4d20a76e72","datavalue":{"value":{"amount":"+0.7310444712638855","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":"Q6160875$99C3C958-BA4D-4DDA-B909-8336425FDAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6699910ffd80614810f3077a59496ccd26550801","datavalue":{"value":{"entity-type":"item","numeric-id":3474647,"id":"Q3474647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804b3f496547c94d272f407d5da29f3797a0e1ac","datavalue":{"value":{"amount":"+0.7280141115188599","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":"Q6160875$58C6CA9E-0405-4E8B-8AA6-B5B2E835F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c725820b5baf9eaa55d91d32089e48e59d850b","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d998cbb7a8f4800f954887c3e165c728b9ef593","datavalue":{"value":{"amount":"+0.7277631163597107","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":"Q6160875$CE347045-26EF-4063-AF42-60E0B8B846D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Long and short proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Long_and_short_proofs"}}}}}