{"entities":{"Q4886689":{"pageid":6916268,"ns":120,"title":"Item:Q4886689","lastrevid":90919310,"modified":"2026-06-04T21:46:56Z","type":"item","id":"Q4886689","labels":{"en":{"language":"en","value":"The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907014"}},"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":"Q4886689$437C0243-4678-4C51-8C60-CAA49C5206DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1e5af9180f292d187a1a2d90e01d7d32bfc6dc5","datavalue":{"value":{"text":"The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4886689$228D1495-85B4-4D97-A1AE-E015833568E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03f84bf3346be2c41107ef800544850cd3ffaf7","datavalue":{"value":"0852.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$41ACF18A-8D5D-405B-A6A1-C377BB5C2FDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4886689$598A70C8-6F0E-47A3-8166-CAD756D489DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5a5c753c196b9a5130400d33e8c7638b7413233","datavalue":{"value":{"time":"+1996-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4886689$4193FEF3-A8D2-4391-9282-16D877FD2F0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$A26D16EB-AA70-4512-B5C8-51900156B8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$848B5E26-7D6E-4E18-88F5-4DC4A750181A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e88124421e204fc2c2ed032ba43562b406158ec","datavalue":{"value":"907014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$1F0146ED-464D-4DB2-ACE6-D3836B5BD7EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fedc9ebdddf6baba5e5187fa782093db3323f7a","datavalue":{"value":"numerical mathematical algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4886689$1FFDA70A-C7AE-4A53-A3F2-088EDC991F94","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":"Q4886689$43F0B4A4-1EA3-4A37-A44A-A7DC772B13B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18c259470eee454a5355fa1a94df0a582e55684b","datavalue":{"value":"https://doi.org/10.1093/comjnl/39.2.145","type":"string"},"datatype":"url"},"type":"statement","id":"Q4886689$ACAEB081-2A83-4D98-AD56-610FF1AFA7F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccd2558f0fbb12ca7bf78a1a272200a8222a121b","datavalue":{"value":"W2081277523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$98277C3C-6C87-48C8-81D8-2638DA49DEA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5623966b44333e69bd927832c595e48fd38892c","datavalue":{"value":"10.1093/COMJNL/39.2.145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886689$0579BE7D-1C0E-4159-8279-4E654E5A0455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899b8fbdfbd424cbec1d2b299c0de8e823331401","datavalue":{"value":{"entity-type":"item","numeric-id":676845,"id":"Q676845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ef4aaa6245259068ce13e175be72335a2d3f66","datavalue":{"value":{"amount":"+0.8524748682975769","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":"Q4886689$44320880-1AC0-4CBF-981D-66AF15784BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed1ccb1dad8e7534cdf4da0a91ddb9652f97089","datavalue":{"value":{"entity-type":"item","numeric-id":4256911,"id":"Q4256911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742d43820c9c870c22a621d0f955251d8f21a4d9","datavalue":{"value":{"amount":"+0.7310730218887329","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":"Q4886689$A2B9B522-30FE-491C-BFCC-6E2D7E3B0437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2d20b97fcf1b0c241ac9d8b9a87d3cfc3095d1","datavalue":{"value":{"entity-type":"item","numeric-id":3789059,"id":"Q3789059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a155a6106c0171e4aefeba4651a4a5297ceb65b0","datavalue":{"value":{"amount":"+0.7095336318016052","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":"Q4886689$778BFBED-0212-4F9A-BA68-685A0A0BE3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6eb9e37da506f7730ff6a4f1cfc986ae230c30a","datavalue":{"value":{"entity-type":"item","numeric-id":557674,"id":"Q557674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08de7d9bc0e5be5a271d821a75cae54149b1aba","datavalue":{"value":{"amount":"+0.6995668411254883","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":"Q4886689$15ACF2B6-9707-4114-9A2B-A81406136E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d175def7b31256546175d64e9c0eeebf187741e","datavalue":{"value":{"entity-type":"item","numeric-id":4536949,"id":"Q4536949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45efb550b8bc90acc724e284286118a388e8bb16","datavalue":{"value":{"amount":"+0.6984587907791138","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":"Q4886689$583681DC-0683-4586-9EB9-1CD607C9EDB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Tailoring_of_Abstract_Functional_Specifications_of_Numerical_Algorithms_for_Sparse_Data_Structures_through_Automated_Program_Derivation_and_Transformation"}}}}}