{"entities":{"Q3462737":{"pageid":5242138,"ns":120,"title":"Item:Q3462737","lastrevid":80527172,"modified":"2026-05-06T16:24:05Z","type":"item","id":"Q3462737","labels":{"en":{"language":"en","value":"Towards an approach of consistency verification for online software evolution in open environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6531193"}},"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":"Q3462737$679C6CD6-1342-4335-841D-9EC24F83C713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e47d3d63e4114e1a436759eb93b3e0235f83d46","datavalue":{"value":"1340.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$E58B11DE-E604-40EB-9013-6A30F49DB14B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af059aefe9f939bb782ddabfd325b1fec8e854a4","datavalue":{"value":{"entity-type":"item","numeric-id":249170,"id":"Q249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3462737$164284F9-E1FC-4840-A633-0EAF23C3469B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"626cdefc5b5aabfcdd631c52c47fdfcb11ccf880","datavalue":{"value":{"entity-type":"item","numeric-id":3462736,"id":"Q3462736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3462737$9EFE2552-E97E-44FC-B33D-5AB813F8B694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b6db3d4f774e71f7690c8093923bc6dab09c014","datavalue":{"value":{"entity-type":"item","numeric-id":899457,"id":"Q899457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3462737$B0009F81-D9D9-43FE-BDF2-64F234D15FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcfc6b36e23faf42e90439daeb48c76a246d121","datavalue":{"value":{"entity-type":"item","numeric-id":436831,"id":"Q436831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3462737$F5713984-F77D-490E-B3B3-ECB5B336FBAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c2e70900021c1099dc2c52f195923a82bcef5cb","datavalue":{"value":{"time":"+2016-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3462737$368268A9-4739-414D-9D51-0216F550FCC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$546F0F9C-D76C-4BFB-B1B3-3115E0625347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$1C3E0043-6F4E-4C88-851C-DDF212D4584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$C04F83EF-5833-424E-9E91-4DE93FE22CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"221345d3e1e691a078eb80a010fe02fbc79da2c6","datavalue":{"value":"6531193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$D1897FD7-523F-477C-8113-E14FF5D58737","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2edfdcf39a8d1e917727cdd5497e738c686c360d","datavalue":{"value":"online evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3462737$829BEBAD-1DD0-4CB9-A071-0BB8098E25E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3462737$EB775357-C65A-47EA-ABF9-9F2BFFD991DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3462737$1C9B2116-FA7D-43A7-9D47-4A34A1FA0A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3462737$070AE59B-196E-4F0E-9453-CB5DD4FBB9A1","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":"Q3462737$48778603-17AB-4332-9205-7A57E8F29752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9bdb7aa909d36c7d92be3139e98075c28046fd6","datavalue":{"value":"10.13328/J.CNKI.JOS.004751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3462737$4A9BFB3E-D3DE-40A6-9C2F-A998803CE61A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01489ab577891a76aa29f141bf7556996b256c8e","datavalue":{"value":{"entity-type":"item","numeric-id":934712,"id":"Q934712"},"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":"Q3462737$D0C47501-7858-4903-A970-6292A55A074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be933f553c32d8ad9e10a9b4b09884bcaa84b47","datavalue":{"value":{"entity-type":"item","numeric-id":4411047,"id":"Q4411047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4da0f99e86ae06848f03e6d437d49e0ef78a829","datavalue":{"value":{"amount":"+0.6857138276100159","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":"Q3462737$8A5906E7-F335-460B-9F49-7EFE238FF945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdca4c7e976eb837e9d752f7f24020ae0dd89e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738329,"id":"Q4738329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4da0f99e86ae06848f03e6d437d49e0ef78a829","datavalue":{"value":{"amount":"+0.6857138276100159","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":"Q3462737$BF522CB5-C914-4293-A57C-F1E0B6A8393F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0487da048cae0f5c7cdfe26987238557a9b7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5490380,"id":"Q5490380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc955e1b3896466e00f368700c2aaa338a378d","datavalue":{"value":{"amount":"+0.6791374683380127","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":"Q3462737$3EA2E4D7-ACB5-4A8B-AAE2-8FBEE3DDB34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d50c9259e71d289aaebd88adc3a51c00214b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4980848,"id":"Q4980848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d65127dbfc5c747b7f580f2213fa9d004b0fbc","datavalue":{"value":{"amount":"+0.6734746694564819","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":"Q3462737$F5575419-EA4A-4993-9C3F-C2BA985362EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an approach of consistency verification for online software evolution in open environments","badges":[]}}}}}