{"entities":{"Q6966296":{"pageid":21300840,"ns":120,"title":"Item:Q6966296","lastrevid":84056591,"modified":"2026-05-09T00:05:26Z","type":"item","id":"Q6966296","labels":{"en":{"language":"en","value":"Fundamentals of finitary proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8057674"}},"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":"Q6966296$41A75554-4009-40E9-BB3A-4A087D8C9D49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fe0d8381d0d301464385b965a934ca34c513c2e","datavalue":{"value":{"text":"Fundamentals of finitary proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6966296$B58FE3FF-69A8-4769-8A45-7CA6B15A2532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96543d33db1c94d1c0ed3d312f83bbd0b2bc14d2","datavalue":{"value":"1565.68374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966296$9607F188-B1ED-4376-BABB-C1237EA34489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c2bf891e5ea94d038caec781f86537bf27f1a0f","datavalue":{"value":"10.2478/FORMA-2024-0018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966296$BC91C907-23B3-4297-8C64-65189AE81B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801765190caa605b5374fbd95d7ea30191e571f","datavalue":{"value":{"entity-type":"item","numeric-id":286705,"id":"Q286705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$44FCC467-F7A1-4862-AC13-434CB1F36276","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$53B3A542-8679-495E-861E-0969FAD8600D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a3fe69c512d2c684eb6751e4b01bd7e1534f608","datavalue":{"value":{"time":"+2025-06-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":"Q6966296$206CA0F8-3C16-426E-8D03-7E69783A4766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966296$338EBDA4-1A4E-4BB0-89CF-74CEB5C2FE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966296$47BD6FAC-3AF4-4359-8ADD-282C3E483F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c81219701c18bb8de76a0467f5f672480b505222","datavalue":{"value":"8057674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6966296$CCFD904D-9637-4998-B9CB-DB98B1AA92B0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"f2084050eadadc911e1935c85cd34c25c682b82c","datavalue":{"value":{"entity-type":"item","numeric-id":57029,"id":"Q57029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$FB723DD3-A906-4FD7-A172-45EE73C2EEFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcfe8834cf999290320d450f1a0e431e77a09ec9","datavalue":{"value":"finitary proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966296$339846EB-566A-4E2F-88E4-4CBA26A96E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966296$FAD972B5-8184-4A8D-97F9-AFA3916752DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6daecd766cb01921eb96de86e5e3942297cf6bb","datavalue":{"value":"Lindenbaum's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q6966296$281D03B0-6A86-4AC2-B3EA-CFD1FD92B9F8","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":"Q6966296$8BE9914B-06B7-452F-8420-F28711C35B4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$087AABB2-EEE5-4722-B89E-1A0381A73DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$3F529131-C3D6-4B54-8B67-4CE6E4B6352D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa35e004038309daac701b9532cd288b7f39ddf1","datavalue":{"value":{"entity-type":"item","numeric-id":6557116,"id":"Q6557116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$34E57D76-D75F-4A96-B6E0-5965F3514991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887efd17320625725aeddf6391561534d8fcc309","datavalue":{"value":{"entity-type":"item","numeric-id":5428273,"id":"Q5428273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$8AF1A514-A96B-4BD3-A7CF-1798FEA8E868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a1c0671f614dae1cf3cbde5f04062a81b1b1f9","datavalue":{"value":{"entity-type":"item","numeric-id":500021,"id":"Q500021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$4E8C40E1-1F4F-48E5-AD15-AB56DCE40E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069ac3f8556117f51491b2f6567f1ee447c1b03f","datavalue":{"value":{"entity-type":"item","numeric-id":6489396,"id":"Q6489396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$FB1551AD-4A92-4D83-8A1D-75CBE55F67EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$61CD203E-ED60-4513-BE58-43271FA5C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86e6542bde47d8eebfd1fb82b7135bc900d48d7","datavalue":{"value":{"entity-type":"item","numeric-id":5641129,"id":"Q5641129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$F3DD71D7-5F7E-4C18-8241-B8E7CCB78F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa9e1d474cea604ed5dd0070a7308423afa8f35","datavalue":{"value":{"entity-type":"item","numeric-id":2554322,"id":"Q2554322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$D0BC665F-C0C9-46CD-9D71-3F98224BE1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6966296$77F30DDC-E3A6-4799-AE42-983EF4E0D906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamentals of finitary proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fundamentals_of_finitary_proofs"}}}}}