{"entities":{"Q7300637":{"pageid":31217539,"ns":120,"title":"Item:Q7300637","lastrevid":105071206,"modified":"2026-09-16T08:29:50Z","type":"item","id":"Q7300637","labels":{"en":{"language":"en","value":"Modal logical aspects of provability predicates and consistency statements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8227970"}},"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":"Q7300637$93ACB6C7-A992-4B8D-8D16-186B0EA1F2BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d57e23d7e0d35f64e6cc0b351cffc05ae98fbeb0","datavalue":{"value":{"text":"Modal logical aspects of provability predicates and consistency statements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7300637$719484EE-5971-4191-A478-631E32C12CD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bff973f65a9a2cd6179cebd61ee9dffdc0ad147d","datavalue":{"value":"10.1093/LOGCOM/EXAG030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7300637$AECCD7D4-D9A4-49A8-BA55-26F6DFEA67AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bdd5f9bf91cb599cdf58745ce542f4d44921bee","datavalue":{"value":{"entity-type":"item","numeric-id":6040615,"id":"Q6040615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$2C13D683-577D-453C-819C-6EAD7ABE6920","rank":"normal"},{"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":"Q7300637$77624FC1-D8B1-4EEB-A76B-BEED7AE86918","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$10FAE111-A0CE-4787-8E94-54FCCF99CD34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d556298c74812728f22fa1afe6c0d082f991f8e","datavalue":{"value":{"time":"+2026-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7300637$BD5EFE22-7D4D-48D9-BDCB-1C47EF160959","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7300637$C719743C-8F6D-4CC0-BBE0-74691C03AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7300637$ACDD6098-F439-4BDA-8FB7-94D13B2CBDF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"199f473213b0937aac394eb47262e93fe188aaf7","datavalue":{"value":"8227970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7300637$909D9129-305B-47F2-AC8B-FC4D6DD78E5B","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":"Q7300637$E77E7F9B-6F10-4FCA-8B47-73A65D5FF048","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b226e1cf53a11b2b23cbab3932c50f8cdfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$CE4E72B3-C7B3-4226-8773-A0611CA9A7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dbf8dfa5bc399ec3c3b82f7d186f6542ccc3ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677759,"id":"Q3677759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$B8FC71B1-296B-4BBB-BE38-57D79B1392B1","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":"Q7300637$946E297A-7A17-4E90-BD99-7A9E77D0CB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$23404EFC-1E42-48BF-B0C3-65C1DA36E2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$6D4D6767-5E95-4269-B7BB-99EA58B77F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb0e3cb29da224412d3154c1b47cb8c0ad8c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4018168,"id":"Q4018168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$CCF41063-FD42-4553-AA1D-2E382E0FAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0c6339a6656b04c8db9d9f87d70c68dd44245","datavalue":{"value":{"entity-type":"item","numeric-id":571218,"id":"Q571218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$1C7E684F-E93E-4BA8-8069-271A6A687D00","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":"Q7300637$B50F3A92-A157-4E16-947D-8E7A365B5B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab0c2efb9b80506f5fca0a74ce6261e539e2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2590244,"id":"Q2590244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$905DE947-D37D-4B95-8F35-7496A8EE4207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e75044d316131685e93b46f9e6809c0127a85f8","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$2A15C840-BAE4-4305-94D1-EC1BB71AC201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914e96ea34bbc5fad7d5203a5493140eddfb6d54","datavalue":{"value":{"entity-type":"item","numeric-id":4401433,"id":"Q4401433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$6872E089-06CA-47C9-85E1-496FF2B76858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"192913892674dc9a0bccc1939f67db80718f58b1","datavalue":{"value":{"entity-type":"item","numeric-id":6040616,"id":"Q6040616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$6B2D37C5-4B04-4002-BA8F-B80D4BA761BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$1F461758-72DC-49B2-AC4E-97D9A70D1778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce8c521174909ccec9a60fc7d5c9b69479cfc76","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$1403BB99-BE1E-4FDF-B3C2-64BC93070411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c273e8711bfe8c9c061d7363325f54d032ae64b3","datavalue":{"value":{"entity-type":"item","numeric-id":1756596,"id":"Q1756596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$27FCF576-177C-4C1C-8B2E-747EBF51ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e56050a36f966b9bacc1a86cb4c5605e0a97b28d","datavalue":{"value":{"entity-type":"item","numeric-id":5855755,"id":"Q5855755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$B5CB96CA-4731-43F8-8419-984A0936A830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa35e2db2ec77c074fc79357cd52a4f0c472583","datavalue":{"value":{"entity-type":"item","numeric-id":2186698,"id":"Q2186698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$BAE0F460-50BF-4156-BDEF-752C861E5A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6245d3ff507db61fc8681379d22f984cf51edd","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$D49546D5-EA15-477D-A69F-9FB5BB1DB63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ec3b46cb8615e80b642ad686478bd0b385df77","datavalue":{"value":{"entity-type":"item","numeric-id":6636677,"id":"Q6636677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$EEB7E0D3-A6C6-474C-9B65-E9E1B980F669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e14033a39334b83832168a7a91157a0bfe7275","datavalue":{"value":{"entity-type":"item","numeric-id":7237606,"id":"Q7237606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$A640D232-F0A7-49C4-B41B-83EBFBC6454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$EF1AEFC5-3DD3-4B64-A42C-0FB4EBB7293F","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":"Q7300637$93F3C256-D6BF-4A1A-8EA5-C71B1CF2AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1be4473dd04d762364ae568b2c783c9dd04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5726696,"id":"Q5726696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$FD1BF903-0AA8-422A-8216-89544A965851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc73e23839d9fe8f09566ce9fc5a96bdd2a7e59","datavalue":{"value":{"entity-type":"item","numeric-id":5523665,"id":"Q5523665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$93DD039A-253E-4B59-9C7E-66453B502A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$57CB07CC-CA09-4E75-B612-CA6B61CA4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0df5df771b8f61d6e89c7b6e0ae4eff121e2e85","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$88D0A0DE-6C5F-4B5B-853E-56F805B0A3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$72946213-0DC9-40B8-A348-85271E73E62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$949D772A-C86E-46B4-A091-75796C4FE681","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":"Q7300637$726F5A8A-99E4-4E39-9900-05BA48EFBFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7300637$DF225B05-681C-4AAA-8FC7-A8DF5C7E6223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logical aspects of provability predicates and consistency statements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logical_aspects_of_provability_predicates_and_consistency_statements"}}}}}