{"entities":{"Q4918381":{"pageid":6947963,"ns":120,"title":"Item:Q4918381","lastrevid":51701249,"modified":"2026-01-19T13:48:40Z","type":"item","id":"Q4918381","labels":{"en":{"language":"en","value":"Arithmetical interpretations and Kripke frames of predicate modal logic of provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157157"}},"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":"Q4918381$58095A1C-A51C-4FEF-9282-19993B7EB892","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e78f26d885a843a8ef09b7cf5a4c5911fa74cb1","datavalue":{"value":{"text":"ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4918381$EFCDCAFE-BD50-4CBE-8FB4-C7F54D1214DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46ff87994ec482b034ac6050874838f0b882b301","datavalue":{"value":"1267.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918381$F16A8A9A-0710-4F1D-A1B9-4D6151B883B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a2489b34e0d11389a941796f4378e190d3b7ee5","datavalue":{"value":"10.1017/S1755020312000275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918381$962BF260-F885-4F0C-B7D2-E50177565A1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$856EC6D3-667C-4678-B97C-5B2D229E8CCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$919994FB-A89F-47D2-91D5-CE4B83AE7A32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e216c612d07f9116b5513eaa13cb6534e6ca9d3e","datavalue":{"value":{"time":"+2013-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4918381$CA99CB44-64F0-4298-A97D-009AF131B62E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918381$FD9E43F7-F075-4A67-9D4C-81C9EC72A17E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea0b38a9d23f95e527b161833e4addc8b1216696","datavalue":{"value":"6157157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918381$CFAE55FE-CD57-4347-A689-5164BE2DBBA6","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":"Q4918381$C2A0528B-4ED9-4622-B15F-9BF36C4E7581","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":"Q4918381$DDF7FD84-BCCE-4E8D-8068-4FD3AC73FED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$30013226-18A9-41FE-A43F-78BB051CA091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b11a9a3ddbf1a7b9453fc8d59573eb0a65a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1176093,"id":"Q1176093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$5FD8D8C1-5D11-4E08-9934-AA3CEF25DEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$902F221A-4A9F-49D0-8E4F-A5F36D577717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cf0f0361f6088836a7c4b387112946d3604b02","datavalue":{"value":{"entity-type":"item","numeric-id":2501168,"id":"Q2501168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$C2092636-6B73-41AB-A4B5-2037CD288208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c473e525ddb30377e0108bbc9cb0dd0c2ff0887","datavalue":{"value":{"entity-type":"item","numeric-id":1361250,"id":"Q1361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$9C403B07-7912-4F61-A81D-388121B421BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3722e2028532cc6cb3001eb46f2acfd805417d0b","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$A2DB0197-E7BB-441F-94C5-80ADD8AC6503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$12FC2175-5398-4BB5-BECE-BBBCCA108F0A","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":"Q4918381$35DE0BC7-B11C-4510-B3A2-5F740F0423FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$13885DF4-763B-4B8C-AE21-5B2D809AD06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$DC39B673-5B64-4B53-BAFC-CF4D9D82905D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918381$EA901E95-049F-46F0-8A18-CD4B0EE833FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03476c3ec13f3e72da70f6dc8fa7ae7bca3da3fe","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114be610bc48f1b4b9da9db5f129638449e79e83","datavalue":{"value":{"amount":"+0.8819717168807983","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":"Q4918381$FE459CD9-84F0-415A-827E-1E65D436F3BC","rank":"normal"},{"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":"76f19fe028d9383f2421cb28dac9a6f2d0ec117f","datavalue":{"value":{"amount":"+0.859804630279541","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":"Q4918381$324900D8-427C-478E-9DDE-C84F5733FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"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":"Q4918381$DB9733A2-3AC4-44E3-9246-52A153FFCE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b826ef5cda30a1157e287a75867f2245504cb11f","datavalue":{"value":{"entity-type":"item","numeric-id":1176101,"id":"Q1176101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914b1bcce1e14a5789ac964f45f5085ecfde6bb7","datavalue":{"value":{"amount":"+0.8281962871551514","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":"Q4918381$E93D1994-6B32-42FE-84E6-7B10B173A61D","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":"0c39685eac8509436e4540ffb6903ef4bb1a31f7","datavalue":{"value":{"amount":"+0.826353907585144","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":"Q4918381$A98A4115-2374-44D4-9013-B898B1910A69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4918381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4918381"}}}}}