{"entities":{"Q7010070":{"pageid":21563364,"ns":120,"title":"Item:Q7010070","lastrevid":76560096,"modified":"2026-04-24T11:30:27Z","type":"item","id":"Q7010070","labels":{"en":{"language":"en","value":"Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013881"}},"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":"Q7010070$548B5793-4DC8-4BC1-BFA7-EE950A20F6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42ef338d1e70779155b7dc07056246038cf34d0b","datavalue":{"value":{"text":"Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010070$91596107-7F48-468F-9757-D7138CC4FAA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae2c76fcef9d45c2c234e66e4fe8983fe0b36b7","datavalue":{"value":"1566.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010070$DB1570E7-AC3D-4ECC-8411-E96C4224DF45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80cfbb36cee934295da9dc401e93783bbca4e933","datavalue":{"value":"10.1007/3-540-49213-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010070$D55BFAF8-0D41-4E7B-A552-DDC642FAFDCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f822da9380a5c53dc9a4c6555b5a61fbf8df13","datavalue":{"value":{"entity-type":"item","numeric-id":206621,"id":"Q206621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010070$BB5FFAD5-2856-4490-A250-661876199BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd23dea699838e8e1a8195d9ff152899c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":206623,"id":"Q206623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010070$8FC62725-A992-4A5A-99EA-0E613AC72CEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-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":"Q7010070$5C66FF3F-B7E9-43A5-B14B-9B90C47E0D98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010070$044AE813-83F3-4360-A40E-05C8B26EFB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010070$4A791E5F-78A5-4E1A-B251-EEEB8CAC10E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"204e966ffeb4d476ce158d101f4ec3d4ecdd9e60","datavalue":{"value":"8013881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010070$33D54580-55A1-4432-9C39-175AD3315CDF","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":"Q7010070$C7348CE9-22AD-4A95-9F02-DDB306DECC27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_verification_of_multi-agent_systems:_a_formal_analysis_of_pro-activeness_and_reactiveness"}}}}}