{"entities":{"Q5506381":{"pageid":7535941,"ns":120,"title":"Item:Q5506381","lastrevid":101395688,"modified":"2026-06-06T01:09:33Z","type":"item","id":"Q5506381","labels":{"en":{"language":"en","value":"Specification and verification of invariants by exploiting layers in OO designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499363"}},"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":"Q5506381$7283D432-F6F5-418E-9FC1-F69B55FBAC8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dc7c5ac199d9624994cab1ab1c2bdf006cc7701","datavalue":{"value":"1167.68382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506381$6B1A8B0B-F876-439D-824C-26C47696B6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e3a161385e3ca41dc6b446cffa0632857dc1edc","datavalue":{"value":{"entity-type":"item","numeric-id":2873619,"id":"Q2873619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$E720D045-8263-49E0-AEA9-D8B95365DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c9d1b77acb645fb03e272acf88b44af2fd8ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2873620,"id":"Q2873620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$FC253FD8-8760-49A5-9F83-0A03BD33316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c6e68c4bf3eed343f564904eff07ea03eb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1125429,"id":"Q1125429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$31B982B8-52AF-4B93-B019-47719F54A608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e7c964e1d9b8fd1dbeb5ff697f9b43b0587c8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2873621,"id":"Q2873621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$DBE615B6-779D-4381-80E2-5D46B667865D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5506381$B5B97AAC-FE2A-4135-ACD5-8A90A86F0359","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506381$00A45478-46F9-4AD9-A54C-586AF1FDA7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506381$CAF14B43-8BD5-40B1-B974-1DE4EF3C65A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"776435b930f0d408b4cc38939fb76b4dd80dbb23","datavalue":{"value":"5499363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506381$D4A3791C-E1B0-4C40-8323-A883FE82C210","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$74C48F34-2220-4E68-A19A-FFAE7D4AEE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506381$E9BDF8D5-296B-4CF5-A883-91F2AB94C06D","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":"Q5506381$88613BDB-5C37-4BE7-B5F9-DC7A223BFD29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0376dc93835a8a0455943df5f80f6d90b1f477a","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0473d605dc348035033b5b7e6e1547da852c3c7","datavalue":{"value":{"amount":"+0.8111856579780579","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":"Q5506381$21BEB2DA-F368-4B75-B59B-99935C92E4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fdb16fc31e453bf85a4cd4f725ba2ff3ef3875","datavalue":{"value":{"entity-type":"item","numeric-id":2873622,"id":"Q2873622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a83b51d7b5097696d6b7a2f004989f5d09d30fb","datavalue":{"value":{"amount":"+0.7841306924819946","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":"Q5506381$0FE836B5-4165-45C2-B730-1812A5382837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6f0ecfe2a882f67fea0af5e914525d7564bb0d","datavalue":{"value":{"amount":"+0.7411062717437744","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":"Q5506381$2367001A-B3F9-465D-9962-027F2FCA542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540c260737e4d2b312c3fbef94b4940936e1a8af","datavalue":{"value":{"entity-type":"item","numeric-id":5716910,"id":"Q5716910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6375f84b7e9eca89cfb4e2f9ff86ca4bac7638","datavalue":{"value":{"amount":"+0.7392149567604065","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":"Q5506381$7D496BE3-AE50-4578-B6E7-A558789D0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1edf120891d46f1e12ae6d923beff1aede7ef549","datavalue":{"value":{"amount":"+0.7273966670036316","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":"Q5506381$871391E1-42AD-4AF9-8BC5-A57A254C453C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification of invariants by exploiting layers in OO designs","badges":[]}}}}}