{"entities":{"Q4378052":{"pageid":6407651,"ns":120,"title":"Item:Q4378052","lastrevid":46980411,"modified":"2025-12-25T23:56:44Z","type":"item","id":"Q4378052","labels":{"en":{"language":"en","value":"Provability logic\u2014a short introduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121145"}},"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":"Q4378052$D5B543B0-2B9D-42B1-9E03-F1078FB47710","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b78ad0c9e41f892c41af2f67d29b3b7181b09e7f","datavalue":{"value":{"text":"Provability logic\u2014a short introduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4378052$2739AAC5-1526-4F62-B16F-404FD16B229F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdb0e65f01ed110e15d70caa7187d388a25a5806","datavalue":{"value":"0897.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$CD17FFBA-3D23-4911-A8D6-B44698321ED5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4378052$907671B1-3143-4351-817B-E8376365C028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a674c4e1e8cb8fe7790fbdbe393a9377aa1d860","datavalue":{"value":{"time":"+1998-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4378052$F5EECF28-4F26-45F9-AD64-200EA6FE6FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$62C82CCC-C858-4424-91DC-6F3D72C872F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$DA74243D-F10B-41D8-A8D1-163DD05A1ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$5C4CE98C-96F7-4866-8618-CFF0D32F37E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bbc5d0f04e957c0092ddb650f02f9e2b291fedb","datavalue":{"value":"1121145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$8A58EE1E-88F0-484F-BDD9-CBB7158F98F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045702beb27c7e9aaf1bc601422bdbea9bc4fcf2","datavalue":{"value":"fixed-point theorem for GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$EC6C7C22-2263-4ED5-8922-E8076286DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$D3444D67-16FF-4754-AA42-C6F8F730247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$895EB9DB-E62B-4097-BE98-6C6346CA644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$97B3D588-4BB0-418B-9DE2-A05F65CFC977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fff17ab327d4d113d366b1d018bbb72a943b1e","datavalue":{"value":"bimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$AFAAB7F5-C7E2-49F1-A5F6-46A973D4C6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4378052$1CE470C0-44BB-4DE2-9BC2-D7C5F2A43943","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":"Q4378052$1EABB9E9-9678-4EDB-9331-6E4071FA3DF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d2ebe1016627fc1d446cb564902726adc1292d","datavalue":{"value":"https://doi.org/10.1111/j.1755-2567.1996.tb00529.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4378052$5F179415-BB77-4ACD-A021-F0DFE27C08F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e5820b16d446888188026514296918e2489ff17","datavalue":{"value":"W2132041470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$AE966B2D-9174-4CD6-AE95-2404ED5BB639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"418878e1451c9ae42d003beebb520dc8827bc29c","datavalue":{"value":"10.1111/J.1755-2567.1996.TB00529.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4378052$24E4E873-2EED-41B2-BAAB-55EEEEDF6F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162e0d084645b340ee4f43a1c5c928641727f27a","datavalue":{"value":{"entity-type":"item","numeric-id":6481406,"id":"Q6481406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4378052$90B25EB8-6870-4681-ABEE-02B171808563","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c58cbaef49b961d2059e73c75e96cf8d8553a79","datavalue":{"value":{"amount":"+0.903668999671936","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":"Q4378052$6304EEC8-280C-43E0-89D7-D1409F3DFB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43415e4311c55c2a9c0972a4e8e9ebb30b24dc61","datavalue":{"value":{"entity-type":"item","numeric-id":3442955,"id":"Q3442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7d83393e050c4d1fad56db7793fdcdcdfb42f58","datavalue":{"value":{"amount":"+0.8579906821250916","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":"Q4378052$9FCD04DB-C3BD-4A75-B061-09D5A5E21EDE","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":"0aefef478e08ae1831058f237d1f56bea921a0ef","datavalue":{"value":{"amount":"+0.8531156778335571","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":"Q4378052$F2DC6904-7C59-4DBD-9040-092DFAB7FFE4","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":"6939805c1f81cd3d4c36dc0f5a17410e947ea256","datavalue":{"value":{"amount":"+0.8434463143348694","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":"Q4378052$36802D42-A455-4521-B930-0B4282E80B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4378052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4378052"}}}}}