{"entities":{"Q4247082":{"pageid":6276683,"ns":120,"title":"Item:Q4247082","lastrevid":46824297,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247082","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301858"}},"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":"Q4247082$EC0B5C50-95D1-4096-9F48-36BB6D1DC226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a599f3c75682ba6d71455680137c4fc2c2969687","datavalue":{"value":"0927.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247082$45846A87-7CAC-4B68-9BA5-A8395E708198","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb15e9c782511d7ffecacce55fd8c1c4d353e8df","datavalue":{"value":{"entity-type":"item","numeric-id":1586165,"id":"Q1586165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247082$48EA3D1D-4B37-4793-939A-AC45C7D6AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d865be380a2417118adfe1d5342583c2c12e0b","datavalue":{"value":{"entity-type":"item","numeric-id":204600,"id":"Q204600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247082$F1674BF2-3E5A-4F11-A282-7F428B6B9EC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247082$BE898E42-191F-4E0C-B3A4-2E26490FD7DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247082$14F8E52C-D04C-4563-B91D-30F617903854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247082$7EE7B8A7-EAA3-408B-879D-E940A2843FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247082$DF7F5A01-801F-4A80-A375-244310E730F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321a20f1f2680cca45b72e0528c6f756036d8b0d","datavalue":{"value":"1301858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247082$D07E71C8-43B0-4324-8A9A-33AF42D60A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707674353c78b4bf650ecd68fbe4216bda41a30c","datavalue":{"value":"theorem proving system HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$EA38A3E9-B3D5-4BEF-AE3D-F3779443EF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$DA040AF9-8C60-4D69-B981-C1E5217ECD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1870509fd38f5eebae7d160c319bd09440bb39f","datavalue":{"value":"equivalence of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$B484BD25-1D5B-44D3-8391-C7FDFA5B4EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$0FA6C846-F412-438C-A306-69178EB23CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57dcebb9a3ec3a7158bff21623bfd8ba1b632c0e","datavalue":{"value":"Hilbertian axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$13EC3DDD-E3BF-418E-B032-E83290042FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$E79A04AD-D3AD-45AD-AF20-17D610C2BC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$49F3A222-52A1-41AB-8EAF-0B67A4AC779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247082$9B21EE01-BF91-4DDB-BA33-12D7FE9C7A05","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":"Q4247082$E366FD4C-BF7E-4C27-A3EB-CA9608D3F57F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7097f4247ecaad935a74ebf2d68d70cd3bf198","datavalue":{"value":{"amount":"+0.7447418570518494","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":"Q4247082$859AEA02-B8B7-4C5F-9F76-6C48A8337812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745e4b133023b817158aeb37ab064e3565f821b2","datavalue":{"value":{"amount":"+0.7365975379943848","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":"Q4247082$64F4A6DB-C134-4D90-8D76-A0C22CA19747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1703b32a2b77d0843308ad39e4abb09b5e4bc888","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91a622808867f3ca5fb83f4e5318cd4aaaaaaa9","datavalue":{"value":{"amount":"+0.727571964263916","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":"Q4247082$C3842E3A-B336-4663-9595-E30D2384648E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8aba500f89cbf727442fbde664c82a20d58a91","datavalue":{"value":{"entity-type":"item","numeric-id":2108191,"id":"Q2108191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92e768a6cb73edfc017e9203cc1345f6fdec1ec","datavalue":{"value":{"amount":"+0.7260817885398865","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":"Q4247082$05759F95-34F7-4D3B-8A31-815BA51ACDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbaec2746b1bccca32932fae8a20b45338558eab","datavalue":{"value":{"entity-type":"item","numeric-id":1663242,"id":"Q1663242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bae342569196f46460e7c48d65fea33fd6bfb7","datavalue":{"value":{"amount":"+0.7208754420280457","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":"Q4247082$B070963C-C48A-4C63-A314-548FE3DA3AE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247082"}}}}}