{"entities":{"Q5944219":{"pageid":8121021,"ns":120,"title":"Item:Q5944219","lastrevid":47676979,"modified":"2026-01-02T09:59:04Z","type":"item","id":"Q5944219","labels":{"en":{"language":"en","value":"Interfaces for refining recursion and procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652811"}},"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":"Q5944219$C6C403DE-39BA-4475-8CE5-5BE1F6430DE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb763f4c143b8be727832ac99a061caeabb71db5","datavalue":{"value":{"text":"Interfaces for refining recursion and procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944219$15A235D0-4F34-4985-973A-043BD0A1F519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6ea86309fc50ad661fb66f6424f54ec50d1dcab","datavalue":{"value":"1013.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944219$8D5C2015-8A71-4FB2-95EB-40EF4ECE68EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14da2f71beb837d4772a7e92b573dc7e1288d8b","datavalue":{"value":{"entity-type":"item","numeric-id":204604,"id":"Q204604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944219$E45B8BAF-94C8-4204-908C-DC86B074FC05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944219$5D799DE4-F6F0-482A-8373-33F5EB25AD6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1ffd1f5843676b0a44fa567aa411c85447e6772","datavalue":{"value":{"time":"+2001-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944219$C20FCA83-E82C-4730-8EC5-FF5268A526FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944219$3F864154-5981-4FE7-AAF6-15078259C780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"125158a7ba1ad94ff8b4fd58d3e82e844b4e2319","datavalue":{"value":"1652811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944219$A0117D92-212D-491C-8549-6414892A2945","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944219$FD9F59F1-20A1-431F-B774-B30664247B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716c4b637014218c75203d204b1885f1646f0224","datavalue":{"value":"Isabelle/ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944219$11A9A758-7BC0-4C02-A2E0-A1CF474F80A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944219$98819DA2-5A08-4069-B8C1-5B3811D23512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944219$712615F2-5E87-454F-B20E-1A07F979BC1D","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":"Q5944219$66834059-B50D-4BE4-AE50-6DF354B49F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"242c7a3da8ca384f8e4043039b1815190314dace","datavalue":{"value":"https://doi.org/10.1007/s001650070010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5944219$F0222133-0625-4A6C-80EF-56C2105D41AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"929131d79998f10cfeb97d6270cd2b771177a51b","datavalue":{"value":"W2035371147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944219$875ACF92-F535-47FF-8457-4A57F88F4D63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe66395c6163b797a01b0557c2e7731a26f4aba","datavalue":{"value":"10.1007/S001650070010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944219$88157AA4-C919-424F-BEA9-E48CF918BE15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eab264757d5593ee588a5041c5496c3fe61e2","datavalue":{"value":{"entity-type":"item","numeric-id":2432239,"id":"Q2432239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46dd8e6e2f72438b6f79f4540b87909b89efee2c","datavalue":{"value":{"amount":"+0.7055515050888062","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":"Q5944219$D9A2FA8A-1FCA-4E68-BFAB-6C7C9F3AD614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e27c2b8c1a27e009d0e5db9bc623a071793c6f","datavalue":{"value":{"amount":"+0.6987044811248779","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":"Q5944219$BD2AD095-57DC-42DD-A4C1-161F6964B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6134656b22c6b7b6a951b8075e745d14ce755dbf","datavalue":{"value":{"entity-type":"item","numeric-id":5403470,"id":"Q5403470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa777869d5ac66dcd8373bb1863f576bb92aa5f","datavalue":{"value":{"amount":"+0.6931107640266418","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":"Q5944219$A03C731A-71DE-4D7A-AE3D-CC6CAB95C97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb22bdcdf246b48fc2c2b9aeb88cd212c0a9535d","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9037fcdb32c821c342a7f2573fb2d5b2c05d0c13","datavalue":{"value":{"amount":"+0.6929435133934021","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":"Q5944219$02D64B3B-F242-4A15-9A86-E84E427BA9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22173373a36b1b142d22a05e5b18e5f09b270992","datavalue":{"value":{"entity-type":"item","numeric-id":2754055,"id":"Q2754055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13edb2a22e7b9784722ea225abd28d811091580","datavalue":{"value":{"amount":"+0.6907424926757812","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":"Q5944219$B5827FA1-78CD-4C49-8916-7DA842C9BD6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5944219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5944219"}}}}}