{"entities":{"Q5520636":{"pageid":7550196,"ns":120,"title":"Item:Q5520636","lastrevid":34511660,"modified":"2024-06-11T19:59:20Z","type":"item","id":"Q5520636","labels":{"en":{"language":"en","value":"Decidability and undecidability of extensions of second (first) order theory of (generalized) successor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3232741"}},"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":"Q5520636$110BCAD5-A5AB-4A3F-A146-1D350B4A0848","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35a4fc7aa86799deea88f35740b2e26912198e1d","datavalue":{"value":{"text":"Decidability and undecidability of extensions of second (first) order theory of (generalized) successor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5520636$54329CDF-C461-4E98-BD8B-0AD3CCE8D261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c671ae439051667f01929df8c47761de55e4920","datavalue":{"value":"0144.24501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520636$F40FFFF0-9C18-4A00-B228-8BB87B553981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b10d74661762d890493bc4967ed74e8476fe9457","datavalue":{"value":"10.2307/2269808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520636$83E4560E-E810-4DDD-AEDF-DDAE1318E465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e0517533c8797fb15f68618af0050749445abef","datavalue":{"value":{"entity-type":"item","numeric-id":770740,"id":"Q770740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520636$F10703F3-2A1B-4C8C-A328-01E98807ECFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a6ceea60edeae77a252d717ec1705b5a0654a2","datavalue":{"value":{"entity-type":"item","numeric-id":208759,"id":"Q208759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520636$0A240277-63BD-4CCF-80B9-94E84ACBB073","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5520636$04C65B3A-0E3D-46C9-B50B-7F854E4E8C36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5520636$55829A57-376B-45DE-A2A0-8144CB6039E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520636$0615AC9C-863E-42AA-8626-8E8D9DB9B230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebd222bf58f4bb4d8d92c954f842eae545585e8e","datavalue":{"value":"3232741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520636$4AE1BEB5-053E-4DD3-AF7D-A2C64E7C8094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5520636$B4F69142-FF67-4E71-96C4-B2B68EFBF237","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":"Q5520636$120DE14A-7C53-4236-A809-0840B71ADC06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28ae6495f1bb6f4072b9b4db5159adb8a7fcde88","datavalue":{"value":"https://doi.org/10.2307/2269808","type":"string"},"datatype":"url"},"type":"statement","id":"Q5520636$876E18D3-E745-4A13-AC56-649F651DC15C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4bcdde7acdd6b1127e84c657ee84642a9f118a0","datavalue":{"value":"W2131663704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5520636$7138D4C7-E868-4E75-9724-BF6C56CD8498","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":"Q5520636$ED2ABB8D-74FE-4F1E-B981-4D5182CBAB97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5520636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5520636"}}}}}