{"entities":{"Q2974783":{"pageid":2985508,"ns":120,"title":"Item:Q2974783","lastrevid":85448150,"modified":"2026-06-03T08:20:01Z","type":"item","id":"Q2974783","labels":{"en":{"language":"en","value":"Build your own clarithmetic. II: Soundness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6703918"}},"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":"Q2974783$426F62A1-D030-4356-B670-A57C0CE07403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a40edeb217091af2562a62ed0f593214830831","datavalue":{"value":{"text":"Build your own clarithmetic II: Soundness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2974783$E19A65CE-A32C-4C0D-A6CC-222D32F62993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa271dcac114009a5021252319eaae90f41eba1","datavalue":{"value":"1445.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$881661A5-2B47-4154-A0E3-CDF2DD2885E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cac818b2c6fe887e9740b26f447d30081e961655","datavalue":{"value":"10.2168/LMCS-12(3:12)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$02210C6E-571C-46AC-B2FB-D4EEB6FA12C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974783$49B15CC3-E28D-4AC8-AB36-EA7AC146721B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2974783$DA3DC30D-EFEA-4F22-8BE8-2815773345B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0a2d5456aa484593fec481f4daec5520f7618119","datavalue":{"value":{"time":"+2017-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2974783$84662279-4356-4DC3-B845-501209C700C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1ef9e0a7aabf60834ad1b789ea27db665c4a248","datavalue":{"value":"https://arxiv.org/abs/1510.08566","type":"string"},"datatype":"url"},"type":"statement","id":"Q2974783$4329AD3D-6241-40A1-BE53-2B4BDB1113DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$C613EB02-4DDB-4796-A940-84602DF86683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$B817D1E8-EEF6-42E6-B0C2-7545BF832627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$7E2841C8-4516-440F-BE4F-B5BBCEA7E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$84209E99-AAE4-4C43-BD2E-2AC2AA978078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$7751DEDF-899C-4B64-8C17-808885418220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b17f41aca6b9c8900de6e4c103bb60e5e07eae42","datavalue":{"value":"6703918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2974783$7C763145-48D0-447A-8BCE-971A37618ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$27CFB7A2-A456-41DD-923A-86A7D27628F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$395A1A0C-4851-4165-A8A5-7CA9112F5022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$265AC47A-B04D-4F21-9904-83275E4DED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$5EFCF843-9567-4F62-A64D-4FA5915452A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$8B5E019F-0F90-4379-9A75-AE1FC7192F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2974783$5A92EF18-C6D0-4E9B-98E9-38880ADDE7EF","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":"Q2974783$6D8B3BB0-0EF5-45BE-B485-5E2E775A4FDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05aef83ee2726d411723414d77de1a58cd6167b","datavalue":{"value":{"entity-type":"item","numeric-id":2974779,"id":"Q2974779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d740e74fbc5d67aefbaeb873527575f2e7d443","datavalue":{"value":{"amount":"+0.983992040157318","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":"Q2974783$55F1362A-31C2-4D34-966E-E395ACEE4FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99223050666897a557412837fbbf6f3a3393e579","datavalue":{"value":{"entity-type":"item","numeric-id":642523,"id":"Q642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba6610a833c164a3dd05c5dbc162c102b53c625","datavalue":{"value":{"amount":"+0.8900718688964844","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":"Q2974783$9CBE4166-794C-41E8-B8EA-6ED518086F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996562fe6080591008460a3cfb0d8127ecbadf76","datavalue":{"value":{"entity-type":"item","numeric-id":392285,"id":"Q392285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a369dcded10c021fc98c584288e1090bab10c7a4","datavalue":{"value":{"amount":"+0.8588269352912903","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":"Q2974783$9402C2BD-30B9-4BF6-853F-C715C762AAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55009647b038a940780aaff3345779c880b6346","datavalue":{"value":{"entity-type":"item","numeric-id":259084,"id":"Q259084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93035bacabf30a9cc1a9bca60b482fba7aecdc85","datavalue":{"value":{"amount":"+0.854377269744873","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":"Q2974783$E070DD98-F068-4A28-9E43-D35C3C454401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1561976a38ad524cad1afbf82b5fa581c58454f","datavalue":{"value":{"entity-type":"item","numeric-id":2373705,"id":"Q2373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b825c04ab1f07910dbb00c059961fcf7897b17a","datavalue":{"value":{"amount":"+0.8512998819351196","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":"Q2974783$C5399EA3-1E0A-4EE9-B220-8A58D9795D7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Build your own clarithmetic. II: Soundness","badges":[]}}}}}