{"entities":{"Q6535461":{"pageid":14146604,"ns":120,"title":"Item:Q6535461","lastrevid":55544914,"modified":"2026-02-17T18:34:15Z","type":"item","id":"Q6535461","labels":{"en":{"language":"en","value":"Implementing a CTL model checker with \\(\\mu \\mathcal{G}\\), a language for programming graph neural networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786541"}},"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":"Q6535461$4B0E7D7F-C26A-434D-B429-CCEF6C71ED97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dfd28cb912eea002aac1244c6666972ad17246c","datavalue":{"value":{"text":"Implementing a CTL model checker with \\(\\mu \\mathcal{G}\\), a language for programming graph neural networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535461$45A02A34-0750-463E-96FB-3737AC492F20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce5711a2e9e6f35e9d88b6f55015d260a870391d","datavalue":{"value":"1543.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535461$2CBA0B99-A2ED-470D-81D8-3CE05FECFD45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f68fc6535b08d3aeba2a17d9c22951c89cc92cd5","datavalue":{"value":"10.1007/978-3-031-35355-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535461$941CE587-35E1-49BD-9E61-ED22925B3AEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17238d13b9b98cac12ccde6b58695de425e51a24","datavalue":{"value":{"entity-type":"item","numeric-id":6535460,"id":"Q6535460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$98ED3137-7CF3-4EF8-B39C-8F113F4EAF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$4B9A4D68-A851-4F8D-A801-E445C0432E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"449ca96230a675612e2931c7023f1a6a4def84c9","datavalue":{"value":{"entity-type":"item","numeric-id":2001650,"id":"Q2001650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$0915D260-8A97-48F8-8B93-A56A797BF712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$24E5AB2A-1E21-4E5E-B06C-D1FD4B837E1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535461$77E721EC-963B-47F8-B546-7865E25FD50F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535461$623A0923-9063-43A6-BBDC-5BC628FC5496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535461$0EFD7B26-EF88-48F7-A99D-7EAFA994BC72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cfe3070ff1db00708a8ba1df88b655327fe0413","datavalue":{"value":"7786541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535461$DC8310DF-3D6A-4C4F-9271-EA1B21C2B88D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8044da53f405d86fab0cd1422ae4b0d83816b8","datavalue":{"value":"graph neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535461$1D06589A-8670-4207-801E-7AB129CA4E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535461$1EE84B07-9396-475C-8C14-E5E180A1EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535461$05D87403-99E0-4182-8456-F9AAEA584503","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":"Q6535461$282AFFC7-50EA-4F1B-A4F0-6C6BFD1E42E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$323C6A30-A90B-42BB-9AA9-7385A1C1DEBF","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":"Q6535461$6896DAD6-0402-4D79-9C89-51BE1E8D1AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c243869ba0963401792b9d55bbba80b8cb068d1","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$B0365574-E13E-43D6-9107-648ED62FE981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$627EB9CD-9543-4B07-9943-4C8319A0B753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$CB01840D-FF8B-42C4-8C9B-AF00F649D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786d8ece5c1dae7e7cb18e339912f7de915f3e86","datavalue":{"value":{"entity-type":"item","numeric-id":2234091,"id":"Q2234091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$68846AD8-053F-462F-BA05-916709CF1C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$0CF0640A-DAD2-4B3D-BD33-9D9F6D0B9286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86320745c8b3e3d93dabcbe6aac52dfebea53244","datavalue":{"value":{"entity-type":"item","numeric-id":4633562,"id":"Q4633562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535461$F56448B0-6D08-4444-8FD7-31B6EF56C9C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3e0b9d735a2c9a9d10edce37a991ae3f3c5f63","datavalue":{"value":{"entity-type":"item","numeric-id":6651938,"id":"Q6651938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad70c56213d21154dc7446062cc28cf5ada63574","datavalue":{"value":{"amount":"+0.6985443234443665","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":"Q6535461$90411AF3-68B8-4C98-99BC-0E963F1A0823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96273a9172bd3ddadcbe4c658d58b5ce7da95e08","datavalue":{"value":{"entity-type":"item","numeric-id":6535524,"id":"Q6535524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9d2aeb10724680a7a0040d83db844a0b813f94","datavalue":{"value":{"amount":"+0.6849582195281982","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":"Q6535461$6CB0FB30-00BB-417C-8B73-EBAED365EC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0947673725a17d182adedded77f2229779e6cbbe","datavalue":{"value":{"entity-type":"item","numeric-id":2071316,"id":"Q2071316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b21b75df3ea71cac1708dc76ea8161c4b0f0615","datavalue":{"value":{"amount":"+0.6592879295349121","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":"Q6535461$3C083FC2-5DC3-4C29-80B1-15262628A27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b9a25ede5dd088c646a2f66b0fe543af5fd2dd","datavalue":{"value":{"entity-type":"item","numeric-id":3297798,"id":"Q3297798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2cda9189608218aab6434787b420227d1596ac","datavalue":{"value":{"amount":"+0.6514530181884766","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":"Q6535461$DE2B6843-5A9D-4302-9EFB-000F55D290D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535461"}}}}}