{"entities":{"Q820132":{"pageid":821980,"ns":120,"title":"Item:Q820132","lastrevid":49813639,"modified":"2026-01-10T23:55:39Z","type":"item","id":"Q820132","labels":{"en":{"language":"en","value":"Specification and refinement of mobile systems in MTLA and mobile UML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017462"}},"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":"Q820132$C1F649C9-5F58-4142-8AB4-B7E9B2E1FA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd97cd1cef8ddd629b113d7d2cd38ecfb28a3dfe","datavalue":{"value":{"text":"Specification and refinement of mobile systems in MTLA and mobile UML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820132$D6158EFF-85C3-4E59-B8E0-68A1CDAB0774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4a312fca60497cd77007213b75f3b16cfa7307e","datavalue":{"value":"1086.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$9A757950-1C72-4874-A2D2-89755BB81F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519ad9f067471b3d8d1165b5f69564a4f99de0bb","datavalue":{"value":{"entity-type":"item","numeric-id":777874,"id":"Q777874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$3366EC57-9A91-4E8F-89A3-140A971CA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$F57A035E-D331-45E7-AB1F-99DEFA05AA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$8FF9686E-BBF8-4A01-AB55-91FDD8D578F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f20628aad6f7dcd6bba28315393a75f92a36adf","datavalue":{"value":{"entity-type":"item","numeric-id":820131,"id":"Q820131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$F5EE2C13-2C2C-46AA-AAA6-CDBCD6B715C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$1665F017-05F2-4AB3-9B9D-1E566802103D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820132$F1E5676E-6D25-45EA-8FB3-30F34AB9E769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f19be2fd34a95178641b512f47dcb8aa64650d8b","datavalue":{"value":"https://hal.inria.fr/inria-00000754/file/final.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q820132$8BCFE58F-41CF-4CD7-A671-9EC908589A44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$07B7FDF1-81FD-4BBC-8F99-E8EA0F132882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$2FCC7079-3EBD-4D0A-95F9-BAC9D2E5DCD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdb9f1461cca1e51b92e146f0f27a0d0e6540f62","datavalue":{"value":"5017462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$0CF77603-0CAB-405C-A307-7ECC82896F1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c57ff732728ea6d2a60df9656e6c5c470c086","datavalue":{"value":"mobile systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$6C225C4A-A151-4536-BCC3-BB9B25A26287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$EE331AA3-DEF1-4778-88ED-0171F1704F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$10AAA41F-2299-405E-A191-B56789D52A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$3D5607E3-CF06-43B0-BCDD-D20E6E116197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$461B8D1D-BE02-4442-B2CD-28F2B660999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$13CC3F83-9323-4F85-AE20-CE5433EE40FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$EE03D3A4-1A51-46B4-A685-1CF41265E326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fbe7ca371e25d3f993a0ba3a3d6db3eda3ee","datavalue":{"value":"system development","type":"string"},"datatype":"string"},"type":"statement","id":"Q820132$AC2E2285-17E6-45A9-8CF8-D2E94DD69194","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$99C4317C-A622-422A-9F28-D69BB676E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$C8378466-4D31-4B96-BC22-07579CC46978","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":"Q820132$C024C3E2-EFD3-44BC-AA7D-8CA84023C18D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f92f7eaf24ba28364fd0094a8cd64dce30a859b9","datavalue":{"value":"W2102932199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$457937F9-D43A-4F86-8170-93C1D5DE6F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$A8C08D2E-1526-470E-BB4A-254E7394F1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972fe49b573800d519da084adb808f30aa3f6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$1161DA95-1705-4D28-9392-0108C7A4AFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$55C22FAA-F43A-4B3E-9808-D3B8F18A6B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$93D1F394-4A43-4660-9D82-F2EBA9F8C833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fcbfd9e18468f9d25a2c764a625142e3afba83","datavalue":{"value":{"entity-type":"item","numeric-id":4413609,"id":"Q4413609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$E92E87D7-A3D9-4D83-98AD-CE037A2CEF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee2139784beb744ed920bc6de2d69d745825c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4522244,"id":"Q4522244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$C550E3F1-990E-41BC-B8DF-00703BB0A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$6E0723CC-3856-44CE-AEB3-9527BD6A4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$43860877-D974-4780-8DF7-495AEB951348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$7FEEBFC0-131F-47F3-9804-7A89886B6DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$5A7D263D-836A-481B-8448-FF84F461A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b227139edcde8ba98c5977b5b993c30a5f9faa71","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$9180906F-5659-4566-9224-CB452514B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e9fb473ae6446e0cbfed655d9b22d095e579d","datavalue":{"value":{"entity-type":"item","numeric-id":5464839,"id":"Q5464839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$EE9EA9FB-1985-4561-8CB7-F560E2DC6E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85f3b2c6fd462f50318a3cbee9f4fc649882604","datavalue":{"value":{"entity-type":"item","numeric-id":4493899,"id":"Q4493899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$B9EA89CF-0A8F-48FD-A9F4-44AD54E89577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$CCBA5A0E-08EF-4BB0-8AC2-2E40C59B9EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"966e93eef3166b36aa2534a030151537d7f0ff83","datavalue":{"value":{"entity-type":"item","numeric-id":2767185,"id":"Q2767185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$E30D0992-4431-43ED-A3F2-6361D2388775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$B5C012EB-A8E6-4F5A-8196-1E6456B7A0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24baab49dd51c95a260073241346d2f356d4c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":3410189,"id":"Q3410189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820132$6757F17A-B877-41BA-865E-07D22D3B7FE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"316682cb683e13f3aa5925dd5285efde1a9ff024","datavalue":{"value":"10.1016/J.TCS.2005.09.067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820132$10F01984-3286-41CA-80B8-938CD1F44E5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a8cbe2afe3ad85a2535a2b22950c5e013b811a","datavalue":{"value":{"entity-type":"item","numeric-id":3410189,"id":"Q3410189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd05a8175791456c105fdef3f0aeb4a7ec81bd02","datavalue":{"value":{"amount":"+0.8803802132606506","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":"Q820132$049DF4C9-1123-4C5A-8475-AB48612CA608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83d06686eaf3ee80356520481d837a18ace594f","datavalue":{"value":{"entity-type":"item","numeric-id":4417820,"id":"Q4417820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7414947cdcf9bd480ab090448f4766c5130ec00","datavalue":{"value":{"amount":"+0.8767457604408264","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":"Q820132$6D673936-F4F6-44D6-AA9A-6A5B19B5074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a49badc6c2c198641c1f33391ffcc6b31ccb5f","datavalue":{"value":{"entity-type":"item","numeric-id":5312986,"id":"Q5312986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca2e77dd991bb96773837b0f6bb543c6c3e46b6","datavalue":{"value":{"amount":"+0.8078344464302063","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":"Q820132$BC09A0EF-22AB-4CBC-9118-991B95B92721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4145d750169450c94df86bbddc880eda61db8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5709996,"id":"Q5709996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1195084c96379f4a349053651f4aa4625739e6","datavalue":{"value":{"amount":"+0.7556435465812683","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":"Q820132$D782E633-7EB0-4A42-B124-0799759181C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e53f9d4330d326d050bce7117ad7b00c4d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcafc2e3c1d33056db184f9fcb497b074ef6fd6","datavalue":{"value":{"amount":"+0.7504611015319824","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":"Q820132$F5EA6F53-EAA4-4407-8B1D-A68A673C9728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:820132","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:820132"}}}}}