{"entities":{"Q5268998":{"pageid":7298573,"ns":120,"title":"Item:Q5268998","lastrevid":52829711,"modified":"2026-01-23T14:35:14Z","type":"item","id":"Q5268998","labels":{"en":{"language":"en","value":"Infinitary affine proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731036"}},"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":"Q5268998$76EB15E2-3C35-446B-80F6-BCD2EB19ABCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baa7adde2b41fd840c632e618576d8adbf518f1c","datavalue":{"value":{"text":"Infinitary affine proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5268998$D1B18816-58E6-47C8-9BFC-D6BD7E4CE64F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d525495cd869fcb02985106c1752b0a1f4e6eb6b","datavalue":{"value":"1423.03249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$A2FE41C8-4FBA-443C-8032-82610D999866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"beb789d055bb22d37f8b77968ec6db76ed3aec3f","datavalue":{"value":"10.1017/S0960129515000298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$9A130E42-A284-46B3-B7C8-9C0A30C44133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a303dc6c6ba96a46337e1d0e93092448decb04b","datavalue":{"value":{"entity-type":"item","numeric-id":1044840,"id":"Q1044840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$B094E1B5-7CDF-433D-9C62-967C42252202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$651DF6AF-54EA-4D30-AE22-684A3918DA14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5268998$90218416-AA57-403C-846F-9D2A2C9F3F6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$B8462B9C-6ADE-427E-80E6-B68D5FD67204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57833231732d1ba8db2f5171d4d18c6d88ad2ccd","datavalue":{"value":"6731036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$3FDB8044-A459-46CA-A602-56637E03881A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"11ffce1ab97214149df5139facd38d72f6f1f00e","datavalue":{"value":"Q113857444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$0B0540B5-E4B3-4227-9BA9-701E30FBEE35","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":"Q5268998$E359A362-CF87-4D1A-8C3A-687FB716AC42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$B72C8E4D-C7BC-4C1B-B784-23DDA80CCAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$3BB041B7-9669-4C47-9C45-BF2F77571390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"602861e6ab618bf96fc40653249f84349c234b20","datavalue":{"value":{"entity-type":"item","numeric-id":3843150,"id":"Q3843150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$3393F98E-6F76-42AD-8AC8-6F60B8ACB4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$5EC929FE-672B-4C91-8FB3-44785737CA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea36e2b3b0a67b6e2dbac1ab770fc0f0e1ee548","datavalue":{"value":{"entity-type":"item","numeric-id":4236200,"id":"Q4236200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$86860F8B-2B5B-4BB3-BAE0-9F360B7E4C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$9EF565BB-963D-44EA-9234-FFA47BC58368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$52E4C957-D835-4741-812E-26C2D96FB73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$BB0CD797-850E-4403-A87A-5DA097E2A480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$0FB86F61-ECD4-4427-8237-6A95FDB83AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$E9CCEC99-A8E9-40C8-8A53-112ADD0FBD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$E33D7158-9773-4AF1-8BC3-AE95E7264E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$D5E695E1-1A4E-4894-AB95-037E8B69433B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$DF71AB87-8B08-4F8B-BF13-1392AA365776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$896B57F2-16A3-47D2-88EC-DCF487B310C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03561727971b6f36d95dc0e581945304d28ad8a9","datavalue":{"value":{"entity-type":"item","numeric-id":1886321,"id":"Q1886321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$DCFFD1DE-19B6-43A7-806A-8BC033671181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ace94637d8e518448f82447974f4bf65fd432e","datavalue":{"value":{"entity-type":"item","numeric-id":2986823,"id":"Q2986823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$17A859FA-C140-48BF-ADC5-BC3B5067B95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06733a591714117cca2d9743c12ffd59552664c","datavalue":{"value":{"entity-type":"item","numeric-id":5167847,"id":"Q5167847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$18912CF3-EE66-4888-B4C5-71CD9E4D1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473157de33e9daafb8a601b8d009c0cc6f89ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":2503039,"id":"Q2503039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$50DADC70-F850-4A7D-812B-45D7D8DAD9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b0b5f19fc88dc8136195955bb1f585effb2322","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$CECEE038-B838-4E25-A779-6070B5A632E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6db7c7862cac26fd7442c282ec1191e1408e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1185009,"id":"Q1185009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$1E71C19D-DBAB-4C32-9965-EDCDD63F3511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586cddd922f677f5642ffdb3cfbce6879292ea84","datavalue":{"value":{"entity-type":"item","numeric-id":4254682,"id":"Q4254682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$014CE585-A220-4917-9E4E-5D356E699A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$DCD333C5-BE79-4649-8A86-6293278D5479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696fde009fca94607eccf727b7e52c27ff64ccb","datavalue":{"value":{"entity-type":"item","numeric-id":534713,"id":"Q534713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$A3D01B2A-C708-4420-9778-EBD2F641017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268998$28C8B5F8-E020-4471-A61B-5FC7E34796CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62d872e9214817c52f4343dcbc7450b7823333db","datavalue":{"value":"https://doi.org/10.1017/s0960129515000298","type":"string"},"datatype":"url"},"type":"statement","id":"Q5268998$C213CF93-BD0A-48EE-9E23-A585D96C8298","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"342e9311b99771c45d0a0ef70d79b44c87f6b6ae","datavalue":{"value":"W1429272185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268998$CEAFC421-D057-40F2-B0E7-20F1F06DE2B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98495fc1bdae44586313bb722ee1fbe857d880e4","datavalue":{"value":{"entity-type":"item","numeric-id":4487378,"id":"Q4487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45ed0a0f06e88b2b94f591abf11e46082bf6d13","datavalue":{"value":{"amount":"+0.7527405619621277","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":"Q5268998$E4447015-7A9F-462C-9D0A-DE6BB1A01747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7ce843292cf7ef202b8aaec9e40e63443ad4a04","datavalue":{"value":{"entity-type":"item","numeric-id":4323009,"id":"Q4323009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771f72d0103b27052589fc5023190987904de77e","datavalue":{"value":{"amount":"+0.7481253743171692","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":"Q5268998$AC3E1981-9923-43C8-86D2-C24F8C5F1506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3bdebfdc2ec2b74a6207ffacecbaa539c8ad34","datavalue":{"value":{"amount":"+0.737800121307373","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":"Q5268998$1444A9BB-CF5C-4661-A989-8898EF37316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d178ace3e6ef69bc9f0dd36da63f4015ecfbe11","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3bdebfdc2ec2b74a6207ffacecbaa539c8ad34","datavalue":{"value":{"amount":"+0.737800121307373","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":"Q5268998$C1DA69A0-7814-43A0-A4E8-56A3DFB84E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f1f786fc385181e3db0e8c20dcf850d9809052","datavalue":{"value":{"entity-type":"item","numeric-id":2787421,"id":"Q2787421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5b09c1fc7365b25390e15a617d1eae21321b57","datavalue":{"value":{"amount":"+0.7371101975440979","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":"Q5268998$C4046B64-BD94-490F-B6DC-8510A14E2D32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5268998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5268998"}}}}}