{"entities":{"Q5547574":{"pageid":7577134,"ns":120,"title":"Item:Q5547574","lastrevid":39612660,"modified":"2024-12-30T16:09:35Z","type":"item","id":"Q5547574","labels":{"en":{"language":"en","value":"On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3261605"}},"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":"Q5547574$76218B28-33D6-4CEE-9732-52A2C9616518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016c4f1e1eb4e157de89eca19beeedcd406d8842","datavalue":{"value":{"text":"On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5547574$608AE4B1-66C3-4C6B-98B8-4FB8DBEF8E4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"090d46f06f0b0e364be30bd3e74e1326598c1205","datavalue":{"value":"0163.25101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5547574$B7DA4271-A2E7-47E3-B886-E5874E8FAE64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7361a8dc07992cb713a8ac1d3683e00274997efe","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5547574$D370BD81-20BF-44AC-8090-A13F3CD1BB7C","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":"Q5547574$37CD46ED-BC0B-49FE-ACDC-6F4DE5359623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q5547574$CAD467AA-28A5-441F-B915-056A2FA04BBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"753fb1a2c4b82c9e2a8a45850ee3e9fa16ad11e1","datavalue":{"value":"3261605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5547574$8CF3FBFF-DFF1-4FED-ADB1-7160BDD581F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5547574$20FC4F30-4FB5-42BA-A9BB-F4EFAEF241BC","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":"Q5547574$3A0C98D1-D675-457F-A55E-F664C884419D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fbb620098847503608676621005ad1cd2f296b5","datavalue":{"value":"https://doi.org/10.1002/malq.19630091204","type":"string"},"datatype":"url"},"type":"statement","id":"Q5547574$160D260A-F8D5-423E-B836-239344F34709","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87dc1951369742240d0665413b72689d137acb69","datavalue":{"value":"W2066882252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5547574$2E167614-DB24-41D0-925D-A87471DAA7C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54770c78592ea8698800463445dbb62b8697d006","datavalue":{"value":"10.1002/MALQ.19630091204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5547574$C535A58E-78E7-459E-A0E9-F2B3B8C7A405","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5547574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5547574"}}}}}