{"entities":{"Q6940541":{"pageid":21146853,"ns":120,"title":"Item:Q6940541","lastrevid":104077820,"modified":"2026-06-06T09:02:02Z","type":"item","id":"Q6940541","labels":{"en":{"language":"en","value":"\\textsc{Cgaal}: distributed on-the-fly ATL model checker with heuristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082492"}},"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":"Q6940541$82AA2979-5593-4097-AFDB-62D5F9B92E87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7c68873bae04c491e7b4193c2520b86e9e55df1","datavalue":{"value":{"text":"\\textsc{Cgaal}: distributed on-the-fly ATL model checker with heuristics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940541$053FA9DA-A405-41B6-A0D1-954BD67008FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f50a28705d78580a16db55eab23c976735163c7","datavalue":{"value":"1571.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940541$E3EF5B3D-B876-44A3-971A-8E74584DC910","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd623ae6ada9739def01541a411e28458574c6d","datavalue":{"value":"10.4204/EPTCS.390.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940541$AB801C30-994E-4DBB-901B-06C44CB5AC0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b1b80a01d57afa800ee1883b30f8ee65ab6066","datavalue":{"value":{"entity-type":"item","numeric-id":6940535,"id":"Q6940535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$CEDBEB55-F9AF-4E02-B4A3-309BF79540B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f2dedb1b0769e5d3c558788864b031ffd6beabe","datavalue":{"value":{"entity-type":"item","numeric-id":6940536,"id":"Q6940536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$95A6B1C6-916A-4883-AFA5-76708B5D1CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0ee89d8773c37bfcc06a49e939d324324eaa80","datavalue":{"value":{"entity-type":"item","numeric-id":6940537,"id":"Q6940537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$7EB19020-D077-4D8E-AE9D-14DFC4DD5633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5c5d65b7fe36d4ba4519daa373bcf92a84953d","datavalue":{"value":{"entity-type":"item","numeric-id":6940538,"id":"Q6940538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$F7A5A0FC-23F8-4D4A-AD00-B3EB05380A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7de9e4b7ae46d074c317555996981390c3fd1669","datavalue":{"value":{"entity-type":"item","numeric-id":6940539,"id":"Q6940539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$A0827624-D3D2-47A0-B9A0-270267A76267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aefa0e5c26e6a856c165911e436d096276d7190","datavalue":{"value":{"entity-type":"item","numeric-id":6940540,"id":"Q6940540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$28A4557D-E226-4506-9855-0DAFE70E2B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c21df67206ccab5e065f6425facc4f83707d90c4","datavalue":{"value":{"entity-type":"item","numeric-id":1631224,"id":"Q1631224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$96CADCD6-404A-4FD7-B57B-7C0624368AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$405380F5-BDC4-476C-AC3C-CDC9FC5DC453","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-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":"Q6940541$0824AE1A-208C-4B9C-B93C-F5806B06F4BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940541$752F2DA1-B9BC-48F7-BF34-D4AE0B1BCE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940541$2B2E4B7E-EC8A-48EE-BC46-9729AA576C2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c9e354c2412aee3a6afd2f4dbdab93a4993ea57","datavalue":{"value":"8082492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940541$A2E16DEC-9BC6-4E1D-8293-5D9DA6A6C128","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":"Q6940541$178E8A02-627B-42E9-8935-35CE442224C1","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":"Q6940541$388BBB35-68E5-475A-8F10-E1915D154A8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$BD365BBA-AE44-421A-B21B-20557F26E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$BC893A39-AAFE-4BD3-B3E5-01EC71FED33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$068FF61D-327C-4BE5-BBCB-35E53F058CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448d4d2ac401b9f771cd6c61cb0678876dbfd0d","datavalue":{"value":{"entity-type":"item","numeric-id":1662534,"id":"Q1662534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$A9E2DD48-FDCE-4D56-8680-7487D900746B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40db05022240608e7255b89062b6c1c249784065","datavalue":{"value":{"entity-type":"item","numeric-id":2119119,"id":"Q2119119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$76E47CB2-D629-40B6-A9A2-71D758B822BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3878a5cb8873ef240e516907eb0d77672150d9e","datavalue":{"value":{"entity-type":"item","numeric-id":549282,"id":"Q549282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$D6EF81E7-6B57-409E-BA88-D046C611AB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab230edae2be541139bc78dcd8f9573c0d8eeaa4","datavalue":{"value":{"entity-type":"item","numeric-id":6084567,"id":"Q6084567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940541$4C9DD3C0-1E61-4916-8037-FECCE8550BDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6940541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6940541"}}}}}