{"entities":{"Q5588641":{"pageid":7618201,"ns":120,"title":"Item:Q5588641","lastrevid":39617298,"modified":"2024-12-30T16:11:58Z","type":"item","id":"Q5588641","labels":{"en":{"language":"en","value":"Undecidable Extensions of Monadic Second Order Successor Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3307559"}},"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":"Q5588641$61C4B671-EEB6-4FA9-B433-F8216FD97566","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ad9361a662e4b0631531d3402da30e959d55570","datavalue":{"value":{"text":"Undecidable Extensions of Monadic Second Order Successor Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5588641$A68C86D7-6E2B-4227-BC8D-20911CD94424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb152fe0cae01a76e40e7fccefa1d9a8ab9d3585","datavalue":{"value":"0193.31203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588641$5275108A-B2B5-4436-B134-4FB0494EA555","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809f22424441c4feb35d7e4f938b4d163de0f9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5588640,"id":"Q5588640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5588641$18F4ED10-D3FF-4BB3-AA42-2E1A1903A7E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5588641$C30DF91A-E313-4CF4-A8EA-29FEEC08F8A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q5588641$A688CF57-0C96-412E-B554-3EB61D07B84B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe5bc39ebeb2e8007cad58ebb9259048e99ec94b","datavalue":{"value":"3307559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588641$368B70CA-AA75-43EC-BF02-693B5385722C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5588641$886A176B-A195-4CB8-9E2E-F06016D0E4C6","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":"Q5588641$6BE1B690-B6CC-4B17-9996-A00918E709A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92d7e3a584025eea5f97305ae4746c52617fe505","datavalue":{"value":"https://doi.org/10.1002/malq.19710170143","type":"string"},"datatype":"url"},"type":"statement","id":"Q5588641$829E232C-C049-49E1-AA6A-848A2F0A0287","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e03cfe2274f36881edfb939d2dfea88168eb692b","datavalue":{"value":"W2022485134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588641$49225B6B-1769-4651-828F-6500ACC087CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbd266b55d5d5ecbe0fcc877d7cc1093ad663f1f","datavalue":{"value":"10.1002/MALQ.19710170143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588641$BB8C9AC3-CCA6-46EE-99EA-A19163573A31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5588641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5588641"}}}}}