{"entities":{"Q764005":{"pageid":765854,"ns":120,"title":"Item:Q764005","lastrevid":64198461,"modified":"2026-04-11T18:17:29Z","type":"item","id":"Q764005","labels":{"en":{"language":"en","value":"Game-theoretic simulation checking tool"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013772"}},"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":"Q764005$80195FC7-0EAC-437A-BA81-7EE15A90FE47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c332b569846b8455e6a4525539b378004cb4ef5","datavalue":{"value":{"text":"Game-theoretic simulation checking tool","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764005$D810FC50-1658-4F34-AD05-CE845723124E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d04eb4569f5d9676645dda8f009102fc3a99c54","datavalue":{"value":"1242.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$F505CF8F-18C3-4A62-BCFF-A59DDD028868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b9db7936e79ad483ee5b66084703d35e662d41d","datavalue":{"value":"10.1134/S0361768811040013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$3299ABA2-7F27-47A5-8255-EF53D03803F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a97353bc51f25fad8ab7416ccf1b92210e6d64","datavalue":{"value":{"entity-type":"item","numeric-id":764004,"id":"Q764004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$2CF90B4E-94E6-47F0-8261-E29AC56CF235","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$1CC99F3E-3DAD-4AAF-BD67-B3B0F08532EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7740e919d3927cc4a13b78918e9c504db56c01ff","datavalue":{"value":{"time":"+2012-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764005$2A9BEDB2-9793-4E31-929A-BECCDB803AB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$C4659DFE-F912-496D-A5DF-E63C26083521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$D4588C91-4E8E-4DCD-93A1-F322950E3982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$2AE83626-01C2-48E9-A927-EC4F7525172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$D870D8BE-89A4-4E3E-91CC-38A9D6C5CAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$A021B10B-786C-4916-BACE-212A8123B52D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1ccd87ea9b4eafe60845a21e6ae2d52d52a0299","datavalue":{"value":"6013772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764005$6E4A1F2F-D02F-4767-98DB-AE5FF382279C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$C88CD6C7-F628-4A4B-8A21-F2B0AE6501D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$20C2A5F8-569C-42C5-AECA-79550B9F028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$4334A210-E3A1-4358-BF25-8E27D72F8071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$F4A6D0CA-66F2-4163-B5D2-9CA1D2CDE762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$4BD545CC-2496-4AD2-9AA2-AE04140220E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421f11c080f86f35cad10ace9d55ac88636b79f6","datavalue":{"value":"simulation checking game-theoretic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$0B145036-4CBA-43E7-A6ED-DEA765205EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q764005$60E9794D-1D00-4686-85AE-04097D0110CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"160a07c1c4ca6f4c65d832614d5fee22eb1fc565","datavalue":{"value":{"entity-type":"item","numeric-id":40866,"id":"Q40866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$E543B872-199A-4F6E-9CB9-C1FF23B9FA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc1d6eebfa470303d359a99f93232313a534e260","datavalue":{"value":{"entity-type":"item","numeric-id":13603,"id":"Q13603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$810D292A-E488-4F6E-B57C-6BCDA65565B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$F88F0E9D-F030-4165-B439-69FFA9FB4254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2fd07468e322ec457a2a69778b8a5840e951862","datavalue":{"value":{"entity-type":"item","numeric-id":26646,"id":"Q26646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$4E89EA1F-CE37-4574-AC91-4C0130EACB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$EB623F5E-7978-4DB7-A9DE-94C3E3175A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$EBD981BD-755B-4F27-AB5A-A7F9C5D55E77","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":"Q764005$BF03E6D6-4FC8-4286-95E6-F4B1FF86F9EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$DD38F74A-B520-470D-BB87-A675715A572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b14ec6d0026263206de2a2964b8f61840ecd93","datavalue":{"value":{"entity-type":"item","numeric-id":604385,"id":"Q604385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$94CEB0AA-2B0F-4C3F-BD17-DCD38B4CD317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051e3582c8389d8a9ea6b6cbd1c1508ad73cc707","datavalue":{"value":{"entity-type":"item","numeric-id":5267428,"id":"Q5267428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$5F3236DD-ABAE-48A3-8A58-3A1792A03463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851366ffbd8e085c636418fdcdedc70fed209301","datavalue":{"value":{"entity-type":"item","numeric-id":5902415,"id":"Q5902415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$BC0870A8-1756-4F6F-8B79-FB8AFA90DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4db6afd943e626772ac0a36d9cb8f9c2c5e427f","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$4659D1BE-7355-4AE5-AFC9-9D5CA6FEF003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$DD127A9A-0EEF-4D75-9A68-EFF778F2B4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b7faa7f810420c367b1a59b87757c86e62516b","datavalue":{"value":{"entity-type":"item","numeric-id":5317190,"id":"Q5317190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$1A13D282-9EC8-42B6-8D8B-DDC728DC4F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$F0A9EBDE-B38E-4E4C-9FC4-0A04249B425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$B7426906-9A13-4A54-ACB3-2FF631A13DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$7734DF14-ECC0-4D3C-B953-F862104F5DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$FC265F38-A61D-4808-BECC-DDFE8FAEFDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$D7D9FAB9-D7FE-44C8-A109-D01EE9231CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$5C61BBC9-F5DC-4356-8F68-CEF5A0BD371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc5022f128a975dec37fb8610712d3064312c71","datavalue":{"value":{"entity-type":"item","numeric-id":4484483,"id":"Q4484483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$B4A2B24E-4EDD-4F28-A944-8CDFF7436B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$EC0E91AE-6E55-4CEF-8FA2-C61639E51D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f1cb1a313033ab6eef609a47c5ea7fde476c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854506,"id":"Q1854506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$FD764532-0E86-4B78-A709-7BB41281F271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4557daf1d74159dc3bed22f9e46b174e0bdc86c7","datavalue":{"value":{"entity-type":"item","numeric-id":3184698,"id":"Q3184698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$67717A3D-8A93-45FB-9943-9957F0590552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23fcf8ae9df48ddae80861dbdee0691f518616db","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$1CCE9A8C-8AD3-4F7C-9DFA-6B3B75D31D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$07333F09-596B-4B95-BD20-107DE89EF575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89136b2861aee80a28bb632c30d89c0ce71953da","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$80DB9145-6871-4C40-86FC-07A835AA1515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764005$209AE56B-495E-4C04-8AE7-B4FF6ED4399C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d946ea31d740e1c1c1ec49d6394674adb39dc6","datavalue":{"value":{"entity-type":"item","numeric-id":2863839,"id":"Q2863839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a716cdc1b16abcc37d09e234eb047733b30db22","datavalue":{"value":{"amount":"+0.7658358812332153","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":"Q764005$071DEA8D-38A8-40F4-9861-67304FB20AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0caf9741c2c86786ee7114a044a574165fb84beb","datavalue":{"value":{"entity-type":"item","numeric-id":4238502,"id":"Q4238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"890802a5e4eb6c063cdbeecc4e9aed80b2719a37","datavalue":{"value":{"amount":"+0.7510550022125244","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":"Q764005$B3000EE8-D6AC-48FE-B3A9-B2602E3DE767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b28ffdb1b36d9e44144042c805db4dfb583adee","datavalue":{"value":{"amount":"+0.7506391406059265","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":"Q764005$DBA31C4D-01F3-4B16-AA6E-0602C7B563EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95803da382dc4e174d8bd7163f4ffe42583c9e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2848417,"id":"Q2848417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b74e0336ee832fbadbd08988df4e24dd8fb859","datavalue":{"value":{"amount":"+0.7475278377532959","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":"Q764005$6C19F1AF-0FAE-49CE-B8A9-4A6DF38D1C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bdf395051d4d53bcd5e9a1078f56cd98629677","datavalue":{"value":{"amount":"+0.743815004825592","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":"Q764005$E3BAE4CC-0308-496C-828B-9DB5FE2A82F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Game-theoretic simulation checking tool","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Game-theoretic_simulation_checking_tool"}}}}}