{"entities":{"Q6866420":{"pageid":20695120,"ns":120,"title":"Item:Q6866420","lastrevid":84240776,"modified":"2026-05-14T02:20:50Z","type":"item","id":"Q6866420","labels":{"en":{"language":"en","value":"Fragments of arithmetic and cyclic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8152647"}},"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":"Q6866420$A833F5A9-6BE7-45CA-85A7-422A17CF13F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b242b767b046d6d02b7b6a4662b89e8885883ef","datavalue":{"value":{"text":"Fragments of arithmetic and cyclic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6866420$D48ADB4C-5150-4AE6-BDA2-67F9A9190BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40bb77314faf30cc19b975eb24123bc3e688efc8","datavalue":{"value":"10.4213/SM10276E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866420$D46C2A09-3271-4724-B7D8-DF93CAA2BE41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$C02A54C5-42D2-4C45-B7DB-1D8BB7F4B855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$5C8255D7-E7F2-4627-BA94-70ACBB48FCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0270092fd0be8d349174331e018cf5670efffa27","datavalue":{"value":{"entity-type":"item","numeric-id":6866419,"id":"Q6866419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$47EADF22-7855-4BE9-9156-DE6A61048BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65757813d51547e2d7edf5ed37886a91523943c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710721,"id":"Q2710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$DC31ACDD-4D5F-48EA-A098-DF5467C72058","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea86555d17cfbb427da7c8f559d5bf9f4219b47","datavalue":{"value":{"time":"+2026-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6866420$2EDBBD95-BAE4-452F-BBEF-59069F578479","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866420$3B0E73F1-D9A0-4882-84C8-DEE685B35BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866420$D101D0C7-4FF4-489F-B265-9BAE11E5E8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866420$47C83AE9-7C03-4CC5-A32E-931BA2A1FA1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44d1292767aee190277f96d77cd52132f66fc21","datavalue":{"value":"8152647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6866420$D44E8AA1-3A8A-4048-B3C4-4BAC0A0C58C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866420$1CAA778F-A014-41FD-95CF-101233F9F643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866420$F5BE9501-1EF1-4C55-A453-D58B384D1D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6866420$9F5CE47C-E280-4229-BFF5-100512EBACB1","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":"Q6866420$D9CBEDFD-98B5-4F1D-94DD-66E667F9B4E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c84138b2564754782643e56ef7f2c9c4be82226","datavalue":{"value":{"entity-type":"item","numeric-id":6487228,"id":"Q6487228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$996596CE-839B-42D8-B826-0617B02D81E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46c8979b3e3a1d6fbe6fb2f31001ca12540a697","datavalue":{"value":{"entity-type":"item","numeric-id":2142087,"id":"Q2142087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$527F715D-1243-485E-8065-7C2285B4667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$45F0B9EA-EA05-4D12-9306-F0E9ABCFCE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$B777862B-1B32-4720-8FB7-A05B5F76CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$CD3204B3-1849-460A-A669-ED442109B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$780BEBEA-5B25-4701-BB55-073FE758021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad338cbe03072f079f6f32c6dcb9b4f74e45afd8","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$3B7834F4-7589-4D26-B650-CDAE563134C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$12B0188B-079E-406F-9783-B721EDFA4A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8839917919f90fa144382a094d8dea8f58a77f","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$AC9419E1-2DF5-44FD-B062-AE12416744CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8802a70f336dda55383ec3d1aeb6dadf966b9e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1935961,"id":"Q1935961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$D1CCCE88-23F0-46EB-9ABF-3B576E140DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$6804AD23-A5EB-42F1-99FD-8F4ECB51489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5182db2171961b8b8bcb8990365d34770b4028","datavalue":{"value":{"entity-type":"item","numeric-id":6851673,"id":"Q6851673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$4C2E5398-1BB7-4DDA-9CFA-430A2C89F2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d552ec3acf806493cbc8188ef33d424d62662","datavalue":{"value":{"entity-type":"item","numeric-id":4542238,"id":"Q4542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$71BDD78E-8656-4B22-A02A-52E64F9EC96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de429e87d0fc5113640df9de6a0b6403c9ec0505","datavalue":{"value":{"entity-type":"item","numeric-id":5208872,"id":"Q5208872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$06D1BCC1-2EE1-460A-88AF-709BFD0F51F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$268D7273-28E1-4D67-8BF7-8961917DDBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$914941C1-7293-4C34-906D-40823B484FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$E70CBCB9-B91D-4237-8E86-97F2FA6C0DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$D0A24AAC-B522-4D7B-A46A-339B7F2EC85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0861786f06ca7d4e879f059958cb342edaaa147","datavalue":{"value":{"entity-type":"item","numeric-id":2084942,"id":"Q2084942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$A9A79C3E-1785-4540-AD53-D052C0D53EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2332e7c2c6c8952ebdbc79c4cb64e9660214db1","datavalue":{"value":{"entity-type":"item","numeric-id":2309507,"id":"Q2309507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$0F6E2D25-041D-4F95-8731-0E3A20BE2EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7668f3f051470e944eec849a456581c40bdf3f","datavalue":{"value":{"entity-type":"item","numeric-id":3648734,"id":"Q3648734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$D55B00F2-235B-43A2-8CE8-BD90548BAB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$8E4010A1-2D6F-41C3-BB39-EE30B955D45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4818223762c782fb41c4d94c5729ab43c86b0af7","datavalue":{"value":{"entity-type":"item","numeric-id":6839805,"id":"Q6839805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$DD179C14-5D73-4879-B905-956BF8D858D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$050F0DC8-ACB5-4580-9203-72E89FDCAEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$91A7EC7A-5AF4-448E-8EDE-0FED30E3B7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$69B3B91D-CB22-4ECE-992A-6053243DA411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f4ab5c57cbd9fbc5d4e08c361870179894ae3d","datavalue":{"value":{"entity-type":"item","numeric-id":5079760,"id":"Q5079760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$6753C480-448F-4EA5-B6E9-C618C789FAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffa0e15c8a9bd20acb1b2e0a4873449374ffcd9","datavalue":{"value":{"entity-type":"item","numeric-id":6915770,"id":"Q6915770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$5F1FB20D-EEB1-4549-9306-42BFFC8AC85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e92021f96a77533aa53974edef4b49222fa4ead","datavalue":{"value":{"entity-type":"item","numeric-id":5560277,"id":"Q5560277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$DB6BA7E8-F924-4803-8153-12F1D3A5886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$7C72E08A-22B1-41AC-BA25-572084D4E737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d398fb0ecfc9672493edbf8aa6fd4bb5c351370a","datavalue":{"value":{"entity-type":"item","numeric-id":6541152,"id":"Q6541152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$9D660B6A-00F0-48FD-841E-9C21F4054B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$19E1ED3C-4BE8-42EC-BBF3-69E909274BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead872a779405a69ee4031939b00f7964d6718d8","datavalue":{"value":{"entity-type":"item","numeric-id":2957859,"id":"Q2957859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$E4E8A7A3-E783-4A35-A096-7DA6B7E90148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8b0149084b4e1a0cce9f631d24921e3e69d440","datavalue":{"value":{"entity-type":"item","numeric-id":5104727,"id":"Q5104727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$9375BECE-8F18-4EBD-8259-8DBA6B661DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c609958cd703297e521e8d7832300c68257b4a41","datavalue":{"value":{"entity-type":"item","numeric-id":6922546,"id":"Q6922546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$3F339692-AEDD-48E3-B49C-9393B032F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef922872dc2d196dcadc8bba4c20d49b9c02b0a","datavalue":{"value":{"entity-type":"item","numeric-id":6970638,"id":"Q6970638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$EE3F0D16-E7F7-4360-8883-6A0B220D1425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af314ee209c309694a77fc6b9f0248017857289e","datavalue":{"value":{"entity-type":"item","numeric-id":6967389,"id":"Q6967389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$7017B673-5358-442F-81DD-C097015A77AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$8415C809-F5C0-4A79-B83D-C23690EF0887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611b4b935078a360190ff636d736f887e8acfc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$D67D59ED-4809-4329-9520-5F2C51A5C4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6866420$33D801F9-0E37-4CF5-88D9-1DA24ECC2A9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fragments of arithmetic and cyclic proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fragments_of_arithmetic_and_cyclic_proofs"}}}}}