{"entities":{"Q3211282":{"pageid":3221990,"ns":120,"title":"Item:Q3211282","lastrevid":49473004,"modified":"2026-01-07T05:27:25Z","type":"item","id":"Q3211282","labels":{"en":{"language":"en","value":"Finite Kripke models and predicate logics of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191595"}},"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":"Q3211282$6C2E05B3-2F3C-41AC-AC77-FA11651F8AF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d532ab5de54fc3e4e67d7d65fc657dae838c2f","datavalue":{"value":{"text":"Finite Kripke models and predicate logics of provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3211282$8E8B2C7D-1FC4-4F4F-9009-2E84A3242596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"740deac602e8cefa2f7351bfff9f896d9b64da05","datavalue":{"value":"0723.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$B08611A0-E2F7-42CA-AFA0-78006EF50DAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abddf52bba3ddef75ac5e5ba7bf6c3063cf090a","datavalue":{"value":"10.2307/2274475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$6997DCB9-5524-4CD7-81D6-943A336A375B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23b2c746e186ea70830f10ed92eca798efb3f60","datavalue":{"value":{"entity-type":"item","numeric-id":685074,"id":"Q685074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$64DC85B8-CFC2-49C1-BFCB-DF35F5D694B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$DC436171-9CC9-48F5-9B9C-2F438BC20E22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$0398B3ED-9868-4CFA-AB69-9598676CBE62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3211282$E08B7527-9AD8-42B3-8840-65BFD77AC4B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$50CAABEB-9E81-43BA-BAB2-CD91D6D1C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$ECD3724F-C397-4845-8350-DCEAF51252C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$02DD0324-E7A3-48F7-98A1-9140DE137675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$68C0D900-BD70-44DA-9129-027DE701AF4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"612b18c22c268de9435574a4c8436ec84c0e0caa","datavalue":{"value":"4191595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$A9411933-DF1C-4658-A043-C8A0B447CCEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211282$D14BCC45-4C7B-4B82-8C95-73E317DBE4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b0d9926522ee8a284ecd19b1ce82443520c569","datavalue":{"value":"provability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211282$4E722FE8-98E8-4BB4-AD8E-EE03899CECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211282$1D9BEBAA-D644-4C04-BB13-45FEC8091113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da99977ecfa663d0ddffd143ab085e1abd9e310","datavalue":{"value":"imbedding of modal logic into Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211282$9CF0FA12-1C56-4A58-A262-16323BC50328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3211282$C0F005E9-6E87-460D-95CB-3308272A0344","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":"Q3211282$B1253214-7829-43B6-AC8F-F0C3E946B4CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e70a8c92561cfab20d40e730a5fbd2a46278f67","datavalue":{"value":"https://doi.org/10.2307/2274475","type":"string"},"datatype":"url"},"type":"statement","id":"Q3211282$0AFE65E2-FCA7-4D0C-ADE3-E1D4A7577DD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f22cf7be42dfe823ce8f9b78650596eeb6f1f6d6","datavalue":{"value":"W2079626851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3211282$CC0E1887-ECB4-47C5-A065-1C25C76D9FA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$4440BA46-F28A-4F96-ACE6-AE2F098A7CB2","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":"Q3211282$6C76DF40-7E4C-4944-B761-CAAF3AD03308","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":"Q3211282$1D8E2052-3E57-4032-81A6-839C3CFE71DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$DD37A8CD-2C84-4934-BF01-00CE839F0588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579023570065d038507c5e845b3bfb596f30e954","datavalue":{"value":{"entity-type":"item","numeric-id":4753173,"id":"Q4753173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3211282$A76C82F2-6BCD-4BEB-AFDF-E23DEFDEFFAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad79d9b224cfefba3240d79be65187693fe57db3","datavalue":{"value":{"amount":"+0.8874187469482422","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":"Q3211282$FBCD0936-2E35-4ED9-B3B9-88A23EEF5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47e939c630c8be035e2b20ab8843bf1c8891091","datavalue":{"value":{"entity-type":"item","numeric-id":4918381,"id":"Q4918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f668ca19c6d922aa19eb55ef780b8e6c0d64994","datavalue":{"value":{"amount":"+0.8358312845230103","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":"Q3211282$92AC505A-21AB-4F3D-AFAA-DC8C6A89CF30","rank":"normal"},{"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":"50177da194de1ad8ff8a65be823cb31c6f726945","datavalue":{"value":{"amount":"+0.8324918150901794","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":"Q3211282$77284BC5-CC83-4D19-BAF5-4C5ACB718253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358ae4f0a526c674fc95bdebe5d97060ee3ba2b9","datavalue":{"value":{"entity-type":"item","numeric-id":3816054,"id":"Q3816054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0dfcd773139b841c7de0ba00e6c4a33fcaf183","datavalue":{"value":{"amount":"+0.832118809223175","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":"Q3211282$3020F9AE-0875-4785-A6C7-DC255D515D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033c5435c0169181d912d8e5942da9e13fdc46b3","datavalue":{"value":{"amount":"+0.8302854299545288","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":"Q3211282$83C1360E-1AA9-416E-998B-7613EA5EDCE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3211282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3211282"}}}}}