{"entities":{"Q2658282":{"pageid":2669025,"ns":120,"title":"Item:Q2658282","lastrevid":57970464,"modified":"2026-04-03T07:08:43Z","type":"item","id":"Q2658282","labels":{"en":{"language":"en","value":"Hard provability logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326276"}},"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":"Q2658282$32A78067-9D15-4A9D-B7E7-9EBF82659935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82435413ad49f7b594717ae4a8ff78a60421482c","datavalue":{"value":{"text":"Hard provability logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2658282$647C36F0-2683-43B1-B5F8-220B7A55F3A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"741a16477f0f35a3683b9c88d20e9f2787775948","datavalue":{"value":"1498.03155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$F8527679-006E-42B6-B2B8-CD474AA81A89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbd0b4bcacf5ec2b2f98c51e6c2501a1c870dc14","datavalue":{"value":"10.1007/978-3-030-53654-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$0929A609-D922-46CE-AF5B-5D6EA93109BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1cb568b800464519d8765426eaae0f6a02b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":720756,"id":"Q720756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$058B6E50-83F2-41AC-93BA-41C1BD60A650","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-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":"Q2658282$A303D723-B71F-4F7E-A3BB-9D471BF6AB78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a515eac561164c73c6a7a02523d2031b5c89529f","datavalue":{"value":"https://arxiv.org/abs/1911.04284","type":"string"},"datatype":"url"},"type":"statement","id":"Q2658282$13843B8D-E579-42CF-8DD7-466BD4E52CF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$E5077532-0BA1-4F31-AEA5-8CB656C8DDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$A2BBF98D-6A86-4E6B-A6C2-F474CA758641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5934e2c24d7ada620f867d37d787bc9f570f636","datavalue":{"value":"7326276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$03D05E26-C9A3-4BB4-858C-539004783E87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$B3342DFB-9BFA-410F-A30A-1D30CDE71FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fb71f0807ec7520698961bda2b731bc66f093c","datavalue":{"value":"relative provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$6F614F7D-A365-43C8-ABC1-70E439C67DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec3064e1f5c4a76c7cd4c747e77c17fa60ecd84","datavalue":{"value":"standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$911796D0-94DC-45BE-ADC2-4778372088E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853edab05f3a063b09fa009874973637e8cee2ab","datavalue":{"value":"Heyting arithmetic HA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$0729394D-765D-48F8-BF3F-22C3920CB032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd23aead4927b461b4dfaa429ee8e1afcc45479","datavalue":{"value":"Peano arithmetic PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$DA51A464-8FD2-4816-9313-5AB5621BD148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$D290ED85-A285-4D05-820C-54846D249620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2a9ad4197c19cd98949dc53cb5ecd9bb29aae9","datavalue":{"value":"rreduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658282$B5E4BF9B-29F2-4E7B-8916-9A623045567B","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":"Q2658282$8609A42C-AEAB-46BF-8222-34E49B7270C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58dffef0358872f148d40471475a5df8db35216","datavalue":{"value":"W2983152153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658282$A7398BBF-4468-489F-B6D7-1057BDAA0F7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efb8282b0afc9901e8807e66323382d5102d5b5","datavalue":{"value":{"entity-type":"item","numeric-id":481876,"id":"Q481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$355AF54C-927F-4D00-9EAB-9ABF7B11AEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cd872a9f304bab9c73fac6e7f406a06c89ae53","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$EDDBDBBD-26ED-4112-B7D1-2F0E80DBF833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cc1e43abdf1c047e967223968ecff0afc7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$95BAD343-4F33-418A-A2DA-07563BBBEF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ccce6536fc97bab971884155f80e02fbe40ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5195060,"id":"Q5195060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$02DBEFB3-5C46-42D1-BFB7-6BB738B21559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8c138eb2e529a393fcd06fbbfa7b3ee5e29f37","datavalue":{"value":{"entity-type":"item","numeric-id":5477944,"id":"Q5477944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$75827405-7B22-415B-AEFB-FB22368CA037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$132077F7-2224-44C0-BB00-B8E7C7A729AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6cc5b932a5a74537fb1aafe9a78ae17b7279b7","datavalue":{"value":{"entity-type":"item","numeric-id":627438,"id":"Q627438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$838C70C2-63B2-4A94-A0FD-B8D9E9B3C836","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":"Q2658282$93F53505-F4F4-4F76-AE70-A7EAB313501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$D7D5744A-EAB9-4A69-B910-D0C2316BAC9A","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":"Q2658282$3EA29C41-DC0C-4CE5-9592-69DC4EED8F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$3A8F5D66-5584-41DF-940E-7F1AF272AF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41800396e5c2208facfb06cc21f34008252d3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3909044,"id":"Q3909044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$B67274E9-2ABD-4C14-9DBD-FB8A39B54D03","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":"Q2658282$8052481B-F5BC-4EC4-A750-E840ECD27C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eea339baadb99a002226e659f9b30ebe828f9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5677462,"id":"Q5677462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$47540B8C-F192-48EC-B213-7C42BB65DDC2","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":"Q2658282$27B5E88C-A6AE-456C-987F-12015806BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$FD2A68DD-9A04-4060-81BF-BBA3D98587CD","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":"Q2658282$C9A4ECB7-2A17-408F-957B-2049D6B262C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$6E06D800-2F7F-431E-B582-4C25B701D08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$D56328C2-7583-46CF-AB69-16646E01C8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$2DFCE5A6-90A3-45AE-9462-0D527D13BF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$6EB66424-1C1D-42AF-8FA3-57FA17F49893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8075c9dcc01bcfeca2af5f45d7bba7d775947b","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658282$0F2BE35F-2A02-4D9E-9900-423DE74C5CF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadd8fd06a8f2eaad236e9e8711d13c0a1217c1b","datavalue":{"value":{"amount":"+0.8369722962379456","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":"Q2658282$C1231756-C6E5-4CA2-A46F-6454AF70969B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc334aa0682c9636040a506fa775315c59098a1","datavalue":{"value":{"amount":"+0.8032413125038147","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":"Q2658282$65B003EA-CB56-4A0E-AE2E-3413B314A642","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":"eced32d8cc9d105da4bdf3772a796f75d737625d","datavalue":{"value":{"amount":"+0.7922748923301697","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":"Q2658282$99074C51-AB98-4522-9FD5-9CB9CA278C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128e0e096ad44d4b1aae609bffaae7b436943236","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdd93139ba01b8a13af274d7c052763f3c9cbd1","datavalue":{"value":{"amount":"+0.7818133234977722","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":"Q2658282$948E7A54-5996-4E1E-AD8D-41161D77D547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a04ba7f337c87db119414b77d21f64bb7f7369","datavalue":{"value":{"amount":"+0.7738944292068481","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":"Q2658282$0C6F1655-77B9-42FA-9C03-4B22811891C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2658282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2658282"}}}}}