{"entities":{"Q4414386":{"pageid":6443985,"ns":120,"title":"Item:Q4414386","lastrevid":48138415,"modified":"2026-01-03T18:26:07Z","type":"item","id":"Q4414386","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1953028"}},"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":"Q4414386$5B33FCF2-ADB2-408C-8568-5F75EDCDCF16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94aa3b36a5e9dc418b41681ffe47efa917fdd055","datavalue":{"value":"1022.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414386$1F1E8030-D34A-4ECA-9FB0-95768CACE4A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4414386$A44F5503-AAF8-4B1D-B42A-A6D375FDC09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4414386$94E04B7E-5046-4A70-8D98-7838013C0BF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77adafc20945d0e29a914c84d50e89458fb662b6","datavalue":{"value":{"time":"+2003-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4414386$0E7870AC-1BE6-4AF2-9496-BDF7946B67E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"741662d9d9aab19bdc5b5cda3bdda92fc65aab9a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2575/25750146.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4414386$77CBFE75-38BD-412D-B223-BF81BC0CF19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414386$021BDE3C-5719-452E-94A1-D4EC511CBECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414386$D2511FA7-BD93-4988-B3C2-276198E9B4A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c08e2ae98e6f8a72fc26def6b625a436aa2e9093","datavalue":{"value":"1953028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4414386$4DF000E9-4D50-4A18-86CA-EFC38F0FB9FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$86FF8790-83E8-4068-B45F-7357AB90CB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$FA30CE78-E90F-4B9C-A2A7-20DE3910F632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$510F9B14-B0B1-4F02-ACE9-704EC5DC6E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9ea4cd32333cfc0fdb53afcc862004770d5830","datavalue":{"value":"domain refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$E9D3949B-0FC0-4129-A7DA-6540FCC0ADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$47DFF614-A946-4F5D-BB16-09324A35490B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed0c497527fac9a8540071a849605874967cf86","datavalue":{"value":"abstract model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$C98010D7-D025-4532-9ACC-3DE744152341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4414386$8DF65AAD-FF32-4AA8-8101-75C504EF3EE5","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":"Q4414386$A272ACE8-BAB8-4CE8-A670-3DA31FA0D639","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d91a47b7ae90ae3e1bd261c70ed3bb621c2e346","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85d6e3a29d197fa0131173784c19d20f41d0038","datavalue":{"value":{"amount":"+0.820972740650177","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":"Q4414386$E835D1A0-0EB8-4F82-8E2A-F0DBBAB5DD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec73abd86e85cbf1d075ed17a1e62460e26c4a1","datavalue":{"value":{"amount":"+0.7889640927314758","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":"Q4414386$9D6AA0D5-CABB-4A6E-BAB6-46D780DEFF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6876f5f83f3a9504bd4a67af198b87090057fe8d","datavalue":{"value":{"entity-type":"item","numeric-id":5277715,"id":"Q5277715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cab032a5bca141043196c16dda7753467870b40","datavalue":{"value":{"amount":"+0.773924708366394","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":"Q4414386$EEE2C680-34A5-408D-A454-2C8EC4F91909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66de1dac6fd3887f40a5d7a5382f3a1f072e2c5","datavalue":{"value":{"amount":"+0.7554011344909668","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":"Q4414386$01C34D1A-3871-4474-B89D-3FB0083A885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864f8f36f1789768a64f69b5e2c4a752a7f4040b","datavalue":{"value":{"amount":"+0.7507147789001465","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":"Q4414386$40976172-0D9D-4C0A-8A69-D70FDD80255C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4414386","badges":[]}}}}}