{"entities":{"Q1902305":{"pageid":1913047,"ns":120,"title":"Item:Q1902305","lastrevid":69241212,"modified":"2026-04-13T05:41:50Z","type":"item","id":"Q1902305","labels":{"en":{"language":"en","value":"Specification and verification of object-oriented programs using supertype abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 818363"}},"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":"Q1902305$1DB5B7B9-003F-41B8-8F25-FE3B13FE7DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52fd2929b7e8cb991568ad4b52e5ff20e35c33a2","datavalue":{"value":{"text":"Specification and verification of object-oriented programs using supertype abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902305$6FE22B16-39A3-42D8-92D1-6AA751C267CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7534384c1b8d123fe80b93f93da7f85a53cba73c","datavalue":{"value":"0831.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902305$B27DC5E5-7021-4E2E-A543-0C8010B0B5E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c688af50009148fa40ddd269752eb3d8d98cb76b","datavalue":{"value":"10.1007/BF01178658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902305$FDC2C020-EF2C-4DC9-8597-E0613070F4C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aafa68fdbd9aab7de8f372c41bc63d703b38518","datavalue":{"value":{"entity-type":"item","numeric-id":811373,"id":"Q811373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$434E3640-1695-40E9-BD53-487EA1D478F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c364661128e98bf267aaa18c5457a9babb5da0","datavalue":{"value":{"entity-type":"item","numeric-id":672341,"id":"Q672341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$0B002400-39B0-40AA-8F5A-96EC5F3EA995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$BDB848AA-C95B-4AA3-B4EF-251C423312E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1e0a1a9b02531bf6fed85ba6ace9b64bdef2c02","datavalue":{"value":{"time":"+1996-02-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":"Q1902305$EF5B0953-B756-4236-B729-8A01DE7F0772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902305$D2B03526-4C17-487D-82D8-B7DCF10072F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c822ff6855e26c8ee30d89b3c18880d4b3d465","datavalue":{"value":"818363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902305$C41F80D3-FEB0-46FF-83CD-EAF97C95F95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f315e2768396f21206dc5f2de7674f9f1eee7655","datavalue":{"value":"formal specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902305$07D45217-D051-4237-9ED7-8DA78C7B8581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b04385473f68e34c46a5454e871ac0b8c927fb54","datavalue":{"value":"object-oriented programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902305$E5C38660-0FC5-40A5-8E75-FB16217044B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$F7439236-DF06-4513-932D-F1549BAE64C2","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":"Q1902305$ADED30E5-6187-4050-9542-411147E58379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$539BD044-05B5-42EC-8E10-B4DC020060A8","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":"Q1902305$A2F8D40D-9EB6-4251-B2DA-F5A3B898B5B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87ca4e77646e575c589276782f11ee63e7cf19","datavalue":{"value":{"entity-type":"item","numeric-id":1081296,"id":"Q1081296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$C49C8054-25A0-4777-8299-505DB0E4061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af68ceb104dba542fd65d08f5dbc99f264f002a3","datavalue":{"value":{"entity-type":"item","numeric-id":4855338,"id":"Q4855338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$78558AF7-474B-49E6-B08B-A097D135DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$E36A47A4-2440-4B4D-89AF-F2BCBF5B57A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$409E0FF0-FF96-4DAA-AD8B-F1B091592D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$FB06F69A-9091-4E15-8164-73C6F037A987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$225441F7-7F55-4126-B16A-2BF9253AAECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$92F82CE9-0F5A-4F65-8497-00C2BCA643C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62284628c42c293f74cadd19ba3d65356619b030","datavalue":{"value":{"entity-type":"item","numeric-id":3334970,"id":"Q3334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$8611B4B7-17A7-465C-B2FA-531D47EB8762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c28bddd65e590b0412fcd5f41b0b1a4685933c","datavalue":{"value":{"entity-type":"item","numeric-id":1803659,"id":"Q1803659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$E75EF945-318B-481E-AAAD-568A87E1AF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$3063576F-1DB6-46D2-A059-95C1E8535A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8135d2b21803eba4e4837602065847af8c31a6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3787422,"id":"Q3787422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$B12764AB-CC7A-42A0-ACCE-75FC6843BFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$EE497342-C488-403E-8810-DC95F2093B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f2519b5078bb9eb21d8c9f7fcd15b55f367e22","datavalue":{"value":{"entity-type":"item","numeric-id":3998221,"id":"Q3998221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$824CCB84-9496-46A3-8686-0A07EDA09A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$F21322B0-3A16-43E2-A659-891AD288A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902fa84a8dafb3b0f49e0ed40bce623d274426ef","datavalue":{"value":{"entity-type":"item","numeric-id":1058286,"id":"Q1058286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$21E86BC6-6B12-4E09-BFAC-F872A51F5826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326acb68a6334a1c116e21985f2d11f27d8217d8","datavalue":{"value":{"entity-type":"item","numeric-id":4725724,"id":"Q4725724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$CD917939-A97F-401F-BDC5-A93519CA7429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e729b9d812db35a50bbc3f596c98bea6b96263","datavalue":{"value":{"entity-type":"item","numeric-id":913484,"id":"Q913484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$3AFB21B2-C52E-4A1C-A3CE-CAAD6F03AB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$34498A78-8572-4A37-B4C5-32D81F96E234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcab8c14284436b5284309c65bb432f9fbcd6e67","datavalue":{"value":{"entity-type":"item","numeric-id":3763570,"id":"Q3763570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902305$7F257C3B-AEA4-4438-8FC8-542777876027","rank":"normal"}],"P1643":[{"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":"4fd6d070d2fbc12cfbbf3de3a64bbfd387e70db3","datavalue":{"value":{"amount":"+0.7819137573242188","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":"Q1902305$28DAB358-328C-423C-9F0C-33BFD735EF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d635619d77a925f2b5286e84b127f96ad2e1d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":3189829,"id":"Q3189829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9e6adf57accaf7e52fe431ab67935e6db8a8b6","datavalue":{"value":{"amount":"+0.7786211967468262","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":"Q1902305$FC94B508-57E1-4680-A1C3-C07789E116CB","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":"99dbde389e8cdf2bbe3ed59e32a57764dbf812b3","datavalue":{"value":{"amount":"+0.7497831583023071","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":"Q1902305$5CFC4663-80CF-4E90-AB26-60D7E894A165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99dbde389e8cdf2bbe3ed59e32a57764dbf812b3","datavalue":{"value":{"amount":"+0.7497831583023071","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":"Q1902305$711641C4-2183-427C-894F-E32EB3913273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aecf97479ecb2e0408151dcb2ea4fcdfa025448","datavalue":{"value":{"entity-type":"item","numeric-id":439944,"id":"Q439944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859fc4b3b8a93277b00ab6c774906161f7e94f6b","datavalue":{"value":{"amount":"+0.748009204864502","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":"Q1902305$E63F5695-D438-4D63-AC39-59DF39340E08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification of object-oriented programs using supertype abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_verification_of_object-oriented_programs_using_supertype_abstraction"}}}}}