{"entities":{"Q5037515":{"pageid":7067092,"ns":120,"title":"Item:Q5037515","lastrevid":57222024,"modified":"2026-03-27T12:49:44Z","type":"item","id":"Q5037515","labels":{"en":{"language":"en","value":"VARIANTS OF KREISEL\u2019S CONJECTURE ON A NEW NOTION OF PROVABILITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7482176"}},"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":"Q5037515$22F54543-8F72-4F71-83AF-2506187C32BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49cff000ae272e2738fda26ddbe415b15b780667","datavalue":{"value":{"text":"VARIANTS OF KREISEL\u2019S CONJECTURE ON A NEW NOTION OF PROVABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5037515$986CD7C7-BD7C-4747-8803-F6F031349EFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$23118542-A055-4A33-AFF3-43A6C4520236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c04f326322e011e10730c22ed4fc2b39f039b03f","datavalue":{"value":{"entity-type":"item","numeric-id":2070427,"id":"Q2070427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$5F3B7DD2-7F63-46D1-B092-B019E295E212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$69EDCFDC-52DE-4717-86DA-11F62719F996","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6eeb874c1de04aac9478f71fc535fee1a6fff7","datavalue":{"value":{"time":"+2022-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5037515$BC451E5B-7DDF-440C-84D0-DDF221AC05DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$DE58AEAC-25AA-4E00-A1B6-0D0C21D9F57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$27A04793-D4DB-4B2E-AF49-E95C4639680B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc1dc7a1e9a7e27809eb7e08bddcb025b9af593a","datavalue":{"value":"7482176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$69E56F85-82DE-4456-9BBC-18B4D2B45160","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56766a0bbdd06f79e66d2f027452b7d279a8136f","datavalue":{"value":"Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037515$19443FB4-324C-4A15-BAAB-BF9A65639871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037515$A6129EA1-E80D-4372-8F75-E34AE01C02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5037515$7D7AB74F-1E3B-4DC3-8892-D7B8FDABB7E3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"14cf50aa7a40f36f41524bfe4009464cb56b9d2b","datavalue":{"value":"Q113858366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$2E131AF7-4EC5-4C17-921D-B45255FF9D83","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":"Q5037515$EA2ECF90-86CB-4487-AB48-BDB38A3646F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef0601f971d2ce1e44a32dd54f12cc48d7cda95","datavalue":{"value":"https://doi.org/10.1017/bsl.2021.68","type":"string"},"datatype":"url"},"type":"statement","id":"Q5037515$297CDEF6-066D-46C5-B7FE-2F0D238A6D2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ee0a3e5834cba0be6eda470cae94e945cd508e9","datavalue":{"value":"W4200475768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$45B51CBD-D49C-404F-B351-2C72D1E75F15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$2616B09B-05AD-4D85-A1B1-D8E7C6D9CF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232408a5aa0583a17b389a6e68e44202c7915bca","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$54391725-9874-410D-BF9D-B8F2F86CBF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$0BDE07A4-1513-4EF5-9AF4-24DA5961EB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$0898A7A9-73A7-4C00-AD2B-28C54778B0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad30bf4d75347f4bb75b482053e125684b94e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$3D38B8FB-AA86-4746-8D39-7EAC99DECA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c273e8711bfe8c9c061d7363325f54d032ae64b3","datavalue":{"value":{"entity-type":"item","numeric-id":1756596,"id":"Q1756596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$39D66D1D-53C0-40A6-9A34-BCD70CB17368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56050a36f966b9bacc1a86cb4c5605e0a97b28d","datavalue":{"value":{"entity-type":"item","numeric-id":5855755,"id":"Q5855755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$4DE414B9-367B-43DF-84AC-343BAB3E328A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$A0E5899C-61C1-4BFF-A683-BC5A9DC1562C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae562de604841f5bb8c2249bfc0ab8913aadfd76","datavalue":{"value":{"entity-type":"item","numeric-id":775448,"id":"Q775448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$05206613-9384-4F43-BD8E-8E5BC5482C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06aeba11d82d31d0908c53f7f9cab266ef5901c","datavalue":{"value":{"entity-type":"item","numeric-id":1168322,"id":"Q1168322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$68C7ACA9-C81B-49A0-90C3-80E959364008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$5D7B9C44-F801-4AE9-BA36-AA40A1FC804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a455d78e1b2e575a95470d6188bea99fa99df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$7AA3BDDF-4DE3-4750-93C3-E253F6EAD50D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50ea597c6e46bbbbc0bcd9ff92d2da446e3238a4","datavalue":{"value":"10.1017/BSL.2021.68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5037515$D8BAD946-DFE3-4209-9B2B-D16DC0414893","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22120f37ddd7529160d90ed43bb6510b24c7f43","datavalue":{"value":{"amount":"+0.823706328868866","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":"Q5037515$B7E0956D-5968-480C-A3A5-6D66D279C6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9286bdc07f848e4c4ce5c1530917dc5e507d5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663d9274303355342ffe60ccb9c1e245ebb034a3","datavalue":{"value":{"amount":"+0.8213350176811218","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":"Q5037515$2C2A2324-AFD8-4B67-B5E7-2E9A80C508FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21473e318044af4735c8f559ea4a6ecae3509f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773879,"id":"Q3773879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9eedf47b3bd004a3c6ddd3922b5c9c1ee6b2fc","datavalue":{"value":{"amount":"+0.8209607601165771","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":"Q5037515$D0963DC6-8474-4208-9354-C17856FD906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffd3be41ef1305800f353ea53f1df10b45292f2","datavalue":{"value":{"entity-type":"item","numeric-id":3481697,"id":"Q3481697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb174f857f7a2debb443d290d663246870a280c9","datavalue":{"value":{"amount":"+0.8166117072105408","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":"Q5037515$1BD2258B-6A69-43E3-9CF7-1021FDE8AF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f96dbd05ad84233c354d50f4becf29f2234803","datavalue":{"value":{"entity-type":"item","numeric-id":3399187,"id":"Q3399187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e611ad23c293a1684706437559773bd5c06de5","datavalue":{"value":{"amount":"+0.8161106705665588","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":"Q5037515$7E9DFADE-CD09-4030-A70E-E954D9DE5CD2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5037515$695053DA-5916-4D70-A4C8-147CB59799BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5037515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5037515"}}}}}