{"entities":{"Q2851899":{"pageid":2862619,"ns":120,"title":"Item:Q2851899","lastrevid":44704671,"modified":"2025-11-25T07:44:04Z","type":"item","id":"Q2851899","labels":{"en":{"language":"en","value":"Advances in Quantitative Verification for Ubiquitous Computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213536"}},"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":"Q2851899$3AE8A2B6-4E72-4EF4-83FB-EFB9D2BB9F7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d47da4751d89d12c1dadaf5cdd703d62d7915f89","datavalue":{"value":{"text":"Advances in Quantitative Verification for Ubiquitous Computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851899$245C2911-1959-4056-9C18-5216C2284A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffaa854ddaf8fff69586e0d09646a5a03bac6105","datavalue":{"value":"1405.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$1D2050ED-B4C2-46D0-A2C6-68869A57A550","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d64dbd9cb7ab56faaba08290f8d96d37074ddf","datavalue":{"value":"10.1007/978-3-642-39718-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$ED1ADFDC-838A-4643-AB74-06692C533EAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851899$1A1A072C-F740-40B6-8DD3-362FA4891D3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851899$0058F432-F7C7-4A5D-B6D1-F307349033BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851899$95B8645C-9CAA-44C6-960F-62FFE79CCA4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$F3C97CBC-D572-48EB-B21C-E277875BAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$6E398D95-D3A8-4889-8D0A-76DE24EABD4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d1cad26aa0bfc47bab02034ef1c412fe5d9470","datavalue":{"value":"6213536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$8B584D6A-EE5C-4A0E-AC81-128B2E884BA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851899$C33BB60A-7D9F-403A-AD8E-AFA5FDE3E20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3eca1eeee09e36f31c0ae58d124cbf2f784cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":14569,"id":"Q14569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851899$173B779A-2A93-40E2-A5A0-9C9FE932219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851899$39CB12D5-97DE-461B-BBA5-7057F8622E48","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":"Q2851899$B9F35EAB-3431-43FA-BC29-0527E6CF4CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a73c5703c93a55de8e92167edf530ce2a013aa08","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39718-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851899$EAF0C0E7-356C-4BC1-AE3F-BFD5D436A7EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12953571fd0a8b2e281637980d0faea4b397c005","datavalue":{"value":"W121778973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$8F6A3DA5-5E89-414F-B3F6-DFC95391AC69","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4d92ae84ae6ce3ecff72a112ceeb03d7b080cc30","datavalue":{"value":"Q112268318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851899$F97DE72A-CF04-4BBB-8CD0-5C799979AB8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afcdf1c63fe967a49023340bae7bc23892f419","datavalue":{"value":{"entity-type":"item","numeric-id":3000641,"id":"Q3000641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c4bf450b51a10ce89c2e14b29a720e5bc30d28","datavalue":{"value":{"amount":"+0.85611016","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":"Q2851899$C13F4F5B-6BCD-4365-A885-B78713BCC870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9662436ddba986dbfe8fb88fc949db265075c573","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8f6cfb5164229e6a82c921f5a42fba32daff8c","datavalue":{"value":{"amount":"+0.84349203","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":"Q2851899$E6E9235E-6AE7-45B8-A44D-88267703D9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591ac4a8d4b0878f238200fca32c45f537588abc","datavalue":{"value":{"entity-type":"item","numeric-id":2351144,"id":"Q2351144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d913bf782b0dd8cb17a175be6c5ad21559cb9982","datavalue":{"value":{"amount":"+0.83986956","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":"Q2851899$AE6DEAA1-3D80-4B54-AEDD-2A77EFED0A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caf40db68103c262833f62be7ca42a57b29a425","datavalue":{"value":{"entity-type":"item","numeric-id":5900561,"id":"Q5900561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca5cff13f31c358fdab895f150a4356dd396088","datavalue":{"value":{"amount":"+0.8332305","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":"Q2851899$1E6AC389-DAE7-4CC5-B266-9F9086AECF28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851899"}}}}}