{"entities":{"Q7325538":{"pageid":31366423,"ns":120,"title":"Item:Q7325538","lastrevid":105125599,"modified":"2026-09-17T14:25:54Z","type":"item","id":"Q7325538","labels":{"en":{"language":"en","value":"Reactive model-based testing of cyclic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8251820"}},"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":"Q7325538$6449807A-A071-4FDF-AD51-8B261EA3F6A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3c7d8c1e6d4b305878dc8fbf9785ab48f594ba2","datavalue":{"value":{"text":"Reactive model-based testing of cyclic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7325538$233257DA-F1FA-4E12-BD31-1B5DB96A89C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faf4d26f4399dd0c37b7a301ea520fef7a9c2de8","datavalue":{"value":"10.1145/3801960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325538$B0948CCA-5E15-4F68-8AD8-471BA5AD7489","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$3CD81E8D-BC71-4A95-9889-909B0926F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$19DA2296-1E25-4BFC-BC46-D02D239436FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$189BC1BE-36EB-4457-A6C3-7273288112AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872c14032389646afc449a111a40c6a7cea5e0bd","datavalue":{"value":{"time":"+2026-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7325538$84DE0989-417B-45EA-9059-7BEF55DE0842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325538$62A39BD0-2D5E-49E2-8ABD-B7AE0E336504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325538$517E888A-A4BA-4BC9-A797-16E20A24C89F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dbac2f113f7aa54384f793b2ade91482f8d4165","datavalue":{"value":"8251820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7325538$1068AB1B-50D2-4CDD-A564-B6D0CAC5B15B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$2D4D3EDD-4766-45F9-B458-BFA33CCC9A99","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":"Q7325538$06F20672-53A6-4B69-ADE2-4545ACFAC2F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05eb391de3e1f6c7163ef0fe0fe61494f8caea7","datavalue":{"value":{"entity-type":"item","numeric-id":5886524,"id":"Q5886524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$ECC2DDC5-8BB6-42DC-A32D-CC19564640FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51430a26b8cebd45262cc886d1e706b2e3adb1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2120813,"id":"Q2120813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$6A8096AE-7FE0-4F63-9C13-273B34C9E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$E54AC4E5-DCE9-46B1-93CD-B3FD292DA489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75490664644708b71efbf3d600a47f7540edb1a5","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$1E1089B3-DA46-43F8-A25D-4DC891C0DCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14363173db863765e2f824600a1646cbc19444df","datavalue":{"value":{"entity-type":"item","numeric-id":5121275,"id":"Q5121275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$0B0E0B17-F0FD-417A-BB1C-526E96C61C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$405D36AC-71C2-4CFC-9811-E9B3D22718C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077ff53ae2b2205b555092a4a22f48106572ae4e","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$23EA4DCF-F5CE-4996-B2F3-F34146DE7850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$D696D29C-4F46-46CC-B486-31CC824B1BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3455bfeefffb00fb3b37c8364890ec3bf805f7a","datavalue":{"value":{"entity-type":"item","numeric-id":520246,"id":"Q520246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$C902C782-4564-4E3B-B321-71EC53843008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bbedce3ea8431c07c48a2c853b543f2a5480b4d","datavalue":{"value":{"entity-type":"item","numeric-id":5308369,"id":"Q5308369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$318E164F-0FBE-45DD-8456-5B7EA1545B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8b258576a4949793c6696187ba1a561230640b","datavalue":{"value":{"entity-type":"item","numeric-id":3543302,"id":"Q3543302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$20B9A212-F13A-458E-BC3F-4ED3164A167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a018764f0b9350fc40ac73cf6c173817a8d205","datavalue":{"value":{"entity-type":"item","numeric-id":5902012,"id":"Q5902012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7325538$77C27A95-0C37-4631-BA6E-74786A4F9150","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reactive model-based testing of cyclic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reactive_model-based_testing_of_cyclic_systems"}}}}}