{"entities":{"Q5428906":{"pageid":7458480,"ns":120,"title":"Item:Q5428906","lastrevid":50223623,"modified":"2026-01-13T13:56:49Z","type":"item","id":"Q5428906","labels":{"en":{"language":"en","value":"Model Checking of Extended OCL Constraints on UML Models in SOCLe"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215758"}},"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":"Q5428906$EAD1BB65-F61C-4B8E-AD0F-0706EF55BE31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db58d879b2455db855dd896651a3a736b70e5b2c","datavalue":{"value":{"text":"Model Checking of Extended OCL Constraints on UML Models in SOCLe","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5428906$E2486052-C114-4DBE-A83F-AF13A3D64F69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f796ed56018e33de6f05ba1044866bd6055bfaa","datavalue":{"value":"1202.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$DE429C9D-C0CC-401C-944E-16BA25022863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6c4b327169161302a7f55af9e6c2081a8f8fc5d","datavalue":{"value":"10.1007/978-3-540-72952-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$B87BED70-B80F-4BF3-BC59-43599445F25E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da5850f5a1c5aaf9e61aa23c33cc53c4f415162","datavalue":{"value":{"entity-type":"item","numeric-id":5428905,"id":"Q5428905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$D82B5E54-2111-4250-B14E-3B6FE3713D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39b091dc6674e0b947c35795e09051c8bb42a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1269917,"id":"Q1269917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$2D413E86-7155-4D3B-8E39-9B46276F785E","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":"Q5428906$D74337AE-1BC0-44C5-A350-4DAD25377E35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-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":"Q5428906$10EFFED3-AEA1-4614-90F0-17A3A6227FE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$26C958DE-FA5D-40A7-AD66-110B3BCFA511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$D7210D0A-BFA8-4A46-9382-48E7286A80EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$9B069A4B-AB03-48BE-BD8A-55E8C25E8482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e1269224731cdece6db931ff71eae376d11d13","datavalue":{"value":"5215758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$9528611D-D99E-4FCE-8669-FD01E34749D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"560fb465472ddc450906ab47cc0fc10e6717af24","datavalue":{"value":{"entity-type":"item","numeric-id":21454,"id":"Q21454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$C2ABFA20-E276-4197-936A-13639825E2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71d769a2ae3c08bf8a12a85f1a0da82efb040041","datavalue":{"value":{"entity-type":"item","numeric-id":21460,"id":"Q21460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$43809B61-6038-4756-82F2-4D147A23FDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$192767DD-9B26-42BA-951F-DEBD4D8BC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$E8C1D6F1-AC18-4AAD-86F5-9DC981842E6F","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":"Q5428906$B1F60D82-888F-4AE0-A805-B81849DE51D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67c5e3f58b12e4da608a6bfb72b0ec31f65083ca","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72952-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5428906$C7A9E1E7-3640-4593-B187-7D9E72F739FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5bebc38b4b12593811bf8846c3a8cc8dd786d4f","datavalue":{"value":"W1881412220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5428906$6A19FD1C-9E7D-48AB-A940-ECE696E7C400","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$3153D5C5-39DC-4A5A-ACB5-49F1F27B00D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a45fb1359d2e66eafa82e7f6b15749ffb75ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5494311,"id":"Q5494311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$3DF70A52-E123-45D1-ABF4-DF82A25BC9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac83dc8f207a2d5ebaeed688f3e8b76761c920e6","datavalue":{"value":{"entity-type":"item","numeric-id":4736409,"id":"Q4736409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$B9885641-6015-4F9B-917D-0037475D5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fac79da2aadffe02ca14a2987f4edba501a703","datavalue":{"value":{"entity-type":"item","numeric-id":4738326,"id":"Q4738326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$965263EC-E50B-4724-978D-3A04285AA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d991e519c5b626d2819fb9040ecdaac8f161599","datavalue":{"value":{"entity-type":"item","numeric-id":4762660,"id":"Q4762660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$9C00D4B6-EF89-4EE6-8F5A-30AB83736B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d9daf7837f2c80e8bb9b8428ab200ac16d10ed","datavalue":{"value":{"entity-type":"item","numeric-id":5309538,"id":"Q5309538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5428906$355CE38D-D7D6-447D-BC8F-D7D11FB9FDFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70de3b7ae5009c18991661e3743cfbe5e4b06bb","datavalue":{"value":{"entity-type":"item","numeric-id":5309538,"id":"Q5309538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c0fb941c7f29a5ffbf69cbf3077a386531d5f9","datavalue":{"value":{"amount":"+0.8065997958183289","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":"Q5428906$5DC9BD27-B1E7-4234-BEB3-73B44950C8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e448057df75fa55170a83d9603ac09e7110d941","datavalue":{"value":{"entity-type":"item","numeric-id":4736405,"id":"Q4736405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac4737c07038d22a577e86cb96f880602be9d95","datavalue":{"value":{"amount":"+0.8048757910728455","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":"Q5428906$5AB0CAC8-0E84-4D91-BD53-D96402BB58B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078aac07d93636130787655c00d053a915a9bbd8","datavalue":{"value":{"entity-type":"item","numeric-id":2463538,"id":"Q2463538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b480265f50cabbc8ca1011459420797037376e","datavalue":{"value":{"amount":"+0.7911992073059082","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":"Q5428906$AFCD3AC9-B708-4234-BE80-A55F686330F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe658397dc369c7934ed8707920f6cab7ba77b3","datavalue":{"value":{"entity-type":"item","numeric-id":4411045,"id":"Q4411045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32615071a4e0d8e379dd71a9455a72a64637c2dc","datavalue":{"value":{"amount":"+0.7627993822097778","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":"Q5428906$62C5DC5E-A8BF-4526-B9B5-86AB9D93ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd47ff0548972b16e9d41d2cd1761b36679ae931","datavalue":{"value":{"entity-type":"item","numeric-id":4808841,"id":"Q4808841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfd5e064376c7265a4ae3f43dd39edcd12203e3","datavalue":{"value":{"amount":"+0.762799084186554","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":"Q5428906$532DB12F-6433-42A2-9CC5-E6FCBCEE8B67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5428906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5428906"}}}}}