{"entities":{"Q1803866":{"pageid":1814608,"ns":120,"title":"Item:Q1803866","lastrevid":69175185,"modified":"2026-04-13T05:16:20Z","type":"item","id":"Q1803866","labels":{"en":{"language":"en","value":"Compilation and evaluation of linear mutual recursions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221982"}},"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":"Q1803866$12B6418D-07C7-4AB7-82EC-36E475FC8BF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"debf697d2afdc75faef3bc4cb19475d5d2dd6d43","datavalue":{"value":{"text":"Compilation and evaluation of linear mutual recursions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803866$D5961AE6-39E3-4F00-AE25-284EF521763E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28ff688b203df391184f68c917e115cdd4affe8d","datavalue":{"value":"0787.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$DA947215-0A41-463E-A02C-E6CBC30D1E32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"304369d07f09b84ad5f060a3c0f324452a06da40","datavalue":{"value":"10.1016/0020-0255(93)90043-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$47A591D7-3E69-479A-8346-1BE8E72B1AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886f8ff230c8e3b7fbfec612cf5f3d1cde92ec17","datavalue":{"value":{"entity-type":"item","numeric-id":688290,"id":"Q688290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$4E3D0F29-B9F5-4019-9660-96556E3502A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$4778D19A-E828-491A-97BC-6B1EC8C7925E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803866$EB85091A-8B64-4359-ABDF-5D8A4E69BEAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$8E1EA097-B17F-438E-A206-8F8EBCCAE58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$830DBABE-E6F0-4A9C-B823-F8F820DBDAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$1F597339-B84F-48B0-993E-AD633F9FC1FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1c661ea8eccce7d24949cd6415e9db597c85969","datavalue":{"value":"221982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803866$D44024F3-C7A3-45E3-B31C-363155278A98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$7C763211-3BBE-4A76-92F3-4A12FB217033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff82cde5cb5719df51d3bb0e1b6fa799eaf9976a","datavalue":{"value":"deductive database programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$68A68F65-1AED-41E5-960A-BDAD10993855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6004267879e115b611a125947fe488c95019c6a0","datavalue":{"value":"mutual recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$58A45F3D-3289-40DD-9725-052A6AC1FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$EBF7C873-18C5-478F-9A39-D0ACEC047EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf24d89f4f0821f90ed933db7d403c989feed0ad","datavalue":{"value":"evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$EF442727-CE07-4E2A-84B2-038FB659D20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a81b231c5629812747373b2f66453ffb8021bb","datavalue":{"value":"recursive query processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803866$2593EE74-67D7-407E-814D-81FBFDDD34CB","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":"Q1803866$EBEAA72F-24F8-4013-97E6-BF8DFD5899BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d575f928e5b101835789d397612c043055704d29","datavalue":{"value":{"entity-type":"item","numeric-id":3210147,"id":"Q3210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$C8759222-0020-449F-9E00-71F8217B3459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb036d38e70240af3bf7776793a1271108a47ef","datavalue":{"value":{"entity-type":"item","numeric-id":1813949,"id":"Q1813949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$B8F785C1-A7CE-4038-A06C-58385FE7F8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0b7896df6e8f63f2fe746d0040c2172c451e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3766890,"id":"Q3766890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$48D2369C-F5C5-4F39-83EE-07CA9993724D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cce4ba54f548d25819dd8aed778052c1664924","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$941F2311-8A85-4B98-99F9-8AE475786196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff13229008228ac768a8cf2af2fd9bf03bf72c60","datavalue":{"value":{"entity-type":"item","numeric-id":2638765,"id":"Q2638765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$BAD9EC54-8918-4300-AAC1-54DF5F204098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803866$F8167E31-C4C2-4EDA-B865-F5C796E38549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61957cc60f5afa1ac6b2dce7efd74a51bac94d84","datavalue":{"value":{"entity-type":"item","numeric-id":688292,"id":"Q688292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79744ecb26bd63b037330a8ca386888c392c044","datavalue":{"value":{"amount":"+0.7568797469139099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803866$5821EFCF-DDBA-4CDA-B856-7DEC84A44AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f43b678db7c28d3dc3083f5f80e194ef4edd09c","datavalue":{"value":{"entity-type":"item","numeric-id":4332202,"id":"Q4332202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1db0ba2b072c2d58ac9c2b0c0645b59cd8b627d","datavalue":{"value":{"amount":"+0.7561338543891907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803866$2F20EF37-B553-4450-A075-2AD4076D8D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f865774d21e7594253b80335308a3f595a51bb3","datavalue":{"value":{"entity-type":"item","numeric-id":848739,"id":"Q848739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741f3d81497a3dec1e647d5e5ee35588ffb2ce4a","datavalue":{"value":{"amount":"+0.7161808013916016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803866$5B406444-C54E-407F-9903-F81C7A3D84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80a53b0c54f8c781fcea5288e3372dee2eafefb","datavalue":{"value":{"entity-type":"item","numeric-id":1368187,"id":"Q1368187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d787844314546b65447e2d7b37c4311aa796502","datavalue":{"value":{"amount":"+0.6952506899833679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803866$1D4E16D6-F8CE-40E3-950C-9FC420B409B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1f642314305fda430872fabf19b330c6630590","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2ff62b49afd318fb8ed1def38b8301d1b0e2e7","datavalue":{"value":{"amount":"+0.6838558316230774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1803866$59887EC1-D606-4313-BB17-DC5BF7269D03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compilation and evaluation of linear mutual recursions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compilation_and_evaluation_of_linear_mutual_recursions"}}}}}