{"entities":{"Q714878":{"pageid":716727,"ns":120,"title":"Item:Q714878","lastrevid":63830025,"modified":"2026-04-11T15:50:16Z","type":"item","id":"Q714878","labels":{"en":{"language":"en","value":"A formal abstract framework for modelling and testing complex software systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093073"}},"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":"Q714878$A7073D87-44B0-4A80-8392-F99D6EFD3B14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8af342f382798bd68301ba2bc9ee2cc8a68e8288","datavalue":{"value":{"text":"A formal abstract framework for modelling and testing complex software systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714878$DA1E02DE-AC00-4688-820B-5A63F63CDEB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6104457b22dbdf0bb254af3a9f92ae055bc99622","datavalue":{"value":"1279.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$B8A43E6E-9DED-4165-B6F3-AC0286148D13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$9114A179-F39D-4B4C-9D1C-3B49F0C03D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"963fc60ff0d99567ed296a663a4b1e7de0ea8d7b","datavalue":{"value":{"entity-type":"item","numeric-id":263273,"id":"Q263273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$0DBAFF85-2D9C-4140-887B-A81C55C51C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4661335319916222e2ba9ccae10ac5dea641a22","datavalue":{"value":{"entity-type":"item","numeric-id":493530,"id":"Q493530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$5CEEA276-DE0B-4CFB-A9A4-93638A884917","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$35A2CC2F-A320-4A01-8BA0-4ACFAA1370B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714878$251042B9-4BF0-425A-831F-4E8412FD063F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$EF9E4E9A-2509-4141-B7E2-ED48D95F2839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$31454E18-214E-4D8D-87F6-33C72B484CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$D8148932-C174-4B55-84EA-FCA8C099A407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad3ea4b087ced6cfa2841b91a7ba55d109f1f58f","datavalue":{"value":"6093073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$9BE08A30-33F4-4C63-8B51-F10C8C0AE6B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c311442202270cc25dcdd6a89107fb3c8313f3e9","datavalue":{"value":"component based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$BAB05091-1EF5-46DE-9AB1-E2144BE03F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9025e32f73ae84c073ed0a0f8d45777788c648","datavalue":{"value":"integration operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$A20DCE08-A492-4FB1-BF89-917579D4A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$F2C9F4C1-98E2-409C-92C3-0954DD17C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b4d7da64ea9538f685b7151085fcab43138f2e","datavalue":{"value":"transfer function","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$8C8C620C-1583-4D5E-8D2F-F5474BA66172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9bfd299c5385a39aa4b56514c2382a2243ee25c","datavalue":{"value":"compositional testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$BB0FE731-E541-4911-9E90-1346FCD2E0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$F73EEAF7-E553-4BE4-802B-465BAA74D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$4A2E30A7-07CB-4C91-B966-E5EEE8B91B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q714878$07B4A762-E372-4AB2-8F80-8E7BDC127CD7","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":"Q714878$EB52EAE0-A243-4438-9389-BEA79B2441B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d83303071398b453bb2b11fdf467fa843a9f5a15","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.12.072","type":"string"},"datatype":"url"},"type":"statement","id":"Q714878$3C9BCCD6-F41A-48AD-9601-C6EF8FE128FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"437bb8e36cc980f1e6dece751420047dc8e8d9fe","datavalue":{"value":"W2150690459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$B5F356E4-8B36-4FB3-851C-0CE2EC4A1869","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"614cce1960793c36892a48dc5fc03b59762ec351","datavalue":{"value":{"entity-type":"item","numeric-id":3585052,"id":"Q3585052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$79FAA9C4-BDFF-4CB1-8A32-49978737FFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eab2ed488de96bf76f6539a8e3b18fcdf14567f","datavalue":{"value":{"entity-type":"item","numeric-id":820141,"id":"Q820141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$E0AC34D2-6459-41AA-9E96-A4F6B518E278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$8B353F21-8AF6-4066-97B5-74AEB0D97F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$BF19ED66-5FCE-42EB-8ED5-0272784A2CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0f2a7b7cc770eb08cd20f5efe2bab0f068d047","datavalue":{"value":{"entity-type":"item","numeric-id":5703771,"id":"Q5703771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$F8707327-B761-47E0-A0EF-B1C996873A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f82a7e29b284743d857ce4542a46bcc019f991","datavalue":{"value":{"entity-type":"item","numeric-id":2863892,"id":"Q2863892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$9E105F6E-1444-441C-B012-EA61E46CC591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$9DF3BD1F-42C3-4191-B524-998B374DA1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7db0a5fcbed8b8baae00bdaa9b5288b1ebbeb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$85CE83D4-7284-4034-8291-14CA73E46800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$4BC5A680-62F3-4459-B223-A173A6A0EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$2801DE90-0C36-4E93-A522-A585E127DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$12F40905-D2F7-4582-9E8F-3B5806A77179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$866EECC5-F7EB-4E1E-B491-8438F6285355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$A77D38B7-D273-43DA-9C39-C470DFC5D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55751d39474f8b9d5110f063d1a573ceab3ef960","datavalue":{"value":{"entity-type":"item","numeric-id":4400449,"id":"Q4400449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$84E734A6-E119-4CF2-A9D0-A740601694CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$460F587A-14C1-4174-9556-B8DB4847E477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$67C48CF6-E8AA-4BA3-8B5A-CC0484096541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$51165AC1-CDE9-43E6-9FB2-C3793682CEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$200767DC-7AEB-4EE7-8AA1-E1CE7BDB8B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b790ceb41ada272b73fbd18d4393f2e85b19c282","datavalue":{"value":{"entity-type":"item","numeric-id":5710653,"id":"Q5710653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$70A940DA-9EF9-44F9-954A-11878D1EA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a4c84872e4e75bad42320920b7bb1025013f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5505607,"id":"Q5505607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$4A9D2C4A-266E-47CB-AD02-4544C0895A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$918A7F84-BAC8-48ED-AC3A-0821F7833D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1759b6bdaa7979dabf0c72642cd19ecf5bfefe61","datavalue":{"value":{"entity-type":"item","numeric-id":2849889,"id":"Q2849889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$68438A38-A467-4B2D-8057-150B37CF6231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f10fa435f4a4c7f6d374cd7641ac4079962fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5458363,"id":"Q5458363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$2A7F3CCE-1E1E-49AD-988E-9EB336B4ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d35b9609f736c285757f54850d7660b274451","datavalue":{"value":{"entity-type":"item","numeric-id":2888477,"id":"Q2888477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$5123E9E2-ABDE-4A94-8D8A-276A4DDC09B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53437323a70988375bf2aa21e1a5d0e786025608","datavalue":{"value":{"entity-type":"item","numeric-id":440664,"id":"Q440664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$EE1F3A18-3355-4976-86C6-7E7D69852701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$6A10AD3C-A66C-467B-B579-4674074128A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714878$7FB4C7DE-2108-45D6-9E73-8BB5864AE3DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1be626328e3aef17e76505aa4663ecd00f4f980d","datavalue":{"value":"10.1016/J.TCS.2011.12.072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714878$3A6C4DFB-8EDB-4DAD-A275-FC0DAF51357D","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":"ef43035fd1ba0203919aab5de3d02cea370bd593","datavalue":{"value":{"amount":"+0.7752566933631897","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":"Q714878$B4A49500-D9BE-499F-9916-D353C21C9F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5556e2130a0a4d3cc79611a8c1a214e5f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4621175,"id":"Q4621175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13775530308f0995bc3a7fbd41798c7efbe3add","datavalue":{"value":{"amount":"+0.7466166019439697","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":"Q714878$68E09257-5B6C-4FB4-A58C-5BF387560FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9172915a0948dfaea8d98a9eb455f7c17a4928e2","datavalue":{"value":{"entity-type":"item","numeric-id":3613056,"id":"Q3613056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788c14f2ac8d05114663b4c4a68cd0cab68117c4","datavalue":{"value":{"amount":"+0.7303369045257568","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":"Q714878$80A9028B-3C7C-4156-9C9B-ED4F616190DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0def48a2eae86d79c678f127edd6da97d59822e","datavalue":{"value":{"entity-type":"item","numeric-id":4825706,"id":"Q4825706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda4b3f905b818677abffea57b42f0bf0b52ce8c","datavalue":{"value":{"amount":"+0.7288211584091187","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":"Q714878$7295D50F-8D9E-4600-AC71-AA2186D40C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ffbb064c5240d2d56543646374df500aac0281","datavalue":{"value":{"entity-type":"item","numeric-id":5309375,"id":"Q5309375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2176bcb5dcc4ee30ca2d98f3f5513842333a254","datavalue":{"value":{"amount":"+0.7286565899848938","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":"Q714878$BAD0006C-9CEE-4A4C-A63A-FF5BFCEB93A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal abstract framework for modelling and testing complex software systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_abstract_framework_for_modelling_and_testing_complex_software_systems"}}}}}