{"entities":{"Q6536289":{"pageid":14147432,"ns":120,"title":"Item:Q6536289","lastrevid":55636777,"modified":"2026-02-17T20:08:06Z","type":"item","id":"Q6536289","labels":{"en":{"language":"en","value":"Analysis of software patches using numerical abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834942"}},"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":"Q6536289$FBB7FE91-C7AF-4994-A4D8-95FCD9048621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90dd6eb58425500dcb59eed05bdc3d201f17a339","datavalue":{"value":{"text":"Analysis of software patches using numerical abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536289$E7808F75-920A-4607-9242-C956BAC31707","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e2de233e0716467d798fbd7cc29fbe5aee691a","datavalue":{"value":"1539.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536289$93473EEE-43CC-48B3-ADF1-6622745E323E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"644be0ca71b6e2c4d7c9fefeeb34429ed975b8df","datavalue":{"value":"10.1007/978-3-030-32304-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536289$9FD4C875-DCDF-447B-8AD2-604EC60C9FFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f32608cf0875600a53b07064f44aa5024c3a28e","datavalue":{"value":{"entity-type":"item","numeric-id":6536288,"id":"Q6536288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$E19F8FE5-7971-4D5F-B4F0-3428115A2009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79110293abe8df1d1b69baf84d1546747a32f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":681348,"id":"Q681348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$9C1B9762-6AD5-477D-ABA7-C8B44F625A54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536289$30D94536-CB91-4207-BF99-866D78C02B7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536289$A2A18D7B-3A9A-42DE-94D4-4A52B5639CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536289$630303F5-1ED3-4165-9FD3-9C4BC2C73F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dff7144d92def6c742be702f93c57322439c3161","datavalue":{"value":"7834942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536289$0FA887FD-65C6-447C-A098-6F8AFC0614F0","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":"Q6536289$72E6D161-F20B-4CB9-8101-3B480EA375B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$61FC705C-5DA8-4C1F-8B6D-0FAF70D63D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$747C7281-B78C-4FD1-911C-D5E9C83F56F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7842cc7997d2d8faf03cd74c496ae509956b9581","datavalue":{"value":{"entity-type":"item","numeric-id":3075485,"id":"Q3075485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$B06FB47A-92EC-4848-BB31-A7BD3C1B48E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef05f883a275d785f29d77dd7ca8a37e0671672","datavalue":{"value":{"entity-type":"item","numeric-id":4738355,"id":"Q4738355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$7EBE5560-D025-4B49-85AA-3CAFD64A816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$5CFA590E-289B-4196-A7E5-044DDDC71FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf1b042c483ac33361ac24081db27c0fc28b774","datavalue":{"value":{"entity-type":"item","numeric-id":2870770,"id":"Q2870770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$9BABEB33-9AE9-4F55-9E0B-337070D37BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5b2bd8451dff493328bd0a8b2560d90a5021a6","datavalue":{"value":{"entity-type":"item","numeric-id":5233255,"id":"Q5233255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536289$8CED9FDC-DCFF-4AE8-AB33-CBAA54A29AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d647ebc9d79f759c7a268f70e27a232ad9ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":2870770,"id":"Q2870770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dc6f4a70af873989a199e29a422c81f393b993","datavalue":{"value":{"amount":"+0.8331909775733948","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":"Q6536289$8D405A62-9A61-4A5C-8D31-94FE804532F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1fae801d0b3a5a50deb46d9de32612efc8d21bc","datavalue":{"value":{"entity-type":"item","numeric-id":5233255,"id":"Q5233255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d4c16a5381d17a9be1e4b6d51d2d5b0fdc28ad","datavalue":{"value":{"amount":"+0.7358629703521729","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":"Q6536289$80138721-A137-48CA-A894-77F5CF4653BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8c5db79fef260c87870107ec4381ea0572994f","datavalue":{"value":{"entity-type":"item","numeric-id":2322311,"id":"Q2322311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ab53bb23cfb9ad42564247a43eba97fe787197","datavalue":{"value":{"amount":"+0.7253159880638123","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":"Q6536289$89A12147-A124-4118-BED5-B3FCE2E41EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ac5b5cd3b2189631d02ad86d962f87eb2184bf","datavalue":{"value":{"entity-type":"item","numeric-id":5233236,"id":"Q5233236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9605a2370876e12652d5c1d218e3c569ae37297","datavalue":{"value":{"amount":"+0.7253155708312988","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":"Q6536289$E79D24CB-87D8-415A-AE74-10205C085BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d30e3af3795d62eb2f805a4af5077f004868c03","datavalue":{"value":{"entity-type":"item","numeric-id":3460547,"id":"Q3460547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76345c04cd7ad1524c7015db8d5a738a942b7b55","datavalue":{"value":{"amount":"+0.6765082478523254","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":"Q6536289$1CAE7A96-2BD8-4F0E-99D2-AD8AEFE1B914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536289"}}}}}