{"entities":{"Q1299774":{"pageid":1310524,"ns":120,"title":"Item:Q1299774","lastrevid":68788359,"modified":"2026-04-13T02:04:07Z","type":"item","id":"Q1299774","labels":{"en":{"language":"en","value":"Length and structure of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1328351"}},"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":"Q1299774$E678BE86-BAC7-41E7-A8A5-D9E21FE48EB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f8d15dc70779061b8d8b27b577db88d0ad2dd2","datavalue":{"value":{"text":"Length and structure of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1299774$05881D4D-EB88-4AAD-99AB-F18BDAEC597C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a6447a20eac4fb7d8b71b29ac5de8c7581491c","datavalue":{"value":"0947.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299774$078C9D11-D21D-4ADF-AA18-9FB3E314481F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1badb752ae6fdb817f5f8ca78fed59d34fdcbaf6","datavalue":{"value":"10.1023/A:1005050425290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299774$A71C1726-C108-4F0A-8BF7-5BA0715418CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299774$D08CCAA7-056B-437C-9525-497887CF733E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299774$B89D74EC-2BB1-4C40-A528-3A6E3E575DE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51415e625f0cb73a94193012723d607c95647f9e","datavalue":{"value":{"time":"+1999-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1299774$14259D6A-471C-4C8B-95B0-671C00B5CBF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1594b3299de1d1a05e4b91914641765e82dad05e","datavalue":{"value":"A short and interesting survey of results about proof speed up in arithmetic and related systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299774$89546DF1-8307-4E03-B5ED-72078A1976B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299774$77532994-50E5-4AA6-A451-B0DF609711C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299774$866CB450-43CB-4819-A2E7-39580648C397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43ab4c082c475a3946a7b41c3f138b92bf0a8571","datavalue":{"value":"1328351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299774$9ED9D6FF-8CBD-4864-8747-23EAC2EA76F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299774$F77AFEDA-22E6-4DE5-91A4-0B97F6E1525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299774$0CED41A0-858A-4BF8-8C6B-70B546EB42EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9a655afd94ffe7cfe09249a6c74905ba4608b2","datavalue":{"value":"proof speed up","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299774$32E77C96-CDE5-400D-9B40-6BC3C76DE4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299774$B5109F96-8658-4EB0-8300-F0CB08ED916C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299774$964DDDE1-55C7-4871-A3B8-9C5B52EB78EE","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":"Q1299774$AEDB5DD0-6AB5-4881-9D10-650481EA44F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Length and structure of proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Length_and_structure_of_proofs"}}}}}