{"entities":{"Q5394041":{"pageid":7423615,"ns":120,"title":"Item:Q5394041","lastrevid":49951792,"modified":"2026-01-12T06:30:16Z","type":"item","id":"Q5394041","labels":{"en":{"language":"en","value":"Applying Formal Methods: Testing, Performance, and M/E-Commerce"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066958"}},"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":"Q5394041$FA1C57EB-576E-407C-BF75-0523DB02A1C0","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":"Q5394041$2FB9DFF1-B0C6-4263-82FF-C6D59C8B4A21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beff13006e33c94d11f5fbdff524326e1e2a226d","datavalue":{"value":"1111.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394041$BC758331-02A5-486E-80EA-E8972289D48F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f389582119b3c4a7d787c041b86bbb2d9642ed","datavalue":{"value":{"entity-type":"item","numeric-id":2851077,"id":"Q2851077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394041$CE83E5F7-C236-4326-9592-AFC4F3AF151F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394041$22170329-17D4-4F3D-85FD-369AB45BAE31","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":"Q5394041$4BC425FC-C705-4208-AEA2-F74BED8C6E1E","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":"Q5394041$FD82502B-21BA-4859-94E5-F33F1E85C663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394041$AE69289F-6EA3-459A-AB61-E840CE23F1EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb2bd4f83a35636ae2e0d7ce1346612fba20bbf3","datavalue":{"value":"5066958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394041$75452470-1CE6-49EA-B2F0-0D5B59D2A263","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394041$999CC212-C4FF-45A1-8B10-10A532D03469","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":"Q5394041$2780E059-566A-4D67-87F6-6F42E7C824CE","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":"Q5394041$D6A326BE-C154-4604-9FF7-591AB1DA164A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c977876dcc26018997b233ec1074163679b8bdbf","datavalue":{"value":"W2497925506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394041$630DBE18-3CF2-4372-9721-CE04A8C16A00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2855d534249a901b21b7afa9714f960648714c7","datavalue":{"value":"10.1007/B100825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394041$142A176B-5172-4879-ADF1-F0A5E36F089B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb12575bfd16623ae8de044dc80e9d5c1de52eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5919286,"id":"Q5919286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cfd2d9c9247b9b244cd7c9306a35a647488c79","datavalue":{"value":{"amount":"+0.850909948348999","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":"Q5394041$FB618E0C-D028-42CD-95AE-09D6E34E1E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf19aa906a2ab7af9b901503ffc75e07f8efb48d","datavalue":{"value":{"entity-type":"item","numeric-id":5919051,"id":"Q5919051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8691a57d4f2bcb1fd0926743db1bef1850eae5","datavalue":{"value":{"amount":"+0.8212969899177551","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":"Q5394041$00E1C76B-CE86-4909-9558-F57FAA70F9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61832110239ed7373c308c3d0562a9d33ee6400f","datavalue":{"value":{"entity-type":"item","numeric-id":3557065,"id":"Q3557065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2587d32d7149da545afd1cd9371e4c56de9a0bc","datavalue":{"value":{"amount":"+0.8145484328269958","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":"Q5394041$E0F64191-8199-4643-88C7-B9C419A7E0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da0359a810b3448cad24a71908d2fe4a84edea4","datavalue":{"value":{"entity-type":"item","numeric-id":5900585,"id":"Q5900585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2ca3c3e51e335a97fc4100f73f9fc3d6966f80","datavalue":{"value":{"amount":"+0.8112260699272156","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":"Q5394041$C24004B1-1738-41C2-88C5-DAD1CAE673ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6ab7e44784070caeabf73f4cfd288d0031ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2842864,"id":"Q2842864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc83dbc6f17dd903c3ba150380d57ebde0cbd99c","datavalue":{"value":{"amount":"+0.8079631924629211","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":"Q5394041$98C78EE6-885A-40B8-9095-E569179C72A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394041"}}}}}