{"entities":{"Q934712":{"pageid":936560,"ns":120,"title":"Item:Q934712","lastrevid":65461422,"modified":"2026-04-12T02:45:11Z","type":"item","id":"Q934712","labels":{"en":{"language":"en","value":"Verification of evolving software via component substitutability analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306152"}},"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":"Q934712$4A17587B-17DF-4035-B5E9-8F46C5534877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cacf5ac7f6d187ae48081a73b0132a570d24f40f","datavalue":{"value":{"text":"Verification of evolving software via component substitutability analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934712$6D3C2762-CA82-41A4-AB2A-9305C47B48FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d47f7aa336d5d8508b14bf3d5c246ce4d197f888","datavalue":{"value":"1147.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$06195539-4F00-4B97-B60F-E53242355DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$BB5E5907-C6C6-497A-A097-F6F342ED7A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$1B6E6DDE-9EFA-43A1-811D-783D61EAFCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17aa6222375e5b52844ca43f39ca6b801e31b463","datavalue":{"value":{"entity-type":"item","numeric-id":934711,"id":"Q934711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$81523C71-CFB2-4F5F-BF4B-FDE8A55DD014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$253D5EDB-5A29-47D5-A666-1F6B74FAF798","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$D3FDD095-A6EB-40C0-A46C-C73F2F4DE5AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q934712$1E209FEB-5809-4C80-A4EF-384232C72EF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb623d3b940134e7ca7e7e6dfbfa0abce1142615","datavalue":{"value":"https://figshare.com/articles/journal_contribution/Verification_of_Evolving_Software_via_Component_Substitutability_Analysis/6585872","type":"string"},"datatype":"url"},"type":"statement","id":"Q934712$AB2258B2-7D68-43E5-A746-66FE2DB2836E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$1AADF32A-6C79-46ED-91DE-709DF252409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$1115D017-1F48-426D-A6A1-01DDA2FBF3A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c327a888fb634ea2b9556aeda97d9ec35056e09","datavalue":{"value":"5306152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$83904152-1FB8-4DC2-B18C-B1CDB5ADABCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d79c20d1431e86199f7030a9330fbb4d12089d7","datavalue":{"value":"Compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$A7B09DB8-170B-491F-A40B-2C8C1D69A87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"249cd8f870ad98ba763c4c5e905d3d20f06d2f7b","datavalue":{"value":"Assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$7EDD4695-A716-4F65-875D-390F53E3F882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ad276e3958b1fb722beed434f57ca3f5cc348b","datavalue":{"value":"Automata learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$505CFCB5-1EBA-4733-8FAC-3C8339EC3F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6377a628e12b96a6a919606a8ef231bc11537970","datavalue":{"value":"Predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$35FDC5E9-4F2A-455C-BA9E-CA6EBB6F0193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$3469F998-1183-46E8-91E9-0E0C175C845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q934712$D6762EA6-EF35-47C9-B90F-0CDEB876633B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49c5c39569fd0ed2872b7f9aefbae8dce402c98d","datavalue":{"value":{"entity-type":"item","numeric-id":21453,"id":"Q21453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$5E6C603E-4D4E-433F-9928-B6B8920B6DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a550f2aed44e0d451882ee48f82a9d69812e1b","datavalue":{"value":{"entity-type":"item","numeric-id":19560,"id":"Q19560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$D6B22464-3D2C-4144-AD5A-6AEB465F0670","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":"Q934712$DDDDEDFF-D83A-4A2A-B874-DAA9B6F1A250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b7e0bd7359060e2f6abf3c3f1ceb5312dea4bfb","datavalue":{"value":"W2135947211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$090F9E75-3C8A-4EBC-B0D9-4B4A0C6B55BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$F8AC541E-D62F-44E0-93BA-0E7A014CD31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf99323ae98ac6a76131488eacedcd6861e15fa","datavalue":{"value":{"entity-type":"item","numeric-id":5716596,"id":"Q5716596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$B808E207-5CEE-46F2-8B9F-8BB1AE13BEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$2DC920A5-19E2-4658-97A8-68E785F0E0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495cbc338a3ca066e0b9d48c0f3e3732c7db4949","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$ACB6CA6C-440C-4B5E-807E-688C68622F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b72ad09e1bd6ca3b1ae8d38ac829e2618d0c754","datavalue":{"value":{"entity-type":"item","numeric-id":5716900,"id":"Q5716900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$7ADDC4B3-0CB5-4F7B-8B13-A970731F72EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$17DCDA83-153F-4AAB-91A8-EE80DA89F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564082d9ab472364f020fd7fe057e749f4f2ba3b","datavalue":{"value":{"entity-type":"item","numeric-id":5716552,"id":"Q5716552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$5B4E6561-D925-43A3-92D9-588F7D16B66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76c83963daaf9dacc98c1875034105c6dbf9004","datavalue":{"value":{"entity-type":"item","numeric-id":5758116,"id":"Q5758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$D41B1637-EA07-4F6D-A02C-178609BE4226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9326764ea01b9424fdd6e3bd21dab0e12eef24","datavalue":{"value":{"entity-type":"item","numeric-id":4804914,"id":"Q4804914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$05C5B370-5284-4E67-8082-0469BE4C826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$ECA40326-B208-4F64-B828-C4B4B08DE026","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":"Q934712$0DD981DE-277A-4024-AAA1-DD35B29E0EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$ED8EEB49-5CB5-493D-8A25-45DCEB526924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f91b8628cae3ade1f244c9153d5ac3ded0de78","datavalue":{"value":{"entity-type":"item","numeric-id":5758115,"id":"Q5758115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$552D5E45-D525-4F0B-98DE-0C5318E3B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4e7a0cd98168872b74e4720bfb341f7c43af37","datavalue":{"value":{"entity-type":"item","numeric-id":4472253,"id":"Q4472253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$7D3A249F-3459-46E9-B283-DE4AF858C786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65dcbe496568d8acfd7675321a84644e35cdebc","datavalue":{"value":{"entity-type":"item","numeric-id":5429334,"id":"Q5429334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$397AB637-F6FD-4C08-8D14-1014F52E4165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1593f69615195b729b8730ce0205e72da085e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5899060,"id":"Q5899060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$80804F7C-EABC-4493-80C2-E8669FD10CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$D090C445-D071-4E67-976E-D6FBFD4A5DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$07F0693C-D1FB-4941-941B-75314576F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$515A7A55-616F-4BAA-BE15-422174ED5CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$ECC16CA5-2AAC-4C84-9E5F-4E84694B0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$220F1433-258A-4895-B86E-90C59E125EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d82d8fbef7207e3a8c855b494fb9281aee4749","datavalue":{"value":{"entity-type":"item","numeric-id":2365762,"id":"Q2365762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$3C8BE69A-815F-49F9-8686-CBB632F99A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$C13F2F84-ADCD-4707-AA25-A687B4526A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a28e355684deb98556d54d5eb7ec60a91bc7a3","datavalue":{"value":{"entity-type":"item","numeric-id":5429315,"id":"Q5429315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934712$DCCA4CF2-4ECC-4C5A-9F6F-98DCACDE9308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5239c44d11924d7d3e208865f215eb8ea755c4c6","datavalue":{"value":"10.1007/S10703-008-0053-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934712$94D26EE0-6F54-46D9-8F6B-8E687974C6E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368e20a69b8ad8b2fd87c7106d2ff7b185753867","datavalue":{"value":{"entity-type":"item","numeric-id":5716900,"id":"Q5716900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7de1a72686244a5cd172ac172ecfe4db3088b3","datavalue":{"value":{"amount":"+0.9367908239364624","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":"Q934712$15F24E5B-0B19-427B-970D-80759B9B646B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728d09591c56b065e7283db1470722ee48b7c921","datavalue":{"value":{"entity-type":"item","numeric-id":5326332,"id":"Q5326332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32eb7bbd5bba5841cea57a87cb7ec272d9d074fa","datavalue":{"value":{"amount":"+0.7538679838180542","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":"Q934712$1A069C9C-8511-4D69-855B-878F26068791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9f8f0fb79297ddee63419fdd056ccb13e80baa","datavalue":{"value":{"entity-type":"item","numeric-id":3462737,"id":"Q3462737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6371fde9d8a3bc2ca16a59699f8ddcadfd1ba98","datavalue":{"value":{"amount":"+0.6935026049613953","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":"Q934712$EB3DB898-698B-4927-BA9F-EBA1A7100931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182af01b0177ebb19d371c4fb0585f8b2246d78","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97012ebc2e7beead2eeea7851b82c28271bc99b2","datavalue":{"value":{"amount":"+0.6842488646507263","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":"Q934712$AE2724F5-F8D9-4568-B2C2-FF611DDAD8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73e83b2e31b0aa3422038a1eb2a4e0e52460d056","datavalue":{"value":{"entity-type":"item","numeric-id":5403083,"id":"Q5403083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eed859492eb755eba404abdf86a3c5577aa854","datavalue":{"value":{"amount":"+0.6719227433204651","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":"Q934712$E7EFC0E1-C8BB-4C4B-976D-052282924E2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of evolving software via component substitutability analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_evolving_software_via_component_substitutability_analysis"}}}}}