{"entities":{"Q3714054":{"pageid":5743960,"ns":120,"title":"Item:Q3714054","lastrevid":50581247,"modified":"2026-01-14T11:28:02Z","type":"item","id":"Q3714054","labels":{"en":{"language":"en","value":"On modal systems having arithmetical interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3941508"}},"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":"Q3714054$D3D6B8E9-2759-4F9E-AABC-2774196ADCCF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82ebd7813fb7782b39681bc687de93ad6fd2e758","datavalue":{"value":{"text":"On modal systems having arithmetical interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3714054$2E19898C-A0E4-4222-A84C-D3A32EBEF2A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79dc34a43976bd9529cd9509168a5428baa6c777","datavalue":{"value":"0587.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$E310D500-AF5E-45F7-8438-23E4E472DF75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c32be067959e64ed5858ba76c49b17c3f2c4481d","datavalue":{"value":"10.2307/2274147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$3265B5CA-454D-4F11-A228-7ECBA04A0250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714054$779C224F-0E9D-44B4-9EEF-3510698D57E3","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":"Q3714054$A6314C54-4C69-40BB-A445-F28B6EE9C995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3714054$5329573A-BC68-4669-876E-1A2DC823FB37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$BC985B3A-4368-40D8-B054-58C98EF2DE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$0CBE348D-0484-45CC-8C57-84BDEF1C458A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f08a57a29da45e865afca2d8500f5a60284a06","datavalue":{"value":"3941508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$F3865619-E456-4B6D-987D-8C8C4533638B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08fbc35aeb33875c33200796a6b740cd96509833","datavalue":{"value":"modal logic GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$19B5DF28-8BE5-4E53-B463-4EB722F689B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4cd53bdec789d1be27a7b0e9b2b7cd4d70e0f65","datavalue":{"value":"modal logic Grz","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$369DE2B0-5084-4770-A027-7960C08388C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9860a26ee528af7d4954e7904e26016995b66cf5","datavalue":{"value":"omitting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$A7F10BB1-C3B3-4252-B6B4-559265128D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea201b595a7f56545a2c0f245ad3c7babc3d643","datavalue":{"value":"first-order modal system QGL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$731B7058-1E26-4059-A78C-92F2C287A9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$5F6A346D-B765-4B3E-9520-38FC498B1D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bba5e22d7dff8312bc34f306bc40b2d1b9433d9","datavalue":{"value":"sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$3F942065-FA8D-4B29-8919-261D026C9CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$C532E381-EF74-460A-AA96-0E3362707B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$5F57C5B7-5E1C-4438-81FD-CEEF3AC7C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714054$C56247B8-881A-4780-84A5-B8DBFE3B7BDA","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":"Q3714054$84275923-10B7-4DB9-9037-6495EB8836B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f607d00dd48325f7df438147f9092cc67973ba1","datavalue":{"value":"https://doi.org/10.2307/2274147","type":"string"},"datatype":"url"},"type":"statement","id":"Q3714054$8E7DCD68-3514-4D47-8D92-43EDE74A51D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34de4ceef8c5cf241c97127f48c31698882ce45f","datavalue":{"value":"W2052270606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714054$914880BB-5C92-4DCC-8195-33F8954B04B5","rank":"normal"}],"P223":[{"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":"Q3714054$D4C5E658-91B3-4CDC-862A-BD7714D2254F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5c714fd5819198abd360f8bb52f21b06f7318a","datavalue":{"value":{"entity-type":"item","numeric-id":1161741,"id":"Q1161741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714054$3EDCEEF4-A3DB-4D00-A56A-CABF5EA2185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714054$D4C6D639-8F8C-438F-9A66-AB1D5545D82B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d063d20ab7b79dc1022e3a70a0d5ca6d036a686","datavalue":{"value":{"entity-type":"item","numeric-id":798649,"id":"Q798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962b0644baaedde8be927302039a489ad7712fee","datavalue":{"value":{"amount":"+0.8457075953483582","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":"Q3714054$D302073E-1AEF-4264-8847-7205DCE8F19F","rank":"normal"},{"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":"53fa836341dfafbaf54bc8fa3e2a54ecef3efb5d","datavalue":{"value":{"amount":"+0.8204725980758667","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":"Q3714054$C8BFC152-AE97-4F4A-8B98-76061D894A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54b289dba8c25b8fa9700c9af481897ac368da3","datavalue":{"value":{"amount":"+0.819212019443512","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":"Q3714054$898AA9C1-0D05-4BEC-BDCF-D791CBBD1385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925906ee8eb3f744ce9cff5dfee25372096f5835","datavalue":{"value":{"amount":"+0.8174276351928711","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":"Q3714054$3F07E5FE-C74D-491C-90FD-E356222037A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1608dc6dfab95dcf07f9abd1e1fc5b7364de61d","datavalue":{"value":{"entity-type":"item","numeric-id":4724618,"id":"Q4724618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baa0579868db1d024aa666a6e5685a9fe626db3","datavalue":{"value":{"amount":"+0.8166614770889282","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":"Q3714054$0E573506-0140-4C66-812B-5F9F57DB4A7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714054"}}}}}