{"entities":{"Q4520829":{"pageid":6550422,"ns":120,"title":"Item:Q4520829","lastrevid":47548276,"modified":"2026-01-02T01:22:35Z","type":"item","id":"Q4520829","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543354"}},"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":"Q4520829$3A3C2E19-91BF-4585-8A1F-AA65A9EA513C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94fa8ca723b4e3fbcdd5160fc298c3e2185fdae5","datavalue":{"value":"0960.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520829$858FB1B2-3BB3-4294-976D-82F62DA75384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-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":"Q4520829$3D2ACB0C-FD7F-4429-BD06-0D7B4E6CA3D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec6706e2fdb3ab1ba68ced2ac975bbb5242527ff","datavalue":{"value":"http://www.jucs.org/jucs_6_4/ensuring_termination_in_esfp","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520829$14B25C0F-9ABB-46E2-A030-0CBAD58F3BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520829$9F6387F2-DCEF-480D-BB32-805DCB8BCEBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2a3f9bc10655cf758e347a8c481727c855f842b","datavalue":{"value":"1543354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520829$02C7767B-0092-44EB-82F8-2D5F086CE33F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a80c196d76c64b8d065b5327509cd0b19ad4d45","datavalue":{"value":"strong functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520829$E101898F-5ED2-48E9-B888-BAF9E2F7B408","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":"Q4520829$A96ABCDA-3CA3-458B-B145-B8BAD89AC1C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace6b3c5e197874afb4f95fd6889c84ea4f1896e","datavalue":{"value":{"amount":"+0.7397850751876831","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":"Q4520829$0704BF25-C94E-4076-A73D-D8A03686A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e09c507e90b7e1e6632c6632a094b6ca107b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4698363,"id":"Q4698363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4878150208b16e22c04014e9d476767492e32d","datavalue":{"value":{"amount":"+0.7348746657371521","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":"Q4520829$3074CD97-0E42-4F53-BD19-48D4A8282B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885ab0c64bba90a718acf7e5280982270340c7a2","datavalue":{"value":{"amount":"+0.7290945649147034","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":"Q4520829$70563D88-D6B9-49D3-87B3-1AE8EB826827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1d36c3b70bbca215dd88f12733a13e625d7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a0e14df41e08d1e26df54561d2620dd9370649","datavalue":{"value":{"amount":"+0.7286120653152466","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":"Q4520829$51C4A855-B03B-4F08-96E6-42398BC7280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c113fe0127d3e36ce95ee6790043f7097a17dc","datavalue":{"value":{"amount":"+0.72625732421875","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":"Q4520829$C0BB1003-B406-4D83-ADD6-BD1912F473A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520829"}}}}}