{"entities":{"Q3741023":{"pageid":5770929,"ns":120,"title":"Item:Q3741023","lastrevid":81050336,"modified":"2026-05-06T17:36:07Z","type":"item","id":"Q3741023","labels":{"en":{"language":"en","value":"Program testing: Specification languages and automatic test generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976303"}},"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":"Q3741023$42BBCFFE-5B40-4ABF-AE63-DFB8BB69FD6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9226dcfafd1c1dd4938829d97cb2a374cb79caaa","datavalue":{"value":{"text":"Program testing: Specification languages and automatic test generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3741023$2DA3271B-4651-46A7-BD5F-59C0D23B4704","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ec12b92b816a1dff3e3abe0812a31fe732b1a1c","datavalue":{"value":"0604.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741023$A0AC5659-1436-4E94-964B-8091CA2CF1A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9512c6e8caf1264f9515f98e479c76fe8905215c","datavalue":{"value":"10.1007/BF01069417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741023$2D26E554-2E01-4EFF-A2C5-535E21891566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e372ba39a0b62f734755f0074e7392e64e986","datavalue":{"value":{"entity-type":"item","numeric-id":3741022,"id":"Q3741022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$074E781D-0A3F-4DDE-B561-0CAB8CA2C8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f6b4c7757f474a05da50a604a9a555da42f70e9","datavalue":{"value":{"entity-type":"item","numeric-id":1056535,"id":"Q1056535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$BAC150BA-B6DE-4211-B4E5-99273ABD1BF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$6DFBBB15-4F78-441B-9D40-163C6878E3C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3741023$135C08E5-49F8-40F3-AFBE-EF62F033CE79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741023$954FEBA3-46D7-4B27-9A05-97B0D3C9C6B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63bf44e9960114633854fdd941a13b85155d6119","datavalue":{"value":"3976303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741023$47AB1E35-5E88-48DA-A496-2464877F7A4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3741023$A9BA6191-930A-49B2-9259-38A379D719E8","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":"Q3741023$C82D80EF-6510-4D7F-A2A1-079E06236724","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef2f8c180ba773baa5c1bad4cec223cee884f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4122776,"id":"Q4122776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$505AE51A-27B9-44F2-8C1D-07187047B393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e817ff2760962c532357e14a1b8502df6d95f8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4198015,"id":"Q4198015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$CA0F91C7-7837-4A6F-9709-778B9EBCD1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822f7126542ac8da227da36239413ce9d42e24ba","datavalue":{"value":{"entity-type":"item","numeric-id":4121384,"id":"Q4121384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$E77C1BCA-0B2F-4E1B-AE6E-F74BD9376C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$56736A26-88FE-4E2D-9A76-B7D63E57E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$835850BB-EA91-4D0B-AF4F-EE3DF89CA10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3c5467137da62078985ae1f5fb53d8d04dab07","datavalue":{"value":{"entity-type":"item","numeric-id":4191566,"id":"Q4191566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$71593599-CD0D-4DC6-8300-E245EE7AD478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$6C284A91-C800-4B1E-99B4-67F71A9C1EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb56abb88bd0504ecd3d1613c734246bfb8639ab","datavalue":{"value":{"entity-type":"item","numeric-id":4134948,"id":"Q4134948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$0AEBD38E-C28C-424E-A502-F264FB4397AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2540805e11ed7fdcb981bdc272c1fb26fe0fd3","datavalue":{"value":{"entity-type":"item","numeric-id":4174716,"id":"Q4174716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$FAB15C08-6954-4700-B2AF-A505A05414B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0bd404a78e092141956673d3563a3213c71977","datavalue":{"value":{"entity-type":"item","numeric-id":4054664,"id":"Q4054664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$7736A1ED-EB58-4E55-9077-B365F61CC016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9355e8bc4bf5b169dece8bc5749097353d2f0871","datavalue":{"value":{"entity-type":"item","numeric-id":4742292,"id":"Q4742292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$3CDB07A3-8BBD-402F-B862-A1AEA1624F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c4942106721a64170eac457c679e8849558bca","datavalue":{"value":{"entity-type":"item","numeric-id":3214824,"id":"Q3214824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$F7111034-3BA7-46A5-AD87-A7C5F4E51BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50c84f2b653aa50b7c148e2013cdb17e1fca123","datavalue":{"value":{"entity-type":"item","numeric-id":4162642,"id":"Q4162642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741023$4C0FB6BF-053B-40C0-9BB3-EE1785A11398","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program testing: Specification languages and automatic test generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_testing:_Specification_languages_and_automatic_test_generation"}}}}}