{"entities":{"Q2776806":{"pageid":2787544,"ns":120,"title":"Item:Q2776806","lastrevid":42001598,"modified":"2025-05-21T15:27:08Z","type":"item","id":"Q2776806","labels":{"en":{"language":"en","value":"Update procedures and the 1-consistency of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716763"}},"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":"Q2776806$D7BCCFE4-6D73-4433-B923-7DA91D9C7E76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cbfc5689fa42c18e5ee7415d6bb455fb79be645","datavalue":{"value":"0988.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$47FBB19D-A602-4BDE-BE9A-347324F230DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$0F6A4649-B4FF-4C94-93DD-FF20C8EF5401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776806$64E77E8D-67C9-42AB-9127-7C64F37DCAB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$D1FB77D5-F9E3-48E9-B4DB-B7994AFA910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$6369D5F1-4A93-4169-B742-4F9FCC4D54D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$DA01A39C-BC65-41E4-AE9C-D77675B23FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$F28F1686-8AA6-4AD2-83DD-45A3A2FC5CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a0cd8999192ee0fe90ca29ea6c001fde7b9be0","datavalue":{"value":"1716763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$C5F4E749-2667-417D-93B8-58E135A27824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$27A4949D-FA19-499C-B38D-30BF845CE36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$CFF3D4B4-8FB8-4043-B990-2DB055BF8DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd1eb87cea63958352c1edf8aed393845bc8b23f","datavalue":{"value":"combinatorial independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$E1F04B72-A117-4530-A4C1-F25DFB87DD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5db8e12af85d5daa6a55f198eccd67a462afbf","datavalue":{"value":"1-consistency of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$CDF74904-5857-4971-89E3-27D9495979A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$3408B169-1FA0-4152-A7FC-1C24F7E4F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cc009de0bd5358913f39ccec20c0fc1fd5a1d99","datavalue":{"value":"epsilon-substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776806$E906E7E3-9580-4E48-9945-423A69CC1681","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":"Q2776806$1C73D135-7D0D-49BE-9C60-0481BAA33245","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"973f6bf6c69678cd9a656a7e5b366fda4d57bf05","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$745A595A-E1F7-41A8-840E-8D9B63197A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24dda15178a3bfdb898ae2a77caee589ef44c923","datavalue":{"value":{"entity-type":"item","numeric-id":4551993,"id":"Q4551993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$9832A88C-BB8C-4A56-BF7B-833BC455AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204b14fff0f1434758e3ae2af5feb2ef0faec34","datavalue":{"value":{"entity-type":"item","numeric-id":4325772,"id":"Q4325772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$66578D2D-3420-4593-9AEC-3F9427194363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$919DF819-C4C3-4415-A5CE-7DFC247A2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826809d110f8f34cf67365cfce4764df340ba3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1344279,"id":"Q1344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$0EE6F062-EB85-4358-853E-AB70F84C55BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43855aac57bc142da3b7014bebd8efc531e52b19","datavalue":{"value":{"entity-type":"item","numeric-id":1281440,"id":"Q1281440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$A59C8B43-1A02-4E9F-9999-284FA746CD2E","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":"Q2776806$03595F8C-A554-4C8A-9AB2-360BC670DAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc193c6fcdac8b3fb21f4b5c4ef642f3a0c0a9df","datavalue":{"value":{"entity-type":"item","numeric-id":3128468,"id":"Q3128468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$73281CE5-A0CE-4858-83FE-F20EDDC6F79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$0080841F-DC51-4EC1-A698-6A995AD2DD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a31652f30ee05544850592905d3ff797bda713e","datavalue":{"value":{"entity-type":"item","numeric-id":5343335,"id":"Q5343335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$A1C38E44-2796-4428-9C7C-E5456D6B38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90049b19da6424ee09d03afefd43087776bfde24","datavalue":{"value":{"entity-type":"item","numeric-id":5343336,"id":"Q5343336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$2B9BA7E3-5C03-4F21-9BDD-FBAD2179EFA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449fa5866a965f30c1244ce0f321a8acfc389fd6","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C3::AID-MALQ3%3E3.0.CO;2-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776806$3991EBB0-A147-47A8-ACF1-0E7C4B1549BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6cac48252aae34e23983d960a68f991294ca4ee","datavalue":{"value":{"text":"Update procedures and the 1-consistency of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776806$FC5A91BC-80BA-44B5-9A69-1CC3F116BBB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776806$7C5A6772-FB2C-4B94-878A-D320659EBC60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2776806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2776806"}}}}}