{"entities":{"Q5579483":{"pageid":7609043,"ns":120,"title":"Item:Q5579483","lastrevid":92677568,"modified":"2026-06-05T02:23:52Z","type":"item","id":"Q5579483","labels":{"en":{"language":"en","value":"Independent Recursive Axiomatizability in Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3296230"}},"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":"Q5579483$B3DA83E6-561D-439B-85BA-C7EFD10F7621","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac29d291b7954f1682824ccb797578f6c5c21058","datavalue":{"value":"0186.00802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579483$38CFBD1C-4B57-4820-BDDF-0ADF1EEAF1AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39a82dabfe15065a7a5a5dc2f9c2b7cd18f9970e","datavalue":{"value":"10.2307/2037497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579483$39891B91-32B1-428A-93C7-296A75195F1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5579483$1954CD2E-133D-4557-A9C4-CB866379119D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579483$6A3F30F9-5989-4F21-B862-7252C625A29F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c9a914034da917b2661950973ef8bbe9fa3fb8","datavalue":{"value":"3296230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579483$7710BFCD-79CA-4784-9278-4D0335ADB211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5579483$1575A956-58CD-4B3C-A6FF-447A596E3AC4","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":"Q5579483$01899035-AC47-420A-A5E9-58D66F42ABB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1eda53797e1b7306acc5d6b6a4c16c1909749040","datavalue":{"value":"https://doi.org/10.2307/2037497","type":"string"},"datatype":"url"},"type":"statement","id":"Q5579483$A957FCAD-8E98-4CA6-8B8D-CA4FEDCA8614","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7050bfbd6e0c280dd2ff761ff14860fe354a3766","datavalue":{"value":"W4238984846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579483$F4A9F880-1097-437A-BCC1-F60344CC7368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7007c3bfedf419c34ff902532e9310ef5d626106","datavalue":{"value":{"text":"Independent Recursive Axiomatizability in Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5579483$FE5A89C6-3607-4D2A-9E49-6690D381ECA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e7e6d18f997984f5f5b65812a00928e8463f7e","datavalue":{"value":{"entity-type":"item","numeric-id":5822065,"id":"Q5822065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$1F5BEDC4-96BE-4807-B341-12548E2A628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a1702469a885b2204e468cc6a7dad2f3882700","datavalue":{"value":{"entity-type":"item","numeric-id":5599139,"id":"Q5599139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$9A15197A-0821-42A6-900B-FD24BCC5D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2d87da3370fa31078505aec633c2823335abf","datavalue":{"value":{"entity-type":"item","numeric-id":5822066,"id":"Q5822066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$963A0F92-6160-404B-9D1B-2FB8E916E784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef97ba9235cd171b215dc2d8a4e4088fb0571c9","datavalue":{"value":{"entity-type":"item","numeric-id":5518345,"id":"Q5518345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$4D7D27BB-39D2-46BE-9280-AD293861D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c242dfea816db0107fa45bc6786d4dcdf8d53af2","datavalue":{"value":{"entity-type":"item","numeric-id":5760002,"id":"Q5760002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$AFDC5727-3C29-42DD-B418-FA5D50641AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579483$0D993A36-714B-40BE-B0FD-4A5FD84E5B65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independent Recursive Axiomatizability in Arithmetic","badges":[]}}}}}