{"entities":{"Q4913779":{"pageid":6943358,"ns":120,"title":"Item:Q4913779","lastrevid":58359504,"modified":"2026-04-04T21:19:06Z","type":"item","id":"Q4913779","labels":{"en":{"language":"en","value":"Polylogarithmic cuts in models of \\(\\mathbf{V}^{0}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152246"}},"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":"Q4913779$B9431876-264A-4A23-A94A-F3F392126025","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"424c4809e66099ad90941ff53b0bf7cead802d75","datavalue":{"value":{"text":"Polylogarithmic Cuts in Models of V^0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913779$2E4FED78-8517-4344-88A5-D79F002063E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eb7d0ffcec70c865f6f4e32e2f52056c047af0f","datavalue":{"value":"1280.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$C9F9492E-824F-4775-AC91-BD0E1B3CA1B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0be3d674c4e14cd6f22d29de2108303c14fe3c7","datavalue":{"value":"10.2168/LMCS-9(1:16)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$48652A1B-7A79-4B7D-A6EA-75643A5A0E75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52289fd3fd1c0cc0a283c15d0912218f7cc8180","datavalue":{"value":{"entity-type":"item","numeric-id":553296,"id":"Q553296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913779$E8B2FB1D-ABEC-4DDE-A363-7BB7568BBF11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913779$4B094690-E524-4285-B034-7B6BBEB721CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913779$A1B3C457-ACD9-429B-8C26-9CF38CEC22FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62b89ad3a90cb20985ea965ca4c51bce35f21925","datavalue":{"value":"https://arxiv.org/abs/1303.6075","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913779$A62A331E-F159-4D06-95FC-BBA08058A0EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$74849A1B-29A8-4978-9494-A7C2C4954944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$1BB9F044-A0F3-48EA-93FD-B7E125695EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$26200DC7-988E-496A-B162-8C2E8E426B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$BB45681C-6380-4E5B-971B-81E3A7A0E9F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d39bbddacbb479a64b648f018971ec38ce243ef","datavalue":{"value":"6152246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913779$98A750C2-AC0B-4663-A8E9-55CC96952283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$981CBCE9-A69D-47D2-972E-426E8075C69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9d57e64d360b38bcf52a50277be33a98732a95","datavalue":{"value":"models of bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$F65DA2D4-EF8F-4992-991A-37AF2735541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1262d51f50334708902b19dcd78f24e1a994f9ba","datavalue":{"value":"cuts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$8311476C-FF02-4CC5-8917-87179650E1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749eb37d901e03213983a505e2903be39eddcca2","datavalue":{"value":"two-sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$6FF6C661-D090-40A3-90D3-029367441128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$F52955B5-CAEF-47D4-BD1A-41CE1597D9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9092e990eb6eb169a0da89261d06c359b21b67a5","datavalue":{"value":"simulations of proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913779$D9432C59-F2D0-4517-9A68-340000E03423","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":"Q4913779$5A147AED-B4A7-408E-A6D2-4CF92B71D3F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6fd0ba87fcf74775845dfe4993533ca805bdff","datavalue":{"value":{"entity-type":"item","numeric-id":2958529,"id":"Q2958529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e17c617ea9eda62e3786fe9e8019cb2ca8a6c30","datavalue":{"value":{"amount":"+0.7727683782577515","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":"Q4913779$FCBC82FA-F735-48B9-B8C0-419F7A2E7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22429a65a09e2be64934dd4fe3beeb889db2682b","datavalue":{"value":{"entity-type":"item","numeric-id":638497,"id":"Q638497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b93143eec3f271ffe6bcf9a2b3da05e6ce8fddf","datavalue":{"value":{"amount":"+0.7497969269752502","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":"Q4913779$62DD2BDA-E96E-4E5F-91ED-362EC2215076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2af2c437ec155c222c9ef7cf3dd827e224aa992","datavalue":{"value":{"amount":"+0.7445908188819885","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":"Q4913779$73CD1246-C5ED-4748-B175-A57A41B727FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3891bc4bc5dd21c5a862053c58f30fbbcdee59","datavalue":{"value":{"entity-type":"item","numeric-id":5413345,"id":"Q5413345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fb96ca8f5889203b8d15563872c433a9226517","datavalue":{"value":{"amount":"+0.743227481842041","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":"Q4913779$E0A28A8B-0BFE-4ECC-8AFF-054F10FA8329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d11c211d4b0f402887d63e128b2e5f7f2353e","datavalue":{"value":{"entity-type":"item","numeric-id":2932276,"id":"Q2932276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec9ae4299e02f4c92880e13f5c5673a105cf9a1","datavalue":{"value":{"amount":"+0.7402608394622803","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":"Q4913779$15DE7F2A-9004-4423-9C78-93C36D4686B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913779","badges":[]}}}}}