{"entities":{"Q6176108":{"pageid":13310996,"ns":120,"title":"Item:Q6176108","lastrevid":58741596,"modified":"2026-04-06T13:30:14Z","type":"item","id":"Q6176108","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730626"}},"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":"Q6176108$1B3ABC3C-3C3F-4426-A0A4-B4B54219D9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eee58e07e7f9770d69c36e7da6f9baba391fe757","datavalue":{"value":{"entity-type":"item","numeric-id":5875387,"id":"Q5875387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176108$AFD4C912-917C-4964-B3A8-9C873157FEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176108$412F4875-8498-46AE-9E8F-9772BFB3287B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176108$69FCFA1E-A02D-4A8E-807A-74304AEC30A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc7e0fc854909ddbf4ea89d0ed91fbc84c9c73bc","datavalue":{"value":"https://arxiv.org/abs/2107.02509","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176108$7078DF91-D2C8-4F57-90F4-50A94A846D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176108$2A21B35D-37E7-4C44-8943-51DFDE1561B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a0fae2edb1b92ca116ffc12c7cb8eb74350ee29","datavalue":{"value":"7730626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176108$C52AE461-F1DC-4DD2-99C6-EBD0D4B2E25A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$F4C3D887-06DB-4B70-830D-0ECB6628DC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$0CCF2DFC-7A3C-4F0A-830B-F5EB482357BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$EF069AB0-E75D-480D-81E9-87BC934B1A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$E1249028-FC46-4418-8DFB-7C5E0B91C4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$DDF0B6A6-2899-4845-83C9-DB3E4E7C7619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$A6D3BB45-9869-4572-884D-82A166E405B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13189f92d68a6b102f43d33766cdeca0929a59af","datavalue":{"value":"asynchronous hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176108$42778556-1FA3-4DCE-BF97-78D38012E729","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":"Q6176108$0A185836-234E-4BD2-8B88-C3A1FA5E4219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc6202d01a6cadd878f0540795ae10d47b365f78","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176108$12C3BCAE-EB75-44B7-82E7-089B9119212D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176108"}}}}}