{"entities":{"Q5394045":{"pageid":7423619,"ns":120,"title":"Item:Q5394045","lastrevid":41893346,"modified":"2025-05-09T12:07:20Z","type":"item","id":"Q5394045","labels":{"en":{"language":"en","value":"Applying Formal Methods: Testing, Performance, and M/E-Commerce"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066962"}},"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":"Q5394045$F86D3635-E1BA-44B4-A9B4-0DDABFBE3C28","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":"Q5394045$9964E0C0-AB50-4EC3-9A5C-6ED578F692D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b95326203ef8d32297ab88a73de66a8240b26b00","datavalue":{"value":"1111.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$3511B94D-7533-451A-B2A3-78CD038D44F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb283a81ae4462c60e30e71f602a41d326189d9","datavalue":{"value":{"entity-type":"item","numeric-id":2765675,"id":"Q2765675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394045$B1EE4667-9BE4-4DC5-9DDB-F1E0C81D0091","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":"Q5394045$E48F5C9B-45A2-465F-9EDE-A1D2A3411106","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":"Q5394045$21E34E75-B075-4C95-B43B-CF14CC111387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$0D91E20B-3510-4781-869B-DD09B57360B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$3919673F-356F-44B1-8339-A40504FD31CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1546e55d7d5633fd53c6fa97437df33f653e0309","datavalue":{"value":"5066962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$7B55F7C3-0210-4307-AEFF-B64B01F64AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e45a90b003d9062eae5d493d5b40987b5883b6f6","datavalue":{"value":"Block multithreading","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$B62E01DB-353C-4E92-95E1-070308DAA095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a07fb4a80e5df63bf93f3f62a172515fa19af3","datavalue":{"value":"instruction issuing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$E6D07750-5FA9-486B-9222-50A448A2E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e95b4f48aa3500dcc71aba776ab590c043acd5a","datavalue":{"value":"pipelined processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$4A9C26B2-50D5-4422-A0D8-692A419CBE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3641d67aa9409aec2cfd3ec34bf67677960d72c4","datavalue":{"value":"timed Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$8619F804-784C-4E22-81C6-6E66CF56FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e2522be9551d10b087fdba2d198c51773b780","datavalue":{"value":"performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$29DA812F-C2EB-4980-9FD6-8B0444CB8514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab1817bf9033a5c15df4a1a5cb74efc93aabd48","datavalue":{"value":"event-driven simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5394045$EFC3656B-673D-4E39-9FD8-A0C12B311D9E","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":"Q5394045$9F030E8F-8E4E-4F50-9C43-782FF25A3409","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":"Q5394045$B09D8331-6A9B-4F32-95B9-6977FE75BF8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c977876dcc26018997b233ec1074163679b8bdbf","datavalue":{"value":"W2497925506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$1C5F0358-3E74-4C53-BCCC-27CF91346075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2855d534249a901b21b7afa9714f960648714c7","datavalue":{"value":"10.1007/B100825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394045$1DC5EA2C-A12B-431A-AFF3-2DDC738ED784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9f2fbff67d035b2ca8db43ef73b982e937e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":934722,"id":"Q934722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b61717c3d4b772202bca64cd3e7d99dde81130","datavalue":{"value":{"amount":"+0.8636055","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":"Q5394045$AA97C46E-99F6-4B40-8EF0-F16E3B096886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ac28d1c121d9d8674ac8d133a54a8899ad3eea","datavalue":{"value":{"entity-type":"item","numeric-id":4725730,"id":"Q4725730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d62b1540f8c9aec1e1dc98a85c20cb7884caa34","datavalue":{"value":{"amount":"+0.86301816","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":"Q5394045$3737A020-138F-4D07-80D7-9D9AE0AA10CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7daee8bb4ebc489851b32d494af8eee9b33863","datavalue":{"value":{"entity-type":"item","numeric-id":5315362,"id":"Q5315362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9230ce8cfe2007679c99bea1bafe04247baa674","datavalue":{"value":{"amount":"+0.8602096","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":"Q5394045$83E5C545-85F9-4249-8556-B61BD2093551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee30c5f002513d52bf5c482387c6dfee64e8419","datavalue":{"value":{"entity-type":"item","numeric-id":4547956,"id":"Q4547956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db681ec156946ad1a570d3447b94f85216952863","datavalue":{"value":{"amount":"+0.85399526","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":"Q5394045$0558E599-B948-4C70-BA75-05F7584095DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8cd8f566e809b0d239f9b1fff633a9640314da","datavalue":{"value":{"entity-type":"item","numeric-id":3612497,"id":"Q3612497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8edd13fed0da259be617877bef2471cfdfd14b1","datavalue":{"value":{"amount":"+0.85285497","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":"Q5394045$5623AA74-82EB-4FA5-A70F-FC6755A4A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d181d9c4ada1bb0deb2bdae95bc7db6427588719","datavalue":{"value":{"entity-type":"item","numeric-id":5268310,"id":"Q5268310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca31c8c023f853cd0a7b6539a4262aa19cffad6e","datavalue":{"value":{"amount":"+0.8484256","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":"Q5394045$023FEAE9-2815-43FF-BEC4-0C44974536C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba02f7c37b820f213cd426cf04abb2532d0528d6","datavalue":{"value":{"entity-type":"item","numeric-id":4520842,"id":"Q4520842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d2045b256f44d45ba27e0175a3e5f551b2bd12","datavalue":{"value":{"amount":"+0.84741485","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":"Q5394045$848F0B90-575C-4380-BB49-E1BF6F65A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207fc26789e65b18874145e9467e94f580f1f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee9967852211751d1358acd9a75cab370cbd99b","datavalue":{"value":{"amount":"+0.8469308","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":"Q5394045$2F3A3224-636D-4B97-A3A4-C06D9409B885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394045"}}}}}