{"entities":{"Q5429330":{"pageid":7458904,"ns":120,"title":"Item:Q5429330","lastrevid":100945109,"modified":"2026-06-05T23:30:50Z","type":"item","id":"Q5429330","labels":{"en":{"language":"en","value":"Structural Abstraction of Software Verification Conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216246"}},"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":"Q5429330$102AC344-825F-40EA-B72D-BF6A720C7741","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08cff2762a964b335d2a115f77074d9ebbe017ab","datavalue":{"value":{"text":"Structural Abstraction of Software Verification Conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429330$45F5A7F5-96A1-45CE-87AC-4E686D0DD15F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e1dc01d00642582d13c511f68279ac5f1c48c02","datavalue":{"value":"1135.68463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$7D0682D4-137D-4FD3-B979-23CBAFFFEC6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cec66bcca9f149ed6d9b4c575af29e28f50103c2","datavalue":{"value":"10.1007/978-3-540-73368-3_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$D08E9691-C06F-41C5-AE8C-22EC96567DF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6de59205d3e0576017bdb43912461d64d9ea1a","datavalue":{"value":{"entity-type":"item","numeric-id":470001,"id":"Q470001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429330$BB9499FF-6ED7-4ABA-99D6-BE7D826CB85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db4024a540391b7ad5a5e96b7285f26b861ea32c","datavalue":{"value":{"entity-type":"item","numeric-id":470003,"id":"Q470003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429330$02AA7569-8894-4ECE-8C2F-FF08F68E2C89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429330$2BA27872-4496-40F1-85AE-8C23A110588F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429330$01AF07EB-2021-494D-BDCC-42E9B56C57C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$77A0B416-F158-4589-BD38-AE712E48B461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$29E6AB13-A43A-4DC2-9AF7-9A076B7D2CB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2af3f5c646911a58b7883c8609c5433284ba6b21","datavalue":{"value":"5216246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$8786F3ED-1291-41C1-ACBF-89EA91D31C73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429330$D16CBC0F-6403-4714-B57B-854CC5D37116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429330$54E5FC91-E731-45F0-BE0E-26CCCA851864","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":"Q5429330$1E2ACBFC-06EA-4DDD-8761-215746CA79D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"795fbe968f705edf15a92b1ad90e33ffd05354a9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429330$D4610739-5DAF-408D-A6F5-21F9DA5AB4D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a45e67032edd0ce415db0be7d32b8f0fd4e0f04d","datavalue":{"value":"W101497066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429330$A09F5041-E6EA-4B22-A91A-6BC1C997D1EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4e3a8d33d83d4d9d8b470254ef8d6a9359242a","datavalue":{"value":{"amount":"+0.9217223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$5D66E4AB-AB32-494C-879D-DE868A49F4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479e3737500f619fae99497ed4072ce54ad79874","datavalue":{"value":{"entity-type":"item","numeric-id":4808849,"id":"Q4808849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0159483dad1e641735b559eebc837be965f595","datavalue":{"value":{"amount":"+0.9119831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$8B62642F-D128-4574-8C3B-A0080118DBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec1c6bff3200398c9230ff25046c4d306e274dd","datavalue":{"value":{"amount":"+0.9089127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$9BF1DD32-0899-4A7C-9A88-88888FE03A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505bd81f8a77998d3c0492970d2dd9a6d1d87385","datavalue":{"value":{"amount":"+0.88499165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$42A0B441-4889-403E-A13F-E8DAB934C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b33b9b8b1f6bb45e95d46bbbd03713ddbb56680","datavalue":{"value":{"entity-type":"item","numeric-id":4738463,"id":"Q4738463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34268fafad557933172de051f47103e27635e302","datavalue":{"value":{"amount":"+0.8826954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$B5D5CEE0-AEE4-4A19-AEB1-4A9A7A5E8EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6408661d73892449e3a46f374539c0fa99309","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cb8cded806e4e96fa180d4662aec40ff3bf8fc","datavalue":{"value":{"amount":"+0.88122773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$D839FFDB-2DD5-4578-8D3C-3605703BDE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a24f82d6a79a97eb2aeb2e0b628a28befc3150","datavalue":{"value":{"amount":"+0.8809172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$4794D927-DFCD-4F10-8BC5-4B2A811B9A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfe3aa2625bb21fcd43f48a8399c225cabc3c37","datavalue":{"value":{"amount":"+0.88077027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429330$030A5B3A-AF82-4110-BBBA-E2503780BEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural Abstraction of Software Verification Conditions","badges":[]}}}}}