{"entities":{"Q1859540":{"pageid":1870282,"ns":120,"title":"Item:Q1859540","lastrevid":69366405,"modified":"2026-04-13T06:31:25Z","type":"item","id":"Q1859540","labels":{"en":{"language":"en","value":"A comparative study of formal verification techniques for software architecture specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1871362"}},"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":"Q1859540$5259A649-0828-408F-A222-5E062DD357F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd863cb45ca4e05807c2e23c98f484ea0cb4837a","datavalue":{"value":{"text":"A comparative study of formal verification techniques for software architecture specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1859540$DF123927-41CF-4110-ADFA-0F14B3A27C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e5d9ba4ae202cd45608379adabb0cb44e919820","datavalue":{"value":"1012.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$68F5E661-5940-4BA4-A298-775027D9E002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"105abdee9d65e3bbb845488a40de59541a90ea2b","datavalue":{"value":"10.1023/A:1018960305057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$3233309F-8478-4015-A465-85155BC9620C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28cd3ffddcfd4edd4bbe9624980a757ddf22eabc","datavalue":{"value":{"entity-type":"item","numeric-id":744386,"id":"Q744386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859540$04E64208-A586-428F-AE74-3E256E57EB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89d92139913a293583639fc1d3a6e0bf3c33ee92","datavalue":{"value":{"entity-type":"item","numeric-id":1193838,"id":"Q1193838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859540$6233180D-41CA-4928-A000-1BD6501940A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3eacda0dc3500812c2ceb2251f75ff6a28f0c77","datavalue":{"value":{"entity-type":"item","numeric-id":241035,"id":"Q241035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1859540$FD86B3EE-5C4D-4862-A2C2-F89FE2CF9B5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01951c93e885717866d268dd1e73bbf555019176","datavalue":{"value":{"time":"+2003-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1859540$ABE5E3E5-0043-4F24-9420-BC58BB1CBEAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$5A416CC6-89D7-4820-B3E9-A662AFFC02B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$920A1AF3-CB4A-4662-AC7B-CCE7494D0D87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99769a826b679796cc4e70e4610097e5bc1626e1","datavalue":{"value":"1871362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$0F62E0EC-D398-426C-BC23-9CF4B6779B71","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":"Q1859540$B1F750A7-5179-403C-BBDD-845DE42B4540","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b75b031a748d173825520ff1d9509e5177f3f3a","datavalue":{"value":"https://doi.org/10.1023/a:1018960305057","type":"string"},"datatype":"url"},"type":"statement","id":"Q1859540$5D0F2902-C916-4D89-B2C3-2120E290AE72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"211304ae959259c9d3bc1c794400ab5564c13eef","datavalue":{"value":"W1596711598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1859540$F3B491E3-4EA1-4120-BB2A-7F8C0C3AD186","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403f11c2ac68f74af6d80a887f475b2a055906b3","datavalue":{"value":{"entity-type":"item","numeric-id":5394171,"id":"Q5394171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4983d6ed8e609e9ef380946704379992326415c9","datavalue":{"value":{"amount":"+0.7177454233169556","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":"Q1859540$8D8ACF51-DF00-4DA7-896C-D61A40A9E108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08329d9030f419e6ea102f175028b399798283bb","datavalue":{"value":{"entity-type":"item","numeric-id":1779319,"id":"Q1779319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403218f598bd44b296a4da3386fe12d614dd37fb","datavalue":{"value":{"amount":"+0.7094433307647705","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":"Q1859540$4E5FD1B8-4CD0-42B9-863E-5C09B8D7C6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abaf558b7519f42604ef5fe9f237c1f52fa5068","datavalue":{"value":{"entity-type":"item","numeric-id":4823969,"id":"Q4823969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68514f1535b7dac000e43fb218da01054980e3f","datavalue":{"value":{"amount":"+0.7089882493019104","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":"Q1859540$F5480A87-0052-4C44-85DC-D056A7343284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3cc2d02540544b6251e3479941db87a61eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4804906,"id":"Q4804906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc51cde5556437c927f1a2c6efb7289953fe577","datavalue":{"value":{"amount":"+0.6936020255088806","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":"Q1859540$BF5AB191-ED7E-4803-BE81-919B27FD6F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415a3150cb9a91aa083b353b667a9f8acd0b139f","datavalue":{"value":{"entity-type":"item","numeric-id":1019015,"id":"Q1019015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93d014dea8cf889381cb859f357a670ebb99c23","datavalue":{"value":{"amount":"+0.6915729641914368","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":"Q1859540$5AE6840B-7171-4463-9223-07B8B429CCA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparative study of formal verification techniques for software architecture specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparative_study_of_formal_verification_techniques_for_software_architecture_specifications"}}}}}