{"entities":{"Q3458151":{"pageid":5237551,"ns":120,"title":"Item:Q3458151","lastrevid":46547598,"modified":"2025-12-25T00:26:54Z","type":"item","id":"Q3458151","labels":{"en":{"language":"en","value":"Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6518021"}},"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":"Q3458151$43024C64-FD18-43DC-A247-238DE1BC975A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb51c0e75525da415b354d35a54becb77df5ac13","datavalue":{"value":{"text":"Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3458151$FC5C36A4-BDC4-427F-8CD9-75EF7620040D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04c7db7edc8258035eba370b3dcdb9d436d8e5ec","datavalue":{"value":"1452.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458151$FCF2AF23-F783-44BD-A39D-D7FF91BD2FBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30307f0af86f4dcd44c80d2b07a81bd00813ca6","datavalue":{"value":"10.1007/978-3-642-36008-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458151$5E57AB42-8F15-4626-8A4D-B0F23DEB4B4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95e580b5e1968a2effae1f2172a46e86b1fe3e1b","datavalue":{"value":{"entity-type":"item","numeric-id":1401156,"id":"Q1401156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$6851B275-3106-4A4E-A9CF-CD35089D44D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"71300883126201e7cf968d8bd8aa443dab6814b9","datavalue":{"value":{"entity-type":"item","numeric-id":3092319,"id":"Q3092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$FA1C9408-3FBE-455B-AB71-0C5F6A5E72AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55afd84e834d230d3852aaa2c2d1c30ae006c32","datavalue":{"value":{"time":"+2015-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3458151$9E067E5F-C789-4536-9EBB-59B927C8F101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458151$1A159595-1ED6-473A-9A21-E64138576546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bafa08f31a59994c3aa7db2266a57e6490654709","datavalue":{"value":"6518021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458151$B8FD416F-44BD-4BD7-8DF2-34305B6A6E1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e512dc39995f2ce968725461f7500073f6e4eef","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$75BD6801-3512-4031-B7F3-3603844D7F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139f9ce8838aba574d1617e4abe2c26cb2f228e6","datavalue":{"value":{"entity-type":"item","numeric-id":20925,"id":"Q20925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$60DF8ABE-5865-4EDD-9099-975FAE1A9AB8","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":"Q3458151$2571A9EE-5588-4C4E-9584-EA6F451C5A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ccc53f39b47d37b8e8ab821be0d2325041e69cf","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36008-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3458151$34A52AD2-FB84-4432-830F-FB10835C61DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8df4a8ad2e6d80c2a5c692550d0ad9515c73971b","datavalue":{"value":"W2229099388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458151$129C7712-EB3E-4237-81A8-AAF41FFC8F12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$804FE205-49BF-4549-BB92-D882C980DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a209b0f9850774c0668a8a6baa41002bed7570","datavalue":{"value":{"entity-type":"item","numeric-id":439957,"id":"Q439957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$E75279B0-ECB7-4CD0-A021-F2831A3ED5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$C3408FE5-1CFD-4C06-BAD0-224384C08376","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":"Q3458151$8638A663-4547-4B17-9C13-16961B6EB7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545a5b49db03c684b89c3a6924f7bd6ad075e285","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$CB48FC58-BF70-479E-8946-349F6B0D932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$115DA404-5A4A-414D-84F1-16CF0051DEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc12cdf250d6ce6c82e9504d13ccc5b58f7168e","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458151$88973EEE-36FE-4B7F-BE4A-A62430C0CCFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5743fc1b7dc91bcfdf9af590ce5515d5173c15","datavalue":{"value":{"entity-type":"item","numeric-id":2769429,"id":"Q2769429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fe1c188f1a0aca436df7894b0631be0f92b4d7","datavalue":{"value":{"amount":"+0.87561315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$CC0E8775-866A-48BC-B988-BA3A0246B9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2434cb14887deea5486bcc75498553508ac9097f","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9bd8fb3c83c643c340aedfb9d3ff3102484317","datavalue":{"value":{"amount":"+0.8751432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$ECEC9145-923A-43E7-BD3B-93CDCEBE1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20bb9aac8ad49577c87818ad5c0ecd98f66815e4","datavalue":{"value":{"entity-type":"item","numeric-id":2841277,"id":"Q2841277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf80f7c8e5f1842eff346d1e1636f493dc1d7c4","datavalue":{"value":{"amount":"+0.86680496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$946E6B6A-F7C5-4752-87F4-C2859DCA82ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251f20b556af2de2dca9c4ed82d006fa3b3a3029","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c6291db3af1a1a1a1698527ca8f95515529c9b","datavalue":{"value":{"amount":"+0.8614558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$B3A7586D-C6EB-4A85-8785-262D15B80B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4f1f41a07946928707d3fa15873c3876eb04e","datavalue":{"value":{"entity-type":"item","numeric-id":3517640,"id":"Q3517640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b17e7428468a45b0fc05e086d29d98c415b9ec9","datavalue":{"value":{"amount":"+0.85268044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$19E3AAF7-6BA3-4690-ABB7-A08E0271BADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41df7e46fffdcea683d3997afe4bd601b9ee1104","datavalue":{"value":{"entity-type":"item","numeric-id":4737001,"id":"Q4737001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eccb73d3afde8c45fa0a131ffcc714abb6a465c","datavalue":{"value":{"amount":"+0.8505135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$6995DC0B-50A6-4C75-B736-1FC785F9EF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15da2b04d2f3b2272e9a4022da8cfa9d5aff953","datavalue":{"value":{"entity-type":"item","numeric-id":4738174,"id":"Q4738174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abab6e2ed8bce920b87b9c73d880eb516712a6bd","datavalue":{"value":{"amount":"+0.850284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$093679A7-673A-42B5-ABA2-E7B64B3728A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78546a50215247a5a4fe01be782a8fd85d785747","datavalue":{"value":{"entity-type":"item","numeric-id":439957,"id":"Q439957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084cf1e4abccdd66e62c37a22ff98166e0e39630","datavalue":{"value":{"amount":"+0.8499336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$EFA8EAD4-AB79-4486-83D9-C875B5E5DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3094391464ead8c68bb7b19315c2e942e3a199","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55aa6fc78e23d299cbdaed7a5751c3117f96e5bb","datavalue":{"value":{"amount":"+0.84663427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3458151$26EC2747-9F9D-46BC-91E5-2ED9D4F969FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3458151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3458151"}}}}}