{"entities":{"Q557545":{"pageid":559312,"ns":120,"title":"Item:Q557545","lastrevid":62728146,"modified":"2026-04-11T08:03:06Z","type":"item","id":"Q557545","labels":{"en":{"language":"en","value":"A methodology of verification and testing of large software systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2183798"}},"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":"Q557545$C194D135-8725-4A39-B5DC-AC454B67FA44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"242aa1d75f6416d4a75d43fa6f78b906e62cbc15","datavalue":{"value":{"text":"A methodology of verification and testing of large software systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557545$8AEAE19F-B46B-4024-B5DD-E670D9559C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d50257683d3dc449da1d65ef3e46257f3adfd07","datavalue":{"value":"1124.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557545$B88F389A-F173-4D0E-8D69-060B9E78037D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be0eeda4202276d6079dbbe39dd59d9ae42fc81b","datavalue":{"value":"10.1023/B:PACS.0000004130.36733.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557545$10159B47-9A73-4586-8596-0E8D58C75F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22e7126ba3a732c37baf023254a62755d05c987","datavalue":{"value":{"entity-type":"item","numeric-id":557544,"id":"Q557544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557545$605C4853-DDE3-4BC6-9F77-5A53070609FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557545$ED57154A-6A43-4674-9AFF-0D721E98FA52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-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":"Q557545$0A2AC384-7F04-4204-922A-3AB34CC9744A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557545$2617BC71-B6EE-476B-84A4-015E86A500FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1024c794fda9d90e2096ca8d337a11865b119560","datavalue":{"value":"2183798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557545$7860FC27-1AE4-4D5C-A213-9279D7BD9DA9","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":"Q557545$3A351FB4-D9E6-4466-ADB6-D472C1719FE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13383b7090507bcb8e94767a0917c2d6b4686d6a","datavalue":{"value":"https://doi.org/10.1023/b:pacs.0000004130.36733.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q557545$3BCFA333-032C-4157-9F6C-D13CF109964B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"300cd3aa08ac564d839c2ce8afd578d60e08bd2a","datavalue":{"value":"W2039866340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557545$CF03894A-01E8-4FB2-958C-17D25408F2D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A methodology of verification and testing of large software systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_methodology_of_verification_and_testing_of_large_software_systems"}}}}}