{"entities":{"Q3195649":{"pageid":3206357,"ns":120,"title":"Item:Q3195649","lastrevid":86426564,"modified":"2026-06-03T20:58:49Z","type":"item","id":"Q3195649","labels":{"en":{"language":"en","value":"Some new results in monadic second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496556"}},"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":"Q3195649$33464401-C0C6-45F4-B706-F92565791C1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20b85f3111aaec89e0977f9511eba274aeb68f57","datavalue":{"value":{"text":"Some new results in monadic second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195649$9B248CCD-1447-4336-97F3-DB68A5FCE3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86ee769238b91916715b49dcd1735b4c8f01708a","datavalue":{"value":"1337.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195649$47FFFE2C-A153-40FB-804B-4F0A2F7EBCF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b52aa005f4a7692742adc147987ced7cf0ce32f4","datavalue":{"value":"10.3233/COM-150036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195649$D973C6C1-51BA-4661-8531-7D900AB6397B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f517762c8bf8d062c2939388e57760160d03abdd","datavalue":{"value":{"entity-type":"item","numeric-id":365660,"id":"Q365660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$A34F37A4-EA8C-4829-8777-48659D406531","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$E4E22CBE-1814-4449-8C96-9340F2B01203","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195649$D26AEA5C-E970-4952-8BEE-CF344E13F1C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195649$96673A47-ACFB-4586-B94D-3353FD7A6356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195649$D1DA91D6-C043-4A9B-BE7B-D4B826E2708E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fc11f3b54285943cee343910b8da08d499b2de5","datavalue":{"value":"6496556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195649$2D0DC0DD-DA5A-40F9-9308-64D531EABDF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f6c306fc8d72eea12d272d34c8f2665cca4896","datavalue":{"value":"monadic second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195649$9E5E1ED3-4742-4224-9E87-5E5981C3FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195649$E48C6E93-C458-4B8C-B6B9-4E77BEF1DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3195649$6BB67468-88FB-4F2C-9ACB-B71D438508D9","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":"Q3195649$0E47D051-7218-41B3-BB41-AC5266E2C7A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b822af4eafa1a1dde639986420cf2ba390f1907","datavalue":{"value":{"entity-type":"item","numeric-id":1377632,"id":"Q1377632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$851AD180-3B36-4B1A-9B0C-55C8A9419987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e98b81afb4a247e42b3a127518d1703f292ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3842688,"id":"Q3842688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$2097FBD8-CFBE-407D-9050-54259E1C6A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a208b293f41828902e2a641b95f780423438f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4212909,"id":"Q4212909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$D4A8DDE8-73AF-4C6B-BB76-D346C1115908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5156d253ad9ef4b9fa04d3597f700389d8b453a2","datavalue":{"value":{"entity-type":"item","numeric-id":1817073,"id":"Q1817073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$0A265A34-AD4F-48FC-89D1-A07A243420E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$73A12C9F-F1D9-409D-B29F-A4D51C8C9BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85afa24b935cddedea5e0f3320e91124c4165a31","datavalue":{"value":{"entity-type":"item","numeric-id":4272745,"id":"Q4272745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$EF08E601-2C69-4B7D-88C1-681DB899A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6ee93c6a75b541cd72652bc62d7edbd6011d59","datavalue":{"value":{"entity-type":"item","numeric-id":5941257,"id":"Q5941257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$3836C9C0-53DD-45FA-8EE2-A059CEC4C255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8134014ec66587618daa12c3e4f16188b62a133d","datavalue":{"value":{"entity-type":"item","numeric-id":4338318,"id":"Q4338318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$2C7A18C6-5FCF-4CCB-B3C0-54732FC33610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$952BC600-402C-4DD1-9BB8-DC17958D538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$9C01C7AA-EE55-4696-9FC9-1D4F8C141D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69cdcec3f83be688f15b6a5cbe10f3a870c3c","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195649$097C3C99-24AE-4828-AC55-0AC4667F6192","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30046a469f32fe127b70307338e00495134df4e","datavalue":{"value":{"entity-type":"item","numeric-id":365661,"id":"Q365661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d724358c2a6bf7ee08459821d73db6172666e0f5","datavalue":{"value":{"amount":"+0.7500237822532654","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":"Q3195649$EFD841A9-8F97-4766-85D1-98308330392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7702578785a543f2b7b2de15c75cd1f8db16e9","datavalue":{"value":{"entity-type":"item","numeric-id":4894724,"id":"Q4894724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b765638457ec3f8257fd50ac0343cb2744830bea","datavalue":{"value":{"amount":"+0.7410935163497925","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":"Q3195649$FB1136D4-5DB1-4A20-8FC9-1E7B2BA72D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8552f99124ce010e13d598e26fa0c07552360fe","datavalue":{"value":{"entity-type":"item","numeric-id":3791131,"id":"Q3791131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47d8ba17817d229f5388319b01dc0e7fc603317","datavalue":{"value":{"amount":"+0.741093099117279","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":"Q3195649$750F0FBE-1644-428E-ADD2-CB41675A81A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5bf130b92c8150f46f4703df86eed1301665eb","datavalue":{"value":{"entity-type":"item","numeric-id":3834042,"id":"Q3834042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997460f86cb572ecdc0a3366859ec79a6eb58ab5","datavalue":{"value":{"amount":"+0.7354898452758789","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":"Q3195649$2B931115-D79C-4460-A6E9-7E35DDC23F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be156d9810b97fc2fa97349425dd32c263bb9228","datavalue":{"value":{"entity-type":"item","numeric-id":3701419,"id":"Q3701419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd1b980ae44f58d0f4f5837ce53140ee52c3d","datavalue":{"value":{"amount":"+0.7281357049942017","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":"Q3195649$8EA691C0-E793-401E-B601-F8679D559369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some new results in monadic second-order arithmetic","badges":[]}}}}}