{"entities":{"Q1185010":{"pageid":1195759,"ns":120,"title":"Item:Q1185010","lastrevid":66791688,"modified":"2026-04-12T12:53:10Z","type":"item","id":"Q1185010","labels":{"en":{"language":"en","value":"A new approach to recursion removal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35439"}},"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":"Q1185010$EEA3E693-F821-44A1-B03F-47B6617CB552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b3e9c72afe6578586524462538697b39d743065","datavalue":{"value":{"text":"A new approach to recursion removal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185010$07F2404A-98CE-4EAD-8E62-B75E85BA02AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"489635a37489cfc779c83fb22e9c6180eaaea754","datavalue":{"value":"0745.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$02379635-EC9E-4441-A0BD-BFBB4A1FF5F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07c2c9e7898b041e9b204bc63a6f84ca4aa820d5","datavalue":{"value":"10.1016/0304-3975(92)90213-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$A2C7055C-6B2E-4605-88EA-6B6C677D4B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86f6ad246a965194e6dae1053eeaab96fbe3a72d","datavalue":{"value":{"entity-type":"item","numeric-id":213264,"id":"Q213264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$73CF7A91-08CD-44A3-834E-E141FE5FD1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f11fbc42ea69fdafcf7ce59f299efef6245806eb","datavalue":{"value":{"entity-type":"item","numeric-id":582878,"id":"Q582878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$B0F38E06-F098-4146-BBAA-E9A4331572A8","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":"Q1185010$8E254492-2886-4769-BC4D-734DC424B422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185010$A7244B89-C345-4332-A4D8-B01732C58F2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$2B15FFE8-2C45-4D12-871A-6694B39D3D9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2100eacf75efdfe181d727d5bf2de94b6f8083d6","datavalue":{"value":"35439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$F5D2E38D-2A76-401E-A86C-6CFA3A0598B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fff7ff198d98cac4abd69d6f52f938217f3099","datavalue":{"value":"recursion removal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185010$9BDE186E-72BD-4645-861E-5C4B739E7BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185010$8D669130-C914-49AD-8CC1-647A03C86B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f4a746b31aedbcf9719789cab25c49a0fbc42d","datavalue":{"value":"ascending Kleene chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185010$37C247B9-CF1C-41E4-B56B-8E98A1DD8AA1","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":"Q1185010$B2BC001C-3E77-4588-978A-A142D9C55F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$A204D13A-9C0C-4214-B801-CE063FDB4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676423907243c701fde88c902e96ea3355d62edd","datavalue":{"value":{"entity-type":"item","numeric-id":3929003,"id":"Q3929003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$7E2F08BA-BB0B-4F08-BD56-4B66C8EC9F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5adf12219e1b2be2b0b59c0372f9872dfeae72","datavalue":{"value":{"entity-type":"item","numeric-id":3849226,"id":"Q3849226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$DA56D100-E3AA-40BD-BE8A-46C66B236BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fb6d7f3f1cccd15ce00adc4bf2837f4b5b022d","datavalue":{"value":{"entity-type":"item","numeric-id":3947094,"id":"Q3947094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$1C65B3A0-1985-424F-BCF0-857DBA49BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde7f40e5a1f7e9dca73d242f651e960f1419fbe","datavalue":{"value":{"entity-type":"item","numeric-id":3330483,"id":"Q3330483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$F9BDF051-DA76-450B-B7B3-19BE1912AC08","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":"Q1185010$B5BDDCF1-5CDA-44F1-800D-45E5D4250EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f815bf2ad909de0fa6e89988501157b6f777d2","datavalue":{"value":{"entity-type":"item","numeric-id":5554728,"id":"Q5554728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$BB2751C8-95F7-43E7-B0C2-E204F4BB1E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faafb598fda1606e25f44dda2a82bc799640a14","datavalue":{"value":{"entity-type":"item","numeric-id":1102731,"id":"Q1102731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$36F4C350-AF4B-4D6D-A621-B4E7A20B561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185010$C0363919-D7E2-46FF-A342-C72E498DCD27","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c493c25484772a0a795f02a799157d19790af551","datavalue":{"value":"Q126838970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$A3363821-658F-44CF-AF5E-F8EA0BCBAC19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"160c46c57d775add9d11a347087dd2dd700cab5a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90213-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185010$D9E09396-D406-4A6C-B4DA-6D9CB84E4051","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09fadfb2215c1a000826bdffeebb7b541289e063","datavalue":{"value":"W2009603783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185010$114BB957-E24B-42C0-BF7C-62C22BF21311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6130058d5ed10301f601c3c2d084f9de359ba6f","datavalue":{"value":{"entity-type":"item","numeric-id":3339250,"id":"Q3339250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b491bfeb452b83bd74cc5d0a6808221976dc43de","datavalue":{"value":{"amount":"+0.9016264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$32014CC7-A902-4241-B848-D36F102E195A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e1ac1bcc44fddb881d5fa6d59896d6a06cd2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4950861,"id":"Q4950861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe064e2b8ea65303bdce96690ecc18f6d94dec3","datavalue":{"value":{"amount":"+0.8568907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$20C2F625-6CFF-4A1E-A97E-B94121BAD0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b795dcf18040c083b974c00f1389c67ed90d139","datavalue":{"value":{"entity-type":"item","numeric-id":4311730,"id":"Q4311730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828792ac22cb0d6d2c89c9437e1d0f29147170fe","datavalue":{"value":{"amount":"+0.8464155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$4C1ED1F1-6881-497B-9953-7579F2B35D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fea5800b915feae2a98d6e48222b3a4d8c70df","datavalue":{"value":{"entity-type":"item","numeric-id":3217579,"id":"Q3217579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b651de929f4bfba6edbd2c7d852256fc8473c699","datavalue":{"value":{"amount":"+0.8403195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$519DB223-14B7-4236-A30F-57FB0C3B7F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54325f9abab962828361329bd381fee61bf7d2a3","datavalue":{"value":{"entity-type":"item","numeric-id":1398677,"id":"Q1398677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e9401a915d01e1ae8292c921e50acc65563254","datavalue":{"value":{"amount":"+0.834957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$4654A2C0-02FD-460D-A8DF-B79620414C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b129f71eb284498810d93a5c334037ed52a19694","datavalue":{"value":{"entity-type":"item","numeric-id":3729992,"id":"Q3729992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da91597349d16b5fd8bb5e1811e0d6615a68fda","datavalue":{"value":{"amount":"+0.83056444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$B0D5077D-227C-411D-A76C-6F77FF7B3956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d438af604a523353f83b8c72da0779003c5ded32","datavalue":{"value":{"entity-type":"item","numeric-id":4632420,"id":"Q4632420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9a7faab83d57546267dc3143b6b7076f5b9feb","datavalue":{"value":{"amount":"+0.8250798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$575873A0-5007-4222-ABC1-DF34ACF16DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16d9b5507c1ace1fc05034dd368f552a6668634","datavalue":{"value":{"entity-type":"item","numeric-id":4858828,"id":"Q4858828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9a7faab83d57546267dc3143b6b7076f5b9feb","datavalue":{"value":{"amount":"+0.8250798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$95443EAE-565D-4EBB-A956-AB050C7426F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fafafe84355abf7fe82e65878d2d9cfc58944c3","datavalue":{"value":{"entity-type":"item","numeric-id":3698282,"id":"Q3698282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7585bce7cee77b0752afeee6f80728a5682851","datavalue":{"value":{"amount":"+0.82382345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$1E6CEB6C-88BF-418D-BBC3-EA9A92A3A1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d541e48bcead1393bbc42b8e56c09a0b09485b5","datavalue":{"value":{"entity-type":"item","numeric-id":3021959,"id":"Q3021959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a12ce5ca12636deabe7a4c5aa435be5a9244a2","datavalue":{"value":{"amount":"+0.8202095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185010$7EA7FF0E-9BF1-4A65-984B-CC54AD63838E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new approach to recursion removal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_approach_to_recursion_removal"}}}}}