{"entities":{"Q3510809":{"pageid":5540713,"ns":120,"title":"Item:Q3510809","lastrevid":88438325,"modified":"2026-06-04T14:31:28Z","type":"item","id":"Q3510809","labels":{"en":{"language":"en","value":"A Formal Methodology to Test Complex Heterogeneous Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297051"}},"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":"Q3510809$C511C554-114F-4A5D-B648-F0A2F58A3973","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39bf8a05ee4d3b48f98bdfee9fdb646dba338c75","datavalue":{"value":{"text":"A Formal Methodology to Test Complex Heterogeneous Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510809$41D6864D-8538-4EEC-B3F8-ED25FE696D6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af83bfc8548920b1bdaff4b11d838c50720b97b0","datavalue":{"value":"1141.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510809$402C1A08-EAFD-4710-BDD2-2211A67CDAF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7646e783df6a7a857e1762ecfb67bd9dac90420","datavalue":{"value":"10.1007/978-3-540-75596-8_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510809$DE48918E-FB1C-48EA-9547-FD6FD377AD9E","rank":"normal"}],"P16":[{"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":"Q3510809$5A8AD821-F118-4D41-8AA4-3C1697198AC5","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":"Q3510809$EB7ABE98-A13E-4E5E-9A68-180B39B009DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510809$31B08F5D-95BE-4620-B3DA-F6B0B3AB9E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510809$395EADFF-72FA-456D-BE4C-5AD6C243ECAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510809$45A4B8EA-84BC-4381-A1EB-22ED560F98F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41907d73a8f383807ea02e2fee1f2ddffc2ae6f6","datavalue":{"value":"5297051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510809$EC3CDB7C-D716-4743-B1E6-F3DB2503052E","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":"Q3510809$AB5E18F1-A808-4545-84D4-CF51FC8F65A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"499ab24b75529d021503120bef9efb123edc8776","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510809$BEFD1E63-E23A-4FF8-B446-76CCE7A9EA55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d160d377a5a0e56c4cdd880ccbb79df0d0528055","datavalue":{"value":"W1540817362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510809$A0B9D295-F194-423E-99DD-D7FF16C0FBCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510809$9F17459E-2A2B-419C-8453-F12355BB3909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88634057391c15bdf90f5f3e64269fb32b047644","datavalue":{"value":{"entity-type":"item","numeric-id":4532084,"id":"Q4532084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510809$62097BB3-06B9-49A6-908D-F1377F73EB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e833fc96a693592cf8f1926ef18c20a0e7d52c","datavalue":{"value":{"entity-type":"item","numeric-id":3434651,"id":"Q3434651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510809$8A5CA830-9231-4B6B-92F2-E74CDA252E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f0138b74842f30b947a85826312269b896e88b","datavalue":{"value":{"entity-type":"item","numeric-id":2469152,"id":"Q2469152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510809$1F0BE6D8-EFD4-4027-818C-16E170C3A65F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0ee4475975a7f2a3004a6da5891e411b2937f3","datavalue":{"value":{"entity-type":"item","numeric-id":3585052,"id":"Q3585052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3da80c8b9120c3ce2def672b5cf6bf28351d7c6","datavalue":{"value":{"amount":"+0.712902307510376","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":"Q3510809$A8753AAE-531E-4788-A39C-CC8605E93B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef0781701ce2427796e2a01542d8b7121577352","datavalue":{"value":{"entity-type":"item","numeric-id":714878,"id":"Q714878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9740f9ce10b7978aaffdf3bd7b494affeb1404d2","datavalue":{"value":{"amount":"+0.7042026519775391","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":"Q3510809$02E6E04C-1F15-4D76-AC3E-C94CAAB4E3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33119db50159d00177158a94ed6e9b147547b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c350b4b1dcd3b942b962e7fa2a2469613f1ebe3","datavalue":{"value":{"amount":"+0.7029454112052917","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":"Q3510809$423A09D9-3FBA-4F9C-BA83-268E300DFEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71b23a03c9187ee2e11117d2970a6cc44030d35","datavalue":{"value":{"entity-type":"item","numeric-id":3434651,"id":"Q3434651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f581e945e50ceb62f55ea368b40dc17a56496b","datavalue":{"value":{"amount":"+0.6968528032302856","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":"Q3510809$326EF812-C07B-4399-A8B8-5B71F83D2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851ef1a265090c274ce56657fd992d01b96d0f45","datavalue":{"value":{"entity-type":"item","numeric-id":2921785,"id":"Q2921785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2505360d4002a1952c95e55f052bdc8c96171ee","datavalue":{"value":{"amount":"+0.6936379671096802","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":"Q3510809$39E04664-AC61-4C42-AF46-3A9C5D333EBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Methodology to Test Complex Heterogeneous Systems","badges":[]}}}}}