{"entities":{"Q1253650":{"pageid":1264400,"ns":120,"title":"Item:Q1253650","lastrevid":68296527,"modified":"2026-04-12T22:45:38Z","type":"item","id":"Q1253650","labels":{"en":{"language":"en","value":"An axiom system for the weak monadic second order theory of two successors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3616393"}},"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":"Q1253650$7BD83C25-4C54-42B0-9FA5-76523C457009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c15573106e4adc8c423458b1662a77cdaaf3359","datavalue":{"value":{"text":"An axiom system for the weak monadic second order theory of two successors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1253650$CBFAA71F-1914-4566-BB78-4051D965E455","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15def19152ff1b086cb1e2dc3609e362693ea2b7","datavalue":{"value":"0397.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$6BF56787-C167-4EEA-82D2-E6123F39F3D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09a0ce84de9560215c55931d564dca5658afad1b","datavalue":{"value":"10.1007/BF02761075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$0253A747-D37F-410E-A280-ED0B185F514F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c0e42fc7701878cb19d63edff0dae6b65048ac","datavalue":{"value":{"entity-type":"item","numeric-id":1207952,"id":"Q1207952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$13A09DCA-D640-4E6D-B1B4-B029C7E529D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$78284DCB-B423-478A-979D-1EB36E63CE82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1253650$22710645-4B76-4CED-B7E0-8702F203C300","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$CEB39393-6087-44A8-9191-E3D778F821FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$C13DDFF8-00AF-41F6-9803-FD8EB2343311","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3acff22d1147c3453f7dd6070add44258c05971","datavalue":{"value":"3616393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$63924DA6-C6C2-4721-8BCE-AE1FE0FBF3FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9454eccff711656f14d62cbf57b0561df5b433c7","datavalue":{"value":"Weak Monadic Second Order Theory of Two Successors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253650$0D04FA08-1B7F-46FF-925A-B64B6F80EA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253650$AA253A87-D0FC-4E40-8264-F0CE1F539BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c55911317296c98c86406e684d9969453659303","datavalue":{"value":"Finiteness Principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253650$541FA6BC-4F36-4C70-A344-796FBAF41D12","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":"Q1253650$F8E663A3-BE92-4DBF-9BCB-39AA1FCAF1CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$E42B9618-1B4F-44A0-BB0C-5BEEF5419184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$3271C2CD-38A5-49FE-9A22-C8C1370F876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$3564C65E-8B7B-453A-8306-67832F4604EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$48A9F91B-2CCC-4816-B1A7-042291060DEF","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":"Q1253650$7526B665-8D36-4D8A-AB41-04C64E95FE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$B032E669-9A9F-44EB-98B3-F4A1AC86D457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$799D3F8B-CA19-4E46-8C41-A7AE117B5650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1253650$028D3506-83BD-4747-A2E6-6D5E153E6173","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"224a78ec4d3ed793f175b83368c4b5b7b7a001e9","datavalue":{"value":"Q114693416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253650$8017922F-4301-4357-893E-64B0A24CFA44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiom system for the weak monadic second order theory of two successors","badges":[]}}}}}