{"entities":{"Q4813396":{"pageid":6842976,"ns":120,"title":"Item:Q4813396","lastrevid":74699910,"modified":"2026-04-14T23:57:34Z","type":"item","id":"Q4813396","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090844"}},"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":"Q4813396$64A0A766-7564-436B-98AE-04DAED4BEF3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e3f42b0b8e0744cbc33a8e99072407c54ed8597","datavalue":{"value":"1067.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813396$F735B632-A93A-448A-AEA7-ED8AF70D4C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813396$8E10DAE0-07BB-4A21-9CDD-E991A2DF311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813396$CE8FF58B-5041-4348-B96B-81F1F221D7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394271d91c22b5604ed841a0589598bab6b2dfc3","datavalue":{"value":{"entity-type":"item","numeric-id":980469,"id":"Q980469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813396$4B9BB376-2CF0-4BE3-9569-F1138B8B43FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813396$C9FC45F8-2E77-4A50-9760-A4AFCD252C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9795cb0c9a94f1d13e079b8c212829a7c382d6b6","datavalue":{"value":{"time":"+2004-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4813396$3C53A898-E1F5-4B76-B4A1-5CE10FB5B99D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6920f0515fb0d3e260bdccdf62a91c02b4b0178","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2694/26940127.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4813396$F046F88C-982C-4058-A8A9-9EC243AA26DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813396$5A9A753F-FAEB-4DB2-AD2A-9B587D643410","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae2401f6cc80080fde31b62d7c7aba7988ca2b2c","datavalue":{"value":"2090844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4813396$B7C34881-1023-47AE-97A0-C46FB0B98B3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba6b17b5c3f6606c736686e229aad1ca00cefe7","datavalue":{"value":"Program Development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$E629DD6A-A5C9-4EFC-B271-FCEB0BCE2BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6265892151885683c44df418231288121eda7cf","datavalue":{"value":"Global Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$2BE9361B-C7EE-4CA8-8B1D-B6DF6D0F69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28c8dfc02dd5e3c65f8fc31ae33c78f6e375f2fc","datavalue":{"value":"Abstract Interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$DE1B160F-6476-4D42-AB20-046415117D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df086425143deca6e5cef7848cc910000606144","datavalue":{"value":"Debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$A76CE517-C6C0-4F19-A013-83BC33A0CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$3669B08C-4D60-4127-8D71-5F7BBAA45288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb594b053bac21e93ac22125f4eb0a7174a8331","datavalue":{"value":"Partial Evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$60E25435-00E9-4079-B049-895654D54EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96240145f790a095b45b1190f0a6b889506ccb8d","datavalue":{"value":"Program Transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$AFBD8300-559A-447F-9122-9F925EF15D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c5035cdd1e2aedef7ae96e7bbc6faf3622049b","datavalue":{"value":"Optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$0BEC8BBE-07E0-4A19-ADCB-2F3B4EDBEDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3ce70a8d25d92d0b0e6f18a7b9bd55747e37e5","datavalue":{"value":"Parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$4BB2C5F0-B7C3-4957-A42B-DA151CE7437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c3049f0baf23f24f75ba61b8893f4e54f8cee4","datavalue":{"value":"Resource Control","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$A5711DF6-3E82-4A5A-8AD6-E86907E9A9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3f75cd2511dc51c3fb9c354e4e6fba9059ec0a","datavalue":{"value":"Programming Environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$8DADE799-F1A6-4432-A703-7006A49BA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca44e219b2d2e14ef01f25a07b1723c6f66a8fb9","datavalue":{"value":"Multi-Paradigm Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$362CE4FD-9F7A-4C58-B2AB-C6F3FF3ED8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17462481a9da6b3c63ca9ad559f2ba3ba859296f","datavalue":{"value":"(Constraint) Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4813396$E5C05173-6392-42D6-B12A-B4D9B5453D16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4813396$EFB39A0B-0D59-4E12-9B8B-A8E2A9ADF0D2","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":"Q4813396$50B47A3A-899D-4E8F-A253-2DD6997D6C88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fedf6b54ba62771e32fb397f4b3c8c5b86bc6d","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736e75deef9350369e20fc6544c1e0cf82c77e38","datavalue":{"value":{"amount":"+0.9724982976913452","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":"Q4813396$97C7D1BF-6DE8-45FB-9A0A-38BFDA431C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbdc8a757120bd63681628e040c505ac8595d24","datavalue":{"value":{"amount":"+0.8403053283691406","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":"Q4813396$8A6CCAA6-B40F-4BE9-B5F1-F0E2517D9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0237bba39692361fb451b4e291cb895ad4c42f16","datavalue":{"value":{"amount":"+0.7801573276519775","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":"Q4813396$FBD39B1D-CDE6-4F2E-A9F9-3678E4BD0E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02235fdc3ac4c446ceea6a457501e96a6a72a87","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5273e5cb3f379d95ad2fb0d8101f9a475f845f79","datavalue":{"value":{"amount":"+0.7706111669540405","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":"Q4813396$3FBBEB06-3751-45E9-9B23-2EB94A9210EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca37f50bdde62114d8da894f41ae725a0fa1857","datavalue":{"value":{"entity-type":"item","numeric-id":4737145,"id":"Q4737145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7560ff2a5a87738d0151630ab2f024a27169426","datavalue":{"value":{"amount":"+0.7578846216201782","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":"Q4813396$B42EF7DA-ECD3-4464-9115-C606251F23F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090844"}}}}}