{"entities":{"Q5696302":{"pageid":7725862,"ns":120,"title":"Item:Q5696302","lastrevid":92810039,"modified":"2026-06-05T02:48:22Z","type":"item","id":"Q5696302","labels":{"en":{"language":"en","value":"A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2215472"}},"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":"Q5696302$86BA01F1-6517-4F23-ACA7-F036144DE840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b14844db1cf8a3591399e9c42e1ff00638d2e815","datavalue":{"value":{"text":"A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5696302$A802930D-45AD-46DD-BE34-F11C25DFCF07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad2cc49abb7f7b41b69528aca773b73d0533f277","datavalue":{"value":"1080.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$1917F1A1-2290-4664-851E-E78FBB44DA76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2188a88b6674acb5d2901ff8f3d0f4e479b75adb","datavalue":{"value":{"entity-type":"item","numeric-id":385072,"id":"Q385072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696302$4344BA18-2490-41E3-A2B1-D46798C6E39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9991432eed482b000fbc3fd8b37ecc4f4e3b28dd","datavalue":{"value":{"entity-type":"item","numeric-id":3160557,"id":"Q3160557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696302$3830694B-2FED-42A0-A4AB-AD1D682E9EFB","rank":"normal"},{"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":"Q5696302$0D47F192-0EC6-48FC-AFA3-4B247979CA75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6f7a1ea56bcdf0c7d7dc34b361f4f0413b22fb9","datavalue":{"value":{"time":"+2005-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5696302$25510479-33D4-4673-9A6D-D81706C4D0EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d8264146e101804a794b04d18afc932b9edd293","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26754","type":"string"},"datatype":"url"},"type":"statement","id":"Q5696302$52720161-D9C8-42D8-8A4D-E37AB90DB3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$58508727-E05A-42CB-BDDF-8AE288753C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$BC74EA87-6E18-40C7-B627-446EEDAC3E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$16DC3FDF-8213-4E60-A882-5BFF1E59E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$7E68DCE3-BB36-47D7-A6BC-74AE63437D23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b1fb4754a99ce06cc3d157e896cbc4a1896e13d","datavalue":{"value":"2215472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$52979FF1-4F24-44E2-BAD2-C13868DD7375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e857c1738dfa989f206dd5622615f9fd26e2b6a2","datavalue":{"value":"polymodal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$6197F544-A6CF-4562-B442-2E7FEDCD0BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9791a4bf839df33c7c691a47fc998912f80e1ef8","datavalue":{"value":"proof-theoretic analysis of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$02EED2CC-EADE-4DE3-AA5F-F55BD7D01D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2339ee02d64af9823085e1df679e079b1c3bf195","datavalue":{"value":"finitary method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$D78A334B-DE2D-4EBF-AA71-40DFA6DB8148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$ED866FDB-89EB-4A0C-A355-A27672E98607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$C9D15208-F8DB-4742-A8BA-9A79AC16AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11b8ca84e4bb6b6d269686c64208c414da75007","datavalue":{"value":"omega-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$E9B357B5-A808-4218-AD59-B8B96FA64395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cac1feef426972068600602faf6f341910e04a","datavalue":{"value":"system of ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$567690B4-A8EA-4740-9924-C7218E8CCDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34755aa73e22e6185e243800c1a417457155d5ee","datavalue":{"value":"epsilon-zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q5696302$23BC39BB-5138-46A1-AB18-E72DA7C5C894","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":"Q5696302$DEB628C9-89FC-4000-BED1-CCA0F035FBA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"341515a5474e2886f42592f5b8b60ac954698972","datavalue":{"value":"W2155188310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$5EA497FE-F5F7-4473-A799-8C768971356F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d05f0bb812032171c93e71c3c2c624621514abc","datavalue":{"value":"Q120204356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$3417330F-7FE3-4B8B-B606-B2B59574F530","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a983a6274ea9930779e8235380956210f7b280f3","datavalue":{"value":"10.1093/LOGCOM/EXI038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5696302$872378B2-5A61-47F9-94F0-DA5017832562","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5696302$AC25E99A-B49E-4347-8CEF-29D50AC2EE56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b228e631199bfeda3210a9c57bd76d42f46dc15b","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18e734ea4e8f999a1838b0328127c8abba7cbdb","datavalue":{"value":{"amount":"+0.8826486468315125","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":"Q5696302$92F4A35A-CCDF-4A9E-A1CB-D8B72A6DC13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a48571ea01dbe7108aeae3647625ecca32a7666","datavalue":{"value":{"amount":"+0.8798739910125732","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":"Q5696302$B2107EDE-B8D3-4ABE-8ED7-59528EAC5AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a05b131fe22ba7f3e3766eeb81e4bf48593858","datavalue":{"value":{"entity-type":"item","numeric-id":482919,"id":"Q482919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d485ba347766037ee7ab41631513ebfce0ee77ab","datavalue":{"value":{"amount":"+0.8594645857810974","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":"Q5696302$1EB036A6-0882-4DDA-82CB-A34093C91B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43119248cb8202e318b1e606c0b14cabac026b7b","datavalue":{"value":{"amount":"+0.8545631766319275","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":"Q5696302$5ABFA26A-F97C-4293-B652-AE00E8C85941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03b02bd997b275362d500e2a2f349efdc8883b8","datavalue":{"value":{"amount":"+0.8534404039382935","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":"Q5696302$E1D2510F-AED0-426B-A0DB-D9E686EDDC13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic","badges":[]}}}}}