{"entities":{"Q4206724":{"pageid":6236325,"ns":120,"title":"Item:Q4206724","lastrevid":49335448,"modified":"2026-01-06T23:53:36Z","type":"item","id":"Q4206724","labels":{"en":{"language":"en","value":"Much Shorter Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127201"}},"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":"Q4206724$D9784469-9F02-4F36-9F1C-4A92F5543BE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78c7cb6416a6d381e21358e0bfa6ad1be1af1548","datavalue":{"value":{"text":"Much Shorter Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4206724$460211FC-724D-4BB5-8CC2-7060BA415BDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"387534cc4b3b10b83b97e9fe9683ad9d6aeb0a85","datavalue":{"value":"0688.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$F74E3437-5F66-486A-93C6-6AB2752D5276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4206724$AE1F2768-5E9E-41C3-BC66-A29B55ECC9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4206724$BCE1A353-E2CB-4E08-85C5-08F5A26C37A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4206724$2F52F47D-8D27-46C4-8851-94FF4484E593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4206724$CF9C28F1-20F1-4040-A817-CD10A5873489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$80FE8B7C-D6DB-4E52-8A02-A2B3BB0588CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$2DEA99B3-0921-4516-9FDA-28ADAE8B3724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$D04665FA-162D-4C3D-8105-CF6BA5226C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$70500C7B-56F1-4157-BD4C-D72C00C87A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"392659472a8b0f90afdb51919d86b81be33b71f6","datavalue":{"value":"4127201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$71F2878F-0EB1-40F2-80B8-D4B29D560CB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206724$2053A139-D8FC-460D-8D2A-F21185F27E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206724$E3E61C1B-11EA-4646-8BA9-C5C0BCE44666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e678edbc13165d070b17794d362f55c8cb7c950d","datavalue":{"value":"strong witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q4206724$B0671992-1DE4-43AD-8275-4F162E43B608","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":"Q4206724$D4FB9FE4-A514-4E53-9BF4-FB6D0B297FD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aadb02e98a5e6f55b62d5547dbf9ca786cb040a","datavalue":{"value":"https://doi.org/10.1002/malq.19890350308","type":"string"},"datatype":"url"},"type":"statement","id":"Q4206724$8808F4F5-6920-4823-AF7E-30632FABE09B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1ff7cf581b2ab19b3dcd703f8dab5f7ed067206","datavalue":{"value":"W2048735525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$E1DDE94F-9283-4A4A-B2B2-7F1447E9C761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e11910c7a7a00ca43fc4a53ee23e139697892180","datavalue":{"value":"10.1002/MALQ.19890350308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4206724$E2BBD0B0-D675-47C4-9C4B-567F6F1B37D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f156f946bd8e2cfcc61ee7a9717b81cdf6f7b503","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef94a2c0d749c26fa432be660c0049aa83df2243","datavalue":{"value":{"amount":"+0.6984593868255615","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":"Q4206724$A901C993-69DA-4601-A95B-571BB89F0E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e2fc9562a28e88d37e249f97399827d2fca8c0","datavalue":{"value":{"entity-type":"item","numeric-id":923070,"id":"Q923070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447cb768b0243ccc87afe6ea9e02c989b112b4d3","datavalue":{"value":{"amount":"+0.6895312070846558","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":"Q4206724$2F517FB1-0E2C-4365-9EFC-389182379FD6","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":"b7f7b467dd5787ab031496977b60c3ba47f33faf","datavalue":{"value":{"amount":"+0.6845688819885254","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":"Q4206724$E98B61E2-34D2-4F6D-B1B1-034DD1C0A688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77100dfd7c668691ce590668c7b3fcd67ab89701","datavalue":{"value":{"entity-type":"item","numeric-id":4250049,"id":"Q4250049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165e5084784912f4c5585a301221fcb53d36a903","datavalue":{"value":{"amount":"+0.6822819113731384","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":"Q4206724$48051826-3BFC-47EC-BD89-C2E08696821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417a9ec1b9c70d1cee329646f2ec2879bab6a3c2","datavalue":{"value":{"amount":"+0.6822815537452698","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":"Q4206724$46C39AA5-C76D-4403-BED7-E1842085F3E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4206724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4206724"}}}}}