{"entities":{"Q1838286":{"pageid":1849028,"ns":120,"title":"Item:Q1838286","lastrevid":73886511,"modified":"2026-04-14T17:37:23Z","type":"item","id":"Q1838286","labels":{"en":{"language":"en","value":"Recursion induction principle revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3804829"}},"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":"Q1838286$16EF1591-98DA-42C0-A7AD-2A19CCC29387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad26c6a5bc4eb08d6ddeb539c11aacc91ce9ae37","datavalue":{"value":{"text":"Recursion induction principle revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1838286$3C7739AC-1B8E-48B7-875B-7CD4E303311E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a3bb55e58911e5272cf55edb8d4a1f3686a046b","datavalue":{"value":"0509.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$E65D77DE-0ED7-4314-9575-7F54459B9A84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c293f8d15f94ad48a7d327b4de5c32e1fab49340","datavalue":{"value":"10.1016/0304-3975(83)90142-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$292AA798-3A40-4B82-B2D2-55BEBA4F067F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"011d1743ac12e75197191d3995d8e98dc121db13","datavalue":{"value":{"entity-type":"item","numeric-id":1838285,"id":"Q1838285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$671B0DA1-098F-448A-AF03-628F68CD9918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$EF1E40E0-F863-4F56-AE6F-32C7FCFDB0A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$93B697A9-9D49-424E-94B1-812347447426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1838286$99F69670-1740-4A82-ACEE-FF8BD6930251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e07282005908999a8c0492dc1b2cb3b0ab97dc45","datavalue":{"value":"https://hal.inria.fr/inria-00076445/file/RR-0115.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1838286$A80F33BA-C4D2-4244-9458-3A8534994877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$1C1633B7-B0D3-4FFD-A401-1ACAEF4BC7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$554EE77B-5667-4948-A62E-8E14EDF9D1EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62b718df590ef17dd419f837016c08f34a8fc942","datavalue":{"value":"3804829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$64BF5815-C6B1-4E88-919C-D1F6137A328E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae4695942f14094cdabe2dfc1e87320261775db","datavalue":{"value":"recursion induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838286$8997BF80-9648-45CF-ADB2-569959C86733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838286$47994807-4E5A-499F-8A11-DD36893382CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03487b7ab2057703e51a991cb281c08b74e8589d","datavalue":{"value":"universally quantified first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838286$F934BC8F-746F-4B4B-9E1C-A2863C36EC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9c42a9f2209ec8e7e6c9dabe7be1ab575a1a1f","datavalue":{"value":"rewriting systems on terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838286$E088216D-2996-4C76-B981-324862040331","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":"Q1838286$7648F040-C989-444E-A681-0C73A1894F39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd86fbd39531c71cdc0dfb41dbd3f394ec47adac","datavalue":{"value":"W2055101766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838286$C3A1DB62-2230-42C0-9641-E25B09704BB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$75D76173-AE00-468B-B53C-A75319D4B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fef7db710aa93e9f87a9f7584dba9019913b4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5181349,"id":"Q5181349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$AA541B90-234E-4410-8769-6CB44E395313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574722313e76321f01c3a706af60b4bb298860a","datavalue":{"value":{"entity-type":"item","numeric-id":4191565,"id":"Q4191565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$35BA79A5-A881-482E-80E7-8F2B886FC4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$950F91BD-2ED4-4CD6-BD14-668D17F8DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$BF36C5DC-EAEB-4C17-BAB8-BB06077856A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f527d72b96c9481541844d5a6ff6f3274415d596","datavalue":{"value":{"entity-type":"item","numeric-id":1137390,"id":"Q1137390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$C36F5987-3906-4FE0-92A2-3CB7846667E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$33BEC336-F53A-4AD6-AADB-E4F4C2685A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf665bf2f0b9e1dc10920d6cef545ef5dde3941","datavalue":{"value":{"entity-type":"item","numeric-id":1251892,"id":"Q1251892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$06E32AAB-77B7-4D6F-9A61-F68181D9CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$03050E46-5190-450B-94C7-0110774375F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed064d2aa1673b15586d1589ade04e39cc9ec0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1232171,"id":"Q1232171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$2693BDA6-4100-4821-8334-DC684A830E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9459a8b0323e73b0817fa191d4cecfe7c21cfe7","datavalue":{"value":{"entity-type":"item","numeric-id":4131609,"id":"Q4131609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$A81C64FE-389C-4F2D-956F-CA62B18F83E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8097ec12e7ee819b34fe67497db41700eb4bfc2","datavalue":{"value":{"entity-type":"item","numeric-id":4136519,"id":"Q4136519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$6C28DC7E-6C06-4FC9-B0D4-C732ECABBCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a20312bf5e8aa8a6c4a5983c177763d8f2236","datavalue":{"value":{"entity-type":"item","numeric-id":3738547,"id":"Q3738547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$75E88DAB-D4AD-4971-BE08-1D6B13543597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113b2e5f26b2587d7c397abe5b07de2c64b5f9b3","datavalue":{"value":{"entity-type":"item","numeric-id":4139646,"id":"Q4139646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$C1F319D2-E9E4-4794-A03C-12D5FF106626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$B5FE1432-F51A-4537-AFE3-DC7E53CE0BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$288FD46F-5BC0-4A88-A41B-809C2966762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab888deae243328aa7ee17874b3dba914a011bc","datavalue":{"value":{"entity-type":"item","numeric-id":4192941,"id":"Q4192941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$F3110D6D-CF1F-4555-A8AF-EA13D6B4C4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a95a1edf9923b1d3350b7a29bb87b7dd27f4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3880282,"id":"Q3880282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$21DE0E77-1F1F-4DEC-89FA-7F9DB6C11F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$21BE6524-CDCE-49DB-A8FF-B437BD875174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$8F0237F4-E8E1-43FF-BDCD-B36F9C530BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdee60157371eeddfd093092de1df882831c2c04","datavalue":{"value":{"entity-type":"item","numeric-id":5633654,"id":"Q5633654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$12731C67-21DB-483B-9850-73C8C9F88D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$5F729BC8-6646-42A2-9D93-50E05C354CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$C2875FC2-2EA8-4515-9256-774477120938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf6944f80eebe7f0300fea38bd21c01d7561f29","datavalue":{"value":{"entity-type":"item","numeric-id":1221492,"id":"Q1221492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$91018DAC-A869-4E5C-8CCC-30736717D4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b615863cbfd4128debee77681eb7ea5577ce21","datavalue":{"value":{"entity-type":"item","numeric-id":5735559,"id":"Q5735559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838286$A11C7002-5D95-48F1-880A-56886F8AEB54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion induction principle revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursion_induction_principle_revisited"}}}}}