{"entities":{"Q2999325":{"pageid":3010049,"ns":120,"title":"Item:Q2999325","lastrevid":51242744,"modified":"2026-01-17T10:12:58Z","type":"item","id":"Q2999325","labels":{"en":{"language":"en","value":"A graph-based implementation for mechanized refinement calculus of OO programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887530"}},"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":"Q2999325$6E0E0325-1D69-4625-97C9-AAC68D3C7746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78dc65a8ee93ca94250df8432a2f532a2fa484b3","datavalue":{"value":{"text":"A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999325$911AAD12-FC57-43DB-B027-5AED56E355CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7935d3b093fb81e3ac0e4ba9cfa9a8eee270dae3","datavalue":{"value":"1325.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$B0181034-CF47-45D9-88D7-BFA42AF3A3C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0895a4947489f924da315d3998201d4b137067ad","datavalue":{"value":"10.1007/978-3-642-19829-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$C8333B20-5D80-43C9-9AFE-1635A31C31E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$0DF54FAE-4076-4F4D-9629-0ABF18645739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a6ade5ea1dff60955f0d668a3d188131ef8441","datavalue":{"value":{"entity-type":"item","numeric-id":988172,"id":"Q988172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$81D9DF30-3665-4820-9E76-CC109061635A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$C47A6386-0C95-4604-A3E8-BF772A051EB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$95C4B4D0-1411-4117-B451-527CFEB706F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999325$D9C00A5C-81C3-43A8-98D9-EF620AAAE9B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$66F28E17-4F12-4A00-8514-E26320F6F39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$E52D7C34-27F9-44DA-B5E0-75FDF4271923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aebdba6bcf61e3251e6cf6940682f28d1b4c785","datavalue":{"value":"5887530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$66180DE8-3342-4CD0-92B9-77645AEA8A02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999325$A8D6DAEA-28D3-471D-A1DA-A14AFDA5E4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d822c15764a4af6dd4d1c01a8c2f134d11450b6","datavalue":{"value":"proof obligations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999325$6C3F2641-A1F3-42EB-8BDE-1B0DEE66C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e784ccd17867eb77e6ca4817732745f0937306","datavalue":{"value":"rCOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999325$86D41EE2-F157-4D11-9E42-B83160EFFF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999325$01E6D83E-39F6-4F66-9DC8-9E77CA89184A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94d282fe65ea5eed1e66da6ca542844ca7a9c506","datavalue":{"value":{"entity-type":"item","numeric-id":14236,"id":"Q14236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$4DCC8FF4-A6A6-4A30-A259-E1A82EF4E0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$1266198E-39B4-41F5-8710-4D795DC507FF","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":"Q2999325$72718256-5E53-4DDA-A420-C78D90BD66FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2d89dcd68d21e7ced001782b8ce1d07efd30931","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19829-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999325$44BACB8F-BA90-4749-B5BD-8AB98D15214E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4588346e2cd796f953fe4f7f4c229af201a3d1","datavalue":{"value":"W1882245948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999325$2BFD4C6D-F7E2-4B23-94F4-07B45E8C40EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d477cb1d0b0bee82fdac2c311a16209970b537","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$5B6CFA79-AFB5-4647-93F6-5614CECDE363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b816bf259b1747d8af1abd1ba258102ec50e71","datavalue":{"value":{"entity-type":"item","numeric-id":1004291,"id":"Q1004291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$91255942-CFDF-4372-BABF-097B30E3697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6067049ea710d3e21a7e3057800797057809f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3526927,"id":"Q3526927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$1834DEB5-E482-4981-935A-36D29AD79463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c670c189ca485c7f6b031024bac0680e696f6","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$77AEDD84-2AAF-42F0-871A-64DD779F3C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$0F699A39-77A3-4151-A48E-99D2B6529B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$B1B3E9B1-47FE-4815-BC7E-3B6F9002C3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6d272d7537bf0a89bd6d84018ef9c5f3946d6a","datavalue":{"value":{"entity-type":"item","numeric-id":1882788,"id":"Q1882788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$D85DD7FE-4D6F-4B18-A56D-DA7B4EA57B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd5c1baffd52562a65fe696dce1be9ae1e4d30","datavalue":{"value":{"entity-type":"item","numeric-id":2769594,"id":"Q2769594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999325$5C74CC3F-6DF2-49AD-AE14-B7A6083F9BFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3d88f0e378d15529aeb33aa8d07871e661e9f1","datavalue":{"value":{"entity-type":"item","numeric-id":1019019,"id":"Q1019019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38677f864b92e17f9465b44d33d1455f760ca9e","datavalue":{"value":{"amount":"+0.7584792971611023","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":"Q2999325$B3E0A079-1850-47C2-B042-1F706783081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"012c23954d4f438873067eae5f473ad4270bcc00","datavalue":{"value":{"entity-type":"item","numeric-id":4370252,"id":"Q4370252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44ff4d0aeb8d3e30299871848877bb71427c962","datavalue":{"value":{"amount":"+0.7565395832061768","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":"Q2999325$D1BD1CC3-BA8E-462D-8B45-CA53BE0D5FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbba24451f6e02384cb3117487a26bd0344d06c7","datavalue":{"value":{"entity-type":"item","numeric-id":1882788,"id":"Q1882788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59ed8ae16b537c6192840f2e3db415cae296ea8","datavalue":{"value":{"amount":"+0.7402679324150085","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":"Q2999325$194E4529-0E48-4997-B4A6-33C97A2BA202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551c3030ce794fadfa9659c442c44464cdaf83f8","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff556e01d4218f805829cc2f1095362970f0ff76","datavalue":{"value":{"amount":"+0.7390948534011841","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":"Q2999325$A628D753-A237-49E4-AE66-FE1B2543D229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ca78af27195471ae33279731d1ce434de62319","datavalue":{"value":{"entity-type":"item","numeric-id":5428912,"id":"Q5428912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff556e01d4218f805829cc2f1095362970f0ff76","datavalue":{"value":{"amount":"+0.7390948534011841","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":"Q2999325$DA1F848F-C3F0-4FD4-B1EF-3D192200B7D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999325"}}}}}