{"entities":{"Q6535970":{"pageid":14147113,"ns":120,"title":"Item:Q6535970","lastrevid":55605001,"modified":"2026-02-17T19:36:00Z","type":"item","id":"Q6535970","labels":{"en":{"language":"en","value":"Abstraction and subsumption in modular verification of C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817399"}},"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":"Q6535970$792A40B6-BC0F-4CF4-A6ED-E42470A01122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9ca5cea01506a35028edcc39a85a97969d47d4e","datavalue":{"value":{"text":"Abstraction and subsumption in modular verification of C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535970$B667D216-B9FC-4D2E-9AC7-B3558F2CFF3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e172e3254a923c34a855670e02b500924102e21","datavalue":{"value":"1539.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$4A6EDFA8-2150-425F-8E55-45348B18762A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb74fbf13f39f510e7fb9e36ce9b8650bedf9590","datavalue":{"value":"10.1007/978-3-030-30942-8_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$A99E2865-9B84-4A1F-9698-129BD92D5A84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$5BBD83B4-B5E2-43DD-93BB-CFB8FC4CB0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$32DE9D83-90F5-4B26-9ED2-2E27732E3CBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535970$945446E6-AE81-4570-AF56-DD8292958A16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$9A100BCA-8E73-4C50-814D-9952D060D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$D9FE068C-0B6B-441B-AC90-E2FA06DDF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$6A0B7F0D-CA1C-47A0-8F54-4E897B036A46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe6fbdc338c9e772efceee516fcd87424d3536b","datavalue":{"value":"7817399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535970$9E406069-C09E-43CB-836E-7125AEC22A15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63e28e1d4b6fc67ff50ec99e06aa3ad3ad82c7d","datavalue":{"value":"foundational program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535970$823B7DD0-4A2E-41B8-9D07-53369893C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ebea0abebf79df4c894ff86295ce8a634e5bad","datavalue":{"value":"separation logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535970$781712C0-F5A7-435A-BA21-7090DC5DC6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5723ff2006ff6b387d55cb70866b952820aa308e","datavalue":{"value":"specification subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535970$E4908C79-1F5C-45E7-BEBC-929467673E53","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":"Q6535970$52E65747-DB27-4B3D-BE5C-E18AC2C1476C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$14177C8C-220D-4029-A482-9756026CE9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$C1158B41-8841-483C-8D42-8D648E7E80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8eda406b524bc7a8f585c46b182f9071cbe51a","datavalue":{"value":{"entity-type":"item","numeric-id":3087994,"id":"Q3087994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$3AC3E025-D6C6-4C99-97FC-17D20FB2DA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086fdbd21f473c213329b475c94f7dc23f61bf59","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$7C08A69B-7272-4050-836A-4EF2172794E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$0AF86349-56B0-4C66-B3B6-9F22E1016EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$D8832B3C-8BB4-48F3-ADEC-BD47D0AD2A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$031914CC-278A-4B20-8AC3-A421EA4993F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$238F58C4-D9C4-4841-B0A9-618CCA0A467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$0CED64B3-CD03-414C-860E-73B58BB9E044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32bffbad242579615a270378cbba850fe8dcb19","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535970$4B40E10D-5F2B-48BC-BA9A-59C3FF62FE53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fab7cccee66bb09cb113fdb52faeb00c44355ec","datavalue":{"value":{"entity-type":"item","numeric-id":2147702,"id":"Q2147702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b10f0d62fb616cabded6fa1f8e0399d382f832","datavalue":{"value":{"amount":"+0.9296185374259948","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":"Q6535970$072FE141-751E-41B4-9EBA-931007EB18DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e494b8ba3180a56bbba4cac54a6e75bdaf5b8f78","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df6b18caaed76844495550b0f0b725c3232b3e1","datavalue":{"value":{"amount":"+0.7641196250915527","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":"Q6535970$2985877D-139C-4C01-95EB-794FEC9974CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351a90fd7374d7f2cebc9163de51f8831593258f","datavalue":{"value":{"entity-type":"item","numeric-id":2233451,"id":"Q2233451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf96be3689ade8d7ef6cc2a9edf9244053bbdb4","datavalue":{"value":{"amount":"+0.7582334280014038","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":"Q6535970$68A67D48-D617-451E-AA34-32A70939E688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57349cbe818f866855406c85012c17d34a15a966","datavalue":{"value":{"entity-type":"item","numeric-id":2914243,"id":"Q2914243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155a055d35ae21bb0c9ec747a7b0c136295ff950","datavalue":{"value":{"amount":"+0.7222877740859985","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":"Q6535970$96BEF812-D2A9-4A00-9253-9B5235B112DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c4ceea5ea1c95a9cf7d540f6fdefb2a4b5cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3613337,"id":"Q3613337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6135c87cd241eedb7d4c0f2272643bd34c78c3","datavalue":{"value":{"amount":"+0.7220471501350403","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":"Q6535970$0AEF94D1-1F22-497A-9495-4FB43EEBC8CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535970"}}}}}