{"entities":{"Q5633654":{"pageid":7663214,"ns":120,"title":"Item:Q5633654","lastrevid":40859909,"modified":"2025-04-12T01:37:42Z","type":"item","id":"Q5633654","labels":{"en":{"language":"en","value":"Another recursion induction principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3359788"}},"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":"Q5633654$FFDA8A97-D7CB-42C7-9A8C-BEB897C5713C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"892fe07c0d78e55b9a82be427aae21e7b520996e","datavalue":{"value":{"text":"Another recursion induction principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5633654$0BD3610A-6AF7-4129-AE56-41ADB04DE7B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c03a6abaf4865bd1115faf19cffdbf1b9cb006","datavalue":{"value":"0226.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$CB410477-A89A-4C7C-B3FC-C453DEF2C640","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc94b987b04a2a844febbc0c99937c950a2ebb53","datavalue":{"value":"10.1145/362588.362598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$21113274-28FE-409C-95A1-A3A246F31E0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b268cb480201441040be6f409cd9cfee7426774","datavalue":{"value":{"entity-type":"item","numeric-id":4065021,"id":"Q4065021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5633654$9797DC49-A7E2-42D3-91A8-64DBEAD243E2","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":"Q5633654$040040C1-8A27-496C-83A7-C8B0EE97D0CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$846DD181-1395-4F75-B9B4-7B107268E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$BDDA6944-895F-4447-81BC-65B260C540DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b91d2d12dd95f49a70d1a272ecb4b9f1539e627","datavalue":{"value":"3359788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$423FEA42-0708-4416-BE30-E359F64F7C7B","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":"Q5633654$3780B668-BBE9-4C58-BA9B-1A4860FAF18D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b3bb5025ecae3b7f6423b2eaf78323f988d9f4b","datavalue":{"value":"https://doi.org/10.1145/362588.362598","type":"string"},"datatype":"url"},"type":"statement","id":"Q5633654$32573535-B0D6-42A8-80F4-F262C6F7D20A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1420a5f3040052841e521baf8d04bd647abb7c8d","datavalue":{"value":"W1970197772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5633654$68B225F0-DD8B-42E1-8B7E-C8E0E50047D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5633654$8951EDE7-F784-4B37-A44B-E41FB63EC395","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5633654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5633654"}}}}}