{"entities":{"Q5394050":{"pageid":7423624,"ns":120,"title":"Item:Q5394050","lastrevid":40746376,"modified":"2025-04-04T13:26:18Z","type":"item","id":"Q5394050","labels":{"en":{"language":"en","value":"Applying Formal Methods: Testing, Performance, and M/E-Commerce"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066981"}},"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":"Q5394050$AE4D04E6-8395-4B99-AC78-0E2087168F49","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":"Q5394050$53A3E8F7-4525-4BEF-8D23-820F224A32C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ddef7bca2e5ccea2ce7273334a49e251914968c","datavalue":{"value":"1111.68511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394050$6A529A1B-2435-4572-8AF8-C78225FE9CE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de876e17cffa41c1a61541ef46defe01df488614","datavalue":{"value":{"entity-type":"item","numeric-id":1882803,"id":"Q1882803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394050$32EB9D9A-E21D-460A-923F-CA93C6D07E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394050$960773F7-5E71-4F39-9926-CDF5443154D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394050$05DCB064-CD96-42CD-A639-142109FE851F","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":"Q5394050$1F89F14B-A4A0-4F7C-AF04-60109B07986E","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":"Q5394050$832E8555-6009-4D12-AAE4-E7A2190C59E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394050$678800F0-B75A-4061-BCDF-9A5B8284450E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5662ec04bddea6c8db8b8c454d423d4fb129fbfe","datavalue":{"value":"5066981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394050$E2D7A8CF-0DFE-43AB-A9DF-B92D745ABB3D","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":"Q5394050$C4800EC1-23E3-4C15-9EF8-4D57DD681876","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":"Q5394050$9D7533B3-81E6-4F4A-B7D6-FB85ACFA5316","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c977876dcc26018997b233ec1074163679b8bdbf","datavalue":{"value":"W2497925506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394050$18DFF658-3264-4BEE-B786-30F8091CD88B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2855d534249a901b21b7afa9714f960648714c7","datavalue":{"value":"10.1007/B100825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394050$B86093DC-887B-4846-BC9E-F5C1A583F24D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2b770861c3d3f4be282f2914c6c4d581e2511a","datavalue":{"value":{"entity-type":"item","numeric-id":2368993,"id":"Q2368993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a703c027d5f1a17fdd22291cc00e42648a4b6278","datavalue":{"value":{"amount":"+0.94462895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$B9B2BFA2-DCB3-498F-9E93-5A6AC30C42CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5b223c1b87fda1da620bde189f692b515b7d43","datavalue":{"value":{"amount":"+0.9078391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$EF95DC5E-EDD0-44CE-966D-29851816F6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad2432244288313a894ee17cc37193992c15014","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf37870f92b3475b290fb4113b6f40246b429f6","datavalue":{"value":{"amount":"+0.9024502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$E97B9FC7-9FA5-410D-BB7C-9684AC57AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6aebcddd29533b2db84a12415f9ff59dec8565b","datavalue":{"value":{"entity-type":"item","numeric-id":5710652,"id":"Q5710652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42139e57e948fddc8952a17837a6c9e0f07abc1","datavalue":{"value":{"amount":"+0.90117574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$7BE605C7-64FD-4513-9646-16E1394D9432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188222fe8e7c1a625ec376c75529c1fb193f043","datavalue":{"value":{"entity-type":"item","numeric-id":1990523,"id":"Q1990523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de19682e487b9ab3d0130c9a6c6e8d189e8b3fb","datavalue":{"value":{"amount":"+0.8925487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$BB965216-ADDC-4584-9652-5AB2BB77D21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73374baa6b72c5548685afb86533a508fd57d07","datavalue":{"value":{"entity-type":"item","numeric-id":5170746,"id":"Q5170746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf075d757900e1c913ab55fbb0c290b90656f35c","datavalue":{"value":{"amount":"+0.8920811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$9A6B1091-8F3B-40BA-A58F-287B81999828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7e52f7631f64f0e70e1df7feb26b5e085d204b","datavalue":{"value":{"entity-type":"item","numeric-id":5021010,"id":"Q5021010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c69fb7da6d1379d6003391661313a8ac369bcbce","datavalue":{"value":{"amount":"+0.89129263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$80A4FECA-32F7-4DD6-9526-E8C653EBD178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecef4ffaee4f6e8520f06f30a3aafd4355cf4980","datavalue":{"value":{"amount":"+0.88897866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$E52C9B46-32DD-4801-A7D5-4D86F7804ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5015e991577fd428724d0bdcca8ef167835bdf1","datavalue":{"value":{"amount":"+0.8883013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394050$2BE1EE32-B7CB-475A-AA51-D2629175A748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394050"}}}}}