{"entities":{"Q5403083":{"pageid":7432657,"ns":120,"title":"Item:Q5403083","lastrevid":75491293,"modified":"2026-04-19T06:22:35Z","type":"item","id":"Q5403083","labels":{"en":{"language":"en","value":"Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273815"}},"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":"Q5403083$63E43D8A-9B17-4300-B1E3-1BB18636B7AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a99deea28dc2450cafef3376dcc6fba7cd98043","datavalue":{"value":{"text":"Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403083$7B515844-E43A-48F0-AD05-464F8A93A838","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa994b1225ad7d183c9d1f93d0d54b712638f1d6","datavalue":{"value":"1407.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$FC7E2AB0-E9CF-440F-92F2-F54F2CC260E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4527130db4cb9a07d113549a36f49fb8d8f3fba5","datavalue":{"value":"10.1007/978-3-642-54624-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$60620533-8609-4EFB-BE90-68EEC817D00D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ae4d9e47b529655a51a843de5f675cf2b0ef53a","datavalue":{"value":{"entity-type":"item","numeric-id":352096,"id":"Q352096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$73C9F8B5-F661-4B59-BB87-7862E7FEBABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$FF7B7544-072B-4331-AB7D-D998CAA8F9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$BF2D174E-468C-475E-831D-500D8B41C7F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$BD9A045B-D89F-45FF-AA60-FA4B4C1A92F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-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":"Q5403083$2B40ECA5-FD57-4643-BBA5-06D1F173286B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$6695663A-5AD1-45EE-BFF0-CEE6F8B684F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$931A33C7-BD5A-46E9-A593-077E084422A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbbdf6889587db4af84abc08b0d477356820d9c9","datavalue":{"value":"6273815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$67649D04-EC42-421A-B28E-DEA1042309F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$B7EA7734-3EAE-4E15-AAFE-D98E7CE04394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$8A1A93F3-59F1-4514-B21A-EA5FD5062680","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":"Q5403083$1E72638B-44B8-4271-84C4-3C10A26B66AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"940380cd6951723df192d2f354cd63b422bc4856","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54624-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403083$D94FD454-6DEF-4D02-BA51-211EA4E5E505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"236ad6d6ecd8d8be0cd82efb02f86e33355881ba","datavalue":{"value":"W2281187718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403083$AD91B75C-41CE-4EE1-AD01-418855402314","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8d0b69a43804e8da79fda30fff5762452235c8","datavalue":{"value":{"entity-type":"item","numeric-id":5177998,"id":"Q5177998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$1EC229D0-C958-4A1E-B7D7-DC68A1F37B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54359d6eff91436c14adcd7f017908697aefbb74","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$3EF1EA77-1E8E-4541-95E4-F6BED1425C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fddf3fd03035d085e1b6bf6ca2601e00a90946","datavalue":{"value":{"entity-type":"item","numeric-id":3189824,"id":"Q3189824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$EFCC0D90-D003-4869-B729-5AEAD634A057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee29e8a506c504ab9034445431f767c21cf2916","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$DAAC7083-947B-4A83-B112-BCF0E56402DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c82b2beefd65fc27e381486a41fe7faa28e1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4418592,"id":"Q4418592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$39971B3D-6C6F-4415-B9E6-BAD70539B3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff76ec0d4242318a5d0e21864a8a640abb31e4cf","datavalue":{"value":{"entity-type":"item","numeric-id":4414392,"id":"Q4414392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$FFE02858-6ACF-47E4-9134-0798CFABDCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$AD66E8DF-77A5-42E1-A59F-F723B95159B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0385124c36c7759bccfcea5b79c3526a5b3a67","datavalue":{"value":{"entity-type":"item","numeric-id":5757932,"id":"Q5757932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$AEDD802E-BBA0-42A1-A71B-0170E404E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403083$54EDC089-1FFC-4CBD-940B-1E89229BDEA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182af01b0177ebb19d371c4fb0585f8b2246d78","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1aefa3e90a569cccd07f7a0d7526818f97ec491","datavalue":{"value":{"amount":"+0.817741","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":"Q5403083$E87216E5-020A-4460-A89F-2D8F1D4099B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ccf51bc7ab23a5da37e868b9d017e7a25df41e","datavalue":{"value":{"entity-type":"item","numeric-id":5305773,"id":"Q5305773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28c470004a2237cfa11af07542b55097f3f3a76","datavalue":{"value":{"amount":"+0.8086891","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":"Q5403083$BE499A81-69B4-4FE5-AF4C-7291A3CE302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01489ab577891a76aa29f141bf7556996b256c8e","datavalue":{"value":{"entity-type":"item","numeric-id":934712,"id":"Q934712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac08336e1b468a5712f0fef9d4fd93343d903f2a","datavalue":{"value":{"amount":"+0.8052218","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":"Q5403083$C54659E9-2D1B-4A43-A335-D4C79B10C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23b47417aec6b3e53e1078e52ff2767b17de979","datavalue":{"value":{"entity-type":"item","numeric-id":4418593,"id":"Q4418593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db51f7a86092dd2af0e42442a1aec02738b4b15d","datavalue":{"value":{"amount":"+0.80156416","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":"Q5403083$1DAD28A8-679D-48B2-AC65-3DF6B1E8C10C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_the_Design_of_Dynamic_Software_Updating_in_the_OTS/CafeOBJ_Method"}}}}}