{"entities":{"Q1176093":{"pageid":1186842,"ns":120,"title":"Item:Q1176093","lastrevid":69807681,"modified":"2026-04-13T09:31:49Z","type":"item","id":"Q1176093","labels":{"en":{"language":"en","value":"Provability: The emergence of a mathematical modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 13438"}},"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":"Q1176093$79FAB24B-8F4C-4C74-B462-09D69504C0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"588f574d6cc47181feae12f9de4f9af4e49dd3d6","datavalue":{"value":{"text":"Provability: The emergence of a mathematical modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1176093$B3FBA916-7F5E-4A3F-A59E-E420B2DB542E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ceb6e11c8b255683841fa9bfd85bb6fb1a906ec","datavalue":{"value":"0742.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$B7B2B39F-BA14-45E1-85F6-16CD86F09ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f455e252056697c8a7c68652347b14b1c4c5292","datavalue":{"value":"10.1007/BF00370383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$637F9ED8-7B31-44C2-8404-3CC54FA6B236","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dae5d6cf705e82161555573be309f7a5a5d53fa9","datavalue":{"value":{"entity-type":"item","numeric-id":685072,"id":"Q685072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$6CEECB68-CDED-406D-A8E5-3AFC008542AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$EDE6EEA9-4640-4A4F-80CE-744B256B8BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$FD7CA5D8-ABB6-49F5-B940-D8BC9C4FC82E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1176093$5231213F-2BC2-4BBF-9B05-2C668B5FDFFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"591e91dabc231638703e14baf619c9583d666189","datavalue":{"value":"The germ of the modal logic of provability, as well as the ones of many other logical disciplines, can be found in G\u00f6del's works. In this quite interesting paper, the authors give a historical survey of the development of the modal logic of provability. Some of the basic notions and results concerning this subject are presented, followed by the corresponding bibliographical and historical facts, including sometimes relevant details related to the communication between logicians working in this field. The appendix of the paper contains Kripke's remarkable proof that the set of sentences of quantified modal logic that are valid in all transitive, converse well-founded frames is \\(\\Pi^ 2_ 1\\)- complete. The material is presented very clearly, correctly and in a nice and understandable style.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176093$91FBF220-9C54-417B-86BB-2287A9D6DC0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$40BDC373-C8DD-4391-8ABD-BBB41E23B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$21F3B2D1-CF0D-4CA5-957A-0AA26C15A43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$316E9BDB-9F92-4405-A8B3-2DD8E929FF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$8BAD4127-C0E3-4343-878C-F2A41B54009A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63c3a5775c3ea2136b75146f2ca89b19387a016f","datavalue":{"value":"13438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$29570DF0-E586-4A19-A6FF-145837B20F06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894d4cffe0e448b0a58004593401ea9dc815d128","datavalue":{"value":"modal logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176093$92008CBB-AC85-49EE-B2D8-00DEF7B17730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50c36a1867cde4531761a3844bf0b80eaa221a1","datavalue":{"value":"historical survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q1176093$E594D33E-460A-44FF-AE37-C5A9EF03BB75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$24801251-DB7A-407C-A67E-AA35C8F6A04E","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":"Q1176093$A156BC6E-9AD1-4C52-8C4C-C3EFFC9696F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c73f57a842cb7334be9de90eb3dd1dd27b760b","datavalue":{"value":{"entity-type":"item","numeric-id":1222158,"id":"Q1222158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$5432B207-DDAD-430B-A9BC-10604FFEBAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763bfa014de0a39be6e239dc0ac578fd8f7042fd","datavalue":{"value":{"entity-type":"item","numeric-id":1223285,"id":"Q1223285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$65EBC8C3-6B45-4CD7-8F7A-A8C2863BA6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82101a0d47d940e7a610e83e81b3b494dea51ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1233018,"id":"Q1233018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$A81D8E08-E3E6-4D3B-8C6C-5CEA17C528C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43af70bb6795581ccb850dd18d7028d9d327e70b","datavalue":{"value":{"entity-type":"item","numeric-id":4132522,"id":"Q4132522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$A0F4416C-BB5D-49CE-BEF3-0305BE12595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$A7C4F616-EDB1-430F-A077-A9F517329BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78612369781cadfc139a1c5f7bf16621e068c688","datavalue":{"value":{"entity-type":"item","numeric-id":3879211,"id":"Q3879211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$E44F0A05-0A93-4FEF-84FF-1D824E5B8B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b688725937197700eaa9631633e2d7ee4255ab1","datavalue":{"value":{"entity-type":"item","numeric-id":1135843,"id":"Q1135843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$4FEDE0AC-DB1F-4A57-B31E-5434F1E19F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2eabd3062c1ff3ceaead59b8eeae3c8424d7c42","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$4B634EFE-E874-4524-AB08-A83860D4D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf4101b3462feb246a2deaded5fee1f7e9f637","datavalue":{"value":{"entity-type":"item","numeric-id":749521,"id":"Q749521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$49EB0EA0-ABB1-49C3-8192-739A8D3654ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$A558EFD5-9A03-4C7B-A964-D90D797BC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$02E31B36-AEBD-485B-A045-BEDF3DBAE06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$C7E3BF33-3EEE-41DC-9459-C9C75D442C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$DB9E1187-7211-49F7-9A52-61BB95431137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42be0cfdaa63ef4e7c4301e5421f585b1fedd30a","datavalue":{"value":{"entity-type":"item","numeric-id":1845881,"id":"Q1845881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$5D6CAED8-99A5-4FCF-8843-C1138EFBE536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854c598cff83637fef8013152479d60cef4fc7ab","datavalue":{"value":{"entity-type":"item","numeric-id":1221103,"id":"Q1221103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$DD65A09F-AD01-4072-89C8-7A89A3B03736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b52c537ad7f03181be7f0fbfb928aca32d6af8","datavalue":{"value":{"entity-type":"item","numeric-id":4121961,"id":"Q4121961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$C8CE5D70-A0BB-42A9-9EDC-D0ECCA8FB8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$9999A4C2-5B9C-4A9A-94C1-D6AEFEAFA6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1c10a48994750f9ea8f47b3ea09721413a554c","datavalue":{"value":{"entity-type":"item","numeric-id":1237068,"id":"Q1237068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$F9684509-DE66-4665-86F2-21E4FE1EF257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7658b4ce2652f0a467e42876cb596303432e2a0b","datavalue":{"value":{"entity-type":"item","numeric-id":1223284,"id":"Q1223284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$040DD1EE-0508-4429-933E-F3CCE1DC4D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a575b135ab8c68ef066d427f8c2b91aeb49e6000","datavalue":{"value":{"entity-type":"item","numeric-id":3852250,"id":"Q3852250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$6F325DF2-5F6C-4527-9D13-6C1787E287D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91e1750d7854eef47d809170adcf0210bb99f72","datavalue":{"value":{"entity-type":"item","numeric-id":1237723,"id":"Q1237723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$40A2CB8F-A611-4680-B43B-40C58B92DED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$8B4C865C-479A-44B6-8D09-87E066022F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ee7a0d4763dfd6bb3aa26839a240a6a0bbf35","datavalue":{"value":{"entity-type":"item","numeric-id":1259545,"id":"Q1259545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$903D356A-A59B-4AA6-918E-F5DC316DEEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6759a71252fad37811b45e5a4a3b7fe3a524cce3","datavalue":{"value":{"entity-type":"item","numeric-id":3333037,"id":"Q3333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$90B2236F-4132-40B1-AA35-11CB84851EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1176093$BB69779F-5E41-4FF0-9E68-2D547EB05FF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"468c7eb4386a11f86d140692302fa9bfd2ad5127","datavalue":{"value":"https://doi.org/10.1007/bf00370383","type":"string"},"datatype":"url"},"type":"statement","id":"Q1176093$A5F5722D-7E02-431E-B574-41E08BA2069A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57ea92ca4fb52da67f012d5493468e5d22b63e43","datavalue":{"value":"W1977396974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1176093$63F28C49-30B6-462E-BABA-3D6945ADCDC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc438cbef6e39cdae6ca0a79f3ba45cb387314c2","datavalue":{"value":{"entity-type":"item","numeric-id":5307881,"id":"Q5307881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c4c77b7fd3cdf441d5e3d7b109fc81c4680d43","datavalue":{"value":{"amount":"+0.8315685391426086","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":"Q1176093$9B9AFD3F-8C18-490B-B7F7-64CD560DD199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60d263e09383f9e540728d570eeab690d33d81c","datavalue":{"value":{"entity-type":"item","numeric-id":3447197,"id":"Q3447197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c6b3f55387e63fb016347737af1a30020068bd","datavalue":{"value":{"amount":"+0.8188369870185852","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":"Q1176093$CBBA17A8-9566-4DE4-856A-9BB061CB7839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2469fb9d39451f01a469e85c0232cd6dba31f","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f590c3cf29dc06004ccccc4598c497cb1c69ef","datavalue":{"value":{"amount":"+0.8162623643875122","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":"Q1176093$23035BBF-1CF2-45DC-8918-F45445D7EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173d2e159e2bae6cc695470d5a7af13954f180ca","datavalue":{"value":{"entity-type":"item","numeric-id":5187257,"id":"Q5187257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057a5d3bfec12337b5ba0e12f91db0af2d9c41c4","datavalue":{"value":{"amount":"+0.7912662029266357","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":"Q1176093$8723AB7B-8FAD-4553-BE0D-EB0CAAA563A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4835d434b81388ba1a49b19d18dff64c75c4d34","datavalue":{"value":{"entity-type":"item","numeric-id":4378052,"id":"Q4378052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc0665159111c9d03343bcb77fb27f431bc371a","datavalue":{"value":{"amount":"+0.7881799936294556","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":"Q1176093$A04FA0E9-1ABD-45D9-80FF-67F06592946A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Provability: The emergence of a mathematical modality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Provability:_The_emergence_of_a_mathematical_modality"}}}}}