{"entities":{"Q5195060":{"pageid":7224632,"ns":120,"title":"Item:Q5195060","lastrevid":53533520,"modified":"2026-01-25T04:52:32Z","type":"item","id":"Q5195060","labels":{"en":{"language":"en","value":"The \\(\\Sigma_1\\)-provability logic of \\(\\mathsf{HA}^{*}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7106187"}},"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":"Q5195060$B4926384-C8E1-4CF4-9A52-16F7750BDB3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b29c0eaf58ecebbaef3ac15ec1fde797be4bd11e","datavalue":{"value":{"text":"THE -PROVABILITY LOGIC OF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5195060$E6873A47-86B6-4BA0-BA2E-8AE0BDC0ACA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"759e179862a949c03cf53bd2fe2574e98c5bd107","datavalue":{"value":"1439.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$46670329-894C-459E-AE3F-E69577964283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5195060$AF17A3D4-5352-44D6-A8F7-02321C74C44B","rank":"normal"},{"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":"Q5195060$A2D49EB6-5A50-4DBA-9334-05B2E3DDFFA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5195060$4B2A3D51-5F9A-423A-A518-893D6A23276A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$7478BD19-D2C1-4131-BF6B-8843FE8BE932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$A6513111-8B0C-400C-880F-E01275842450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$DE9D5A09-1956-439A-BD14-2F7919645EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$21232FB7-82BA-41A8-9A1E-4DD7616ED45F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb5b8f1290ccd2721e12061d826a53bf2d3287f9","datavalue":{"value":"7106187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$4888A1F9-345E-46C8-B5AE-9B3D86E8AAC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e821dae61ef6ced4e65876962e7cd45b6f2f9a","datavalue":{"value":"completeness principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195060$FBA9B5B7-CF28-4E39-8699-CD700B4F5648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195060$9B959290-9F13-4F2B-9BEA-F4211D27B8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195060$34BEFF9A-677F-45C7-8CD7-3D9AB2A2B4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195060$B195296C-51A3-4B51-BB63-C35389AE2121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5195060$9D923FCE-3E0C-4B1B-A276-707FBF67DF2B","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":"Q5195060$AE266C7C-3BA9-41CE-93BA-6114122999C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f785b28e4418f2ab819953bbbca297901401453","datavalue":{"value":"https://doi.org/10.1017/jsl.2019.44","type":"string"},"datatype":"url"},"type":"statement","id":"Q5195060$1E6CB77A-78AE-4C08-88FE-F6AF2D03A2EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f82597dd7f6e2a5ef381b7c987c3e7f3cdde1fcb","datavalue":{"value":"W2958157630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$90A2DD88-FC51-4F6B-8485-AC2381391784","rank":"normal"}],"P223":[{"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":"Q5195060$DB357962-29D9-4E65-834F-1B793867262D","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":"Q5195060$925240FD-6CC6-4FBC-8E03-6C07EE398575","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":"Q5195060$38D33FBB-45B5-42A7-87C2-F4782DEAFA2F","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":"Q5195060$0BBF0C81-D159-455F-8174-A32F416B2432","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":"Q5195060$163AA71B-2F00-4605-886B-0FA07427BC07","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":"Q5195060$982EFB14-CE74-4109-BE4D-11C2A22FCEC7","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":"Q5195060$9F4A6820-0E08-4802-9249-4B6F725F39A9","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":"Q5195060$352320E4-C547-4A30-A295-5F0CEE36FCB2","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":"Q5195060$E771F427-B819-4077-BCB6-64D3EF5B0729","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":"Q5195060$06FA1152-8B66-48C5-8F6C-B2ADA65F3CAB","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":"Q5195060$5D561F05-B789-4DBF-B51E-6C83B2B8B739","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":"Q5195060$4028F832-F573-4B57-91F3-670744F5CE50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecb5187e9b297dee27f52bb9b74ad650bda651d0","datavalue":{"value":"10.1017/JSL.2019.44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5195060$8D69403D-600A-4162-844B-6B6BE58D2CF1","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":"Q5195060$73571BF4-1140-46E8-AAA5-0661E8A5F459","rank":"normal"}],"P1643":[{"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":"21d6b27fd29131252b4988c559e47ff71db4742e","datavalue":{"value":{"amount":"+0.8806376457214355","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":"Q5195060$A094C4EA-AA15-4646-8274-830888AD7D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e26f8508d95ce06901fdc5191ac7b366f0c517","datavalue":{"value":{"entity-type":"item","numeric-id":4329242,"id":"Q4329242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2919fe0afdf0e31dbecb36c35d44f7cd1b73f6e2","datavalue":{"value":{"amount":"+0.8648548722267151","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":"Q5195060$F2F6205F-2B6A-4AD9-8B2C-9E09EC3D3AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38dc7409dd4cf70b35b1a480a6ec992e1b9e945","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784267674d7d7e689554760334257780e2c8f243","datavalue":{"value":{"amount":"+0.8098592758178711","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":"Q5195060$76D7CA0D-C8E7-4111-9373-0A1748CC69AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d6939b86a56eb64afb560b094b845c382b714a","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff881dfbe4c8af5c8604c2be6bf944622885bf31","datavalue":{"value":{"amount":"+0.7857838273048401","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":"Q5195060$68D5D435-239C-44C4-BFC3-5DD7999EE063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01da544e8c5818a237e9b4d8a7b497b7df6b2c69","datavalue":{"value":{"entity-type":"item","numeric-id":4808463,"id":"Q4808463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c6d4a740d3e95a4eb0fce8016c65be2e299a7f","datavalue":{"value":{"amount":"+0.7831448316574097","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":"Q5195060$54255704-9407-47F7-8AB7-EFC6D9C4F763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5195060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5195060"}}}}}