{"entities":{"Q3526943":{"pageid":5556847,"ns":120,"title":"Item:Q3526943","lastrevid":50463314,"modified":"2026-01-14T03:00:14Z","type":"item","id":"Q3526943","labels":{"en":{"language":"en","value":"Symbolic Test Generation Using a Temporal Logic with Constrained Events"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347204"}},"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":"Q3526943$552549EB-4650-42DB-9AAE-04548D76C020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72d7266acd157f7efd6294c5f4988ba2894fe215","datavalue":{"value":{"text":"Symbolic Test Generation Using a Temporal Logic with Constrained Events","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526943$9FC1087F-5848-4071-B2F8-517AC60E89AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"790be6d4f18e39e5d9e5f94466bb3076d1da7c11","datavalue":{"value":"1151.68374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$AFC88A83-4C89-4176-AFA2-C76D5ADDB12C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34424ef7f14a26577edb22f751b840e64f2ad53c","datavalue":{"value":"10.1007/978-3-540-75221-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$F7C2851E-B196-4E33-B54F-08788FB7D650","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df4902b9eb6a307da4a2e9fdf5efef288ac5c60","datavalue":{"value":{"entity-type":"item","numeric-id":3526942,"id":"Q3526942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526943$53241AAB-D4FF-41A6-A5D1-1B9F32708601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33b408bec949267a60074306977bc4d5b9fc95f","datavalue":{"value":{"entity-type":"item","numeric-id":289840,"id":"Q289840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526943$27937E3F-486C-42A1-AB18-831243304140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526943$C87D5334-1905-4C53-86F2-112E73E6846E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526943$F2C85CB7-FB7A-40F3-87B8-C04BBA02F58D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526943$48026E86-17A8-4325-8346-170334933AD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$224E74F0-9954-4890-BB53-626686ED6C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$2BA8F5FD-BA51-4885-BF0E-4EA6FFF57EE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"742f667994a6d6711f57fcd5e020ba65b865d322","datavalue":{"value":"5347204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$14799EA0-7759-463A-90DA-6981AAAA4E7F","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":"Q3526943$29F6E498-5932-4D0B-927D-D4795846E8BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a6cc5aeac856a57c6d56fe1d4ae19a748d1ab8c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75221-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526943$B69D4C6B-06F2-402E-AC96-05B249215DB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6227cdc3ed8bfd47f3a49da03472bad8827080ee","datavalue":{"value":"W1504206791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526943$819C3AEA-C2B1-4A36-BD28-CF081F4191B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c1ba198fd6aee848c6938179c450d453462104","datavalue":{"value":{"amount":"+0.7587456107139587","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":"Q3526943$0759DB9E-8A4B-4187-902A-0E497A8C95B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32640d47148b666d0ab05cbf243533169262b3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbe81b327100ca763c6b410fd7b9447eda3b783","datavalue":{"value":{"amount":"+0.7410063147544861","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":"Q3526943$8666E648-5E03-4588-8F29-598B493C188E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255bd870d045363d1b4665fbc37f6a59fb5fe945","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1cb5a7672563804425a4dae588d162333e074b","datavalue":{"value":{"amount":"+0.7234398722648621","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":"Q3526943$D6B676C7-BBF2-45C4-98A1-FF67739F9DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f92ce4716451d616a84681eb526033f93430763","datavalue":{"value":{"amount":"+0.7158024907112122","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":"Q3526943$F9CE8E62-66A2-4B24-9FD7-C7E2A5BCD8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e52f7de94239449be0d0611b33f6eb0264b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4472265,"id":"Q4472265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc453ea3091774f46dcee2ce124bdf20095af78","datavalue":{"value":{"amount":"+0.7152166366577148","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":"Q3526943$BEBC6DB3-EB59-466B-94E0-2BB1EBA58EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526943"}}}}}