{"entities":{"Q5394040":{"pageid":7423614,"ns":120,"title":"Item:Q5394040","lastrevid":41893391,"modified":"2025-05-09T12:07:21Z","type":"item","id":"Q5394040","labels":{"en":{"language":"en","value":"Applying Formal Methods: Testing, Performance, and M/E-Commerce"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066957"}},"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":"Q5394040$2B633F8C-15C6-45D7-803B-9B740147D39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd9eab78100e2970b56247d0d9a143042a4ef3f","datavalue":{"value":{"text":"Applying Formal Methods: Testing, Performance, and M/E-Commerce","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5394040$16A96059-978F-4D86-AF7C-E7ABD810176D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba96d2ed069ba96f8b6dd1be4886d5f2087d45c5","datavalue":{"value":"1111.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394040$E039FC48-A751-4FC9-B8BB-A3983CF70520","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab301054de496ca3701273fd1cf1f1a4db50dc15","datavalue":{"value":{"entity-type":"item","numeric-id":1014565,"id":"Q1014565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394040$A3CF33FB-AE85-4F0F-8083-CE2EE91C2E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baeac018e2e91711dbeb7909f4f10fc4967a7240","datavalue":{"value":{"entity-type":"item","numeric-id":1014566,"id":"Q1014566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394040$35506FC2-C769-4B45-BDAF-6CF13E4BB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3cf3b62d4eb297329967a86da54bd015bf32a0","datavalue":{"value":{"entity-type":"item","numeric-id":557804,"id":"Q557804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394040$5308DB7C-7281-4528-B080-E48A9294E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a7df7c91db42689c00ad9f400324d9b27cec77","datavalue":{"value":{"entity-type":"item","numeric-id":436359,"id":"Q436359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394040$80AB6F20-1407-44F7-A649-F41CBAF35ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3214a89553dc064e5abd869148480fb96e64691","datavalue":{"value":{"entity-type":"item","numeric-id":1014567,"id":"Q1014567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394040$5C92153F-1F99-4B6E-A566-2225C3BB6462","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":"Q5394040$9DDDA9F1-44FD-4D44-8DF6-83157809F1FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394040$352EE65E-46BC-45FF-99AC-6C2FFAC3BE3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394040$E118377A-3D77-478A-AB5F-2C45ABFBA8CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d789b03e7fb48a6025e781bce71db88d3f20057","datavalue":{"value":"5066957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394040$5BE5D1D6-9DD5-47A9-8C99-170E33CAF0F4","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":"Q5394040$5E5063FF-C4F8-4C83-B797-A38FE548CF05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040106ace93e4399c912d6be866ce7d02ba963f6","datavalue":{"value":"https://doi.org/10.1007/b100825","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394040$381DE565-DA81-4888-9B6D-EB541CD836BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c977876dcc26018997b233ec1074163679b8bdbf","datavalue":{"value":"W2497925506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394040$8786908B-317E-4E7C-B553-279782456B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2855d534249a901b21b7afa9714f960648714c7","datavalue":{"value":"10.1007/B100825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394040$D836201E-CEAA-4207-ABD8-4B7FD16A112F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39cd534440fe24d9c83980f8e37d822a3ddedd3","datavalue":{"value":{"entity-type":"item","numeric-id":1275822,"id":"Q1275822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d31d33baeec73a94a7ce5072a8bd53a4c10992","datavalue":{"value":{"amount":"+0.9121462","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":"Q5394040$607516F8-DA8F-4A47-AB8A-AE6F215D44DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324cc02b9fe4e580b4a37ab5cbaf6e2c75e9fef2","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eac5f2b7d094778e0ec6fdc18824689b8595953","datavalue":{"value":{"amount":"+0.9017551","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":"Q5394040$EE1EA0EC-6AA1-454F-B78D-F716ADAD7362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8a096f88206986f784f2f7dceb222d276139d5","datavalue":{"value":{"entity-type":"item","numeric-id":3413692,"id":"Q3413692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261837fd21e48867396cf5d0a5b19b466f793949","datavalue":{"value":{"amount":"+0.8745111","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":"Q5394040$AADC6167-1715-47B0-B496-5ED3073F5D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f500e397b635eafef32a2dc147dbab4e4262bc","datavalue":{"value":{"entity-type":"item","numeric-id":5431340,"id":"Q5431340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af88754d521f9ab6bffc2926396d599caca04aa","datavalue":{"value":{"amount":"+0.8745002","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":"Q5394040$31FEDC39-BD1C-4C41-B8FA-6214D1A66205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b2e02e79084d144e35b596a0ad0d29ba1e45c2","datavalue":{"value":{"entity-type":"item","numeric-id":3642523,"id":"Q3642523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1788eefa3dd61ad003d33d5d4694f8658fc6a90","datavalue":{"value":{"amount":"+0.87199676","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":"Q5394040$F2DC60DD-B2E1-413A-BA51-3C729A2CA05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0a2c1bd02922c32b1e4e1c4316be450df3f0fa","datavalue":{"value":{"entity-type":"item","numeric-id":300304,"id":"Q300304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ff1bcdd333cee0584869ae8149ebbe380391db","datavalue":{"value":{"amount":"+0.87192327","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":"Q5394040$BAE13BC9-6A90-4782-B820-FC94FB1FCF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f699caaa5adb6f24d9506bfdec9c5de10359de","datavalue":{"value":{"entity-type":"item","numeric-id":2956720,"id":"Q2956720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2dd9370ac0611f93e105da303ff0c4ea14544f","datavalue":{"value":{"amount":"+0.871853","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":"Q5394040$A090C4DE-9F22-4163-8B00-9A2D877B5640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781dcbe6737294de95dfe2e28ccf1ab07c8f110f","datavalue":{"value":{"entity-type":"item","numeric-id":2844829,"id":"Q2844829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3019db325840e9668dce7d95111c9505e24147f","datavalue":{"value":{"amount":"+0.869094","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":"Q5394040$776DC4CC-0097-4382-BC07-C91AD6FC3BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d8a3796364b06cc4a9792b563c40cda0fc2071","datavalue":{"value":{"entity-type":"item","numeric-id":1179704,"id":"Q1179704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8031b73a10df7da65afd72f35e219283cf2bea30","datavalue":{"value":{"amount":"+0.8690297","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":"Q5394040$93116A9C-9677-4296-A917-BD0E23A4C1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03874777cd0b4dee2058239dd2d10406d5b9f6c","datavalue":{"value":{"entity-type":"item","numeric-id":875955,"id":"Q875955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004c4b6f06460e9004a65488200fb0e40da981ca","datavalue":{"value":{"amount":"+0.8637297","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":"Q5394040$792E6F5F-2A24-45ED-B54B-2352DDE3848B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394040"}}}}}