{"entities":{"Q1254240":{"pageid":1264990,"ns":120,"title":"Item:Q1254240","lastrevid":70003671,"modified":"2026-04-13T11:47:46Z","type":"item","id":"Q1254240","labels":{"en":{"language":"en","value":"B\u00fcchi's monadic second order successor arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619854"}},"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":"Q1254240$A57A3908-B3BE-400F-A802-542088F69878","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78af42d120f9065a927e32287970c1266614df88","datavalue":{"value":{"text":"B\u00fcchi's monadic second order successor arithmetic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1254240$564CAD77-3B9B-4195-8B86-A735ED36A5DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b50ab5817ed5c4c8c98272c450b8f28b8a8aade5","datavalue":{"value":"0399.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$6F34E4ED-57F3-4631-A289-A91E04B0D5E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bb19e2516328e78c0f7f4743bd275198d7deac2","datavalue":{"value":"10.1007/978-3-662-36678-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$5249B568-D4F7-40A8-8373-695AC98EFFE9","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":"Q1254240$2E4AF4A2-1A14-4978-BB20-761FC7866EDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1254240$74B03251-1AF3-47FC-8339-3ABD44385C9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q1254240$13D13470-384D-433E-9F62-53DF22DE3D28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$387809EA-60D8-4203-8EB5-EB28A74D31D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$A215BBD9-3B45-4325-84B6-AA42A024171C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$63FD9131-FF5C-44A5-9158-2F08EDB463E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$60860BCE-4B37-4386-B445-5AADDD42E3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$01D13DF8-B3D3-45FB-966C-49BCDD962070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$F6178295-68C4-4129-A9A3-E023FF3406D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d3ec4f970383cc8d8e3caead48beadda9697dc","datavalue":{"value":"3619854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$E1AA829E-1350-4DDB-9180-15925901E2D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"340933c38095649f8d23c42218554cb6c1382852","datavalue":{"value":"Finite Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$4431E023-DE99-4AEE-B9D6-284F9D9EC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c61f9c17f4bd037de4306808b366276321040b73","datavalue":{"value":"Ultimately Periodic Sets of Natural Numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$23825F79-C05A-402C-AFBC-E28B8FD3CF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e071107dcd07e06c3c1a55519b044bdb0156cb","datavalue":{"value":"Categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$745D941C-AA6E-497A-BC7C-116B0227AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36b9fb01f1e744350cf5e82f002787deaa99fe49","datavalue":{"value":"Buechi's Monadic Second Order Successor Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$A867E292-6189-4F65-8964-446CB2F88525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e9e00bb2f68181993d95598a5665d6e755e285","datavalue":{"value":"Peano Axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$3816F130-8E89-45FB-A91B-D5CCDAE2AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0716ccd98a4dcf2aa29090f26ef850b50866fad","datavalue":{"value":"Decidable Theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$BD03B030-6BAD-4417-81C8-0AD390D459D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d234880229f74b10e822c048b361ceb06ef3800a","datavalue":{"value":"Definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$237AD902-6F16-4079-B3FF-B8522668D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be49347861fd92577001abcbc04d01cb49a1b46","datavalue":{"value":"Restricted Recursion Formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$19C40384-3A93-47B5-83E9-2C59C2BC4E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58462e44c6c4e8fb4f6f39fb1b7d83ba4b3a86d8","datavalue":{"value":"Quantifiers Elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1254240$010ECB41-035F-4AA3-99F4-53282AC4F992","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":"Q1254240$8E223421-A085-43AC-85BD-B554B8326E43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18a6767fb1b74e4410e6bfd2c3ba09ca9e2e2b1c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-36678-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1254240$D416A8DA-B4FC-49C1-A721-CBF2C848564A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb15a280cd6c95a1eaec52112cd70351a799a4d","datavalue":{"value":"W563652063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1254240$0C7AD22B-06A3-49E9-A5D6-43CF6A9243DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B\u00fcchi's monadic second order successor arithmetic.","badges":[]}}}}}