{"entities":{"Q6971955":{"pageid":21334785,"ns":120,"title":"Item:Q6971955","lastrevid":84044807,"modified":"2026-05-08T17:26:25Z","type":"item","id":"Q6971955","labels":{"en":{"language":"en","value":"Brief announcement: Distributed model checking on graphs of bounded treedepth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8052478"}},"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":"Q6971955$2DBCDAB2-A728-4C12-9000-6FD477BCFBDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff31f76a72ff1b944a27f754cb1ac92b67c68175","datavalue":{"value":{"text":"Brief announcement: Distributed model checking on graphs of bounded treedepth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6971955$11AA911C-1D3C-43DE-94D4-FD967D9271CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05392c2cdbc71d00d273f80c6d25e9d565b900b7","datavalue":{"value":"10.1145/3662158.3662793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$65351100-05FD-48BF-9995-C6AB00F0512E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8874875f41e100f7dd0c90f8e9a202da131938","datavalue":{"value":{"entity-type":"item","numeric-id":259035,"id":"Q259035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$1AEACCFA-5596-4D7C-8B7B-759CFC82A92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca5d85a7bde5d6eca1e6ba9ed6a1e788f5e7b93e","datavalue":{"value":{"entity-type":"item","numeric-id":289904,"id":"Q289904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$DABD63E2-8888-42F8-9769-A035B03BA354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e829a8e37de91b2747f385a19a6fe1b584c944","datavalue":{"value":{"entity-type":"item","numeric-id":475387,"id":"Q475387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$45513EB8-301B-4303-8FBE-B45FC7E6BC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6954f8ebf3fe9597f6d66fbc6eb4f4f041496822","datavalue":{"value":{"entity-type":"item","numeric-id":442250,"id":"Q442250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$B7C93631-3A71-491A-B918-6CDA178A2784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af419286ecf991e9ca3655f7917745d7c4306b08","datavalue":{"value":{"entity-type":"item","numeric-id":344838,"id":"Q344838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$FCCC3A0D-8888-47CE-BD09-1BEBFFBCB812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"752cbd85e48c29097ef77f01360fb6a232ac8d6d","datavalue":{"value":{"time":"+2025-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6971955$EC12A929-CE6D-46A0-8EC3-8C357F7B0C94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$5F102D0A-7365-4443-A972-1EEBEA805726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$281B4629-E85C-428E-8164-26D466AFEF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$2A1A2C1C-0126-4ED5-AF87-90E761B507BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$F5200D31-446C-42C3-B75A-6C2140E6DAA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81daa1f756fa5b7b2963d14875fc0420b21f55f5","datavalue":{"value":"8052478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971955$DD773070-BC4E-4F11-9C8A-18EF7C0887DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee3e90e9220ed65a818a9b5cfe681aa3eaf93cc","datavalue":{"value":"CONGEST","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971955$91ABC92B-05BC-4059-81EE-137237D36E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc6945142c143a162622d38a388d04a8c8fcc56","datavalue":{"value":"treedepth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971955$E66B146B-6815-4009-8F06-9FC20F3DC0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971955$FE632883-7130-43B9-B42F-B584C6DDAFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971955$8F2FA42D-BFDB-4C5C-81EB-8189649D414A","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":"Q6971955$ECDEB7A8-0ECD-413B-B1A7-856DEF8B1B72","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6316a5cc317974d200901d276af9510c194a5197","datavalue":{"value":{"entity-type":"item","numeric-id":6128586,"id":"Q6128586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$6C385383-8DB1-4B45-A296-C40E1F4F44C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48661dd87733758fb5ace4bea51737b1eef0c30","datavalue":{"value":{"entity-type":"item","numeric-id":5919426,"id":"Q5919426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$BBD2AE60-2A2B-49A4-B745-1CE0BCC17534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$0ACC7E6B-7D61-421F-B5FF-72CE6B1E6BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c006bffa7e2704666e0e620fcb8a2d2156349b46","datavalue":{"value":{"entity-type":"item","numeric-id":2943637,"id":"Q2943637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$8579BBCC-C83D-4ADB-837E-42CF68FF7CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b53ef905fad0baa3a7bd55a855197f87d2191c9","datavalue":{"value":{"entity-type":"item","numeric-id":5278195,"id":"Q5278195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$6862A6ED-7ACE-46AC-AA3F-4810C8404132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bda633c98ef731bdf9076bd4ab59c8243e2376","datavalue":{"value":{"entity-type":"item","numeric-id":2078616,"id":"Q2078616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$AF46247C-C0FC-401E-9F21-10FC1ADD55ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a83d9d3b27e2556a374954f966e2dbd266bd99","datavalue":{"value":{"entity-type":"item","numeric-id":6120956,"id":"Q6120956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$C668532C-B964-420D-B472-B7F2DB3EC280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4b886fe6ed7e7242f69ecabe3e76680914f6c8","datavalue":{"value":{"entity-type":"item","numeric-id":2037111,"id":"Q2037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$F5B4281E-0597-44A7-9242-32743770ECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1591953060373039bee38957196b4f7e47de6c74","datavalue":{"value":{"entity-type":"item","numeric-id":2104916,"id":"Q2104916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$A38BAA3D-6B3F-4365-9408-062F39FA6C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c778367832f731cf43584a6da926e52e36bd163e","datavalue":{"value":{"entity-type":"item","numeric-id":6182681,"id":"Q6182681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$0EB375E8-BEB6-48C8-BA32-752CA3663E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c30fc0bab4ee3aac27565d5739b19b128ba367d","datavalue":{"value":{"entity-type":"item","numeric-id":5246725,"id":"Q5246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$BC0822A2-A125-48B5-BF8B-3F9DD86D9C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96d739f688588898cdf142b90d03e2c8e19322a","datavalue":{"value":{"entity-type":"item","numeric-id":3179347,"id":"Q3179347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$C6B97340-D62E-4759-9060-6F17913FDDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5fb187cc80eb3e2747b5856073186fefa4c6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3118384,"id":"Q3118384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$755521D3-0170-45C3-88AF-86959DE05F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780577a13362a487625fa48c0d642ac0aa472b55","datavalue":{"value":{"entity-type":"item","numeric-id":2377139,"id":"Q2377139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$8EC426A6-C595-4E1B-8152-174896699CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1126028165ed25aec0b23ea9dd66a35457a4e03a","datavalue":{"value":{"entity-type":"item","numeric-id":419416,"id":"Q419416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$83F5B3C3-4F31-4D96-ABD3-8DC7FBF58D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df2bc4810fc8b82dbda69c812a21f99506d54a","datavalue":{"value":{"entity-type":"item","numeric-id":5964897,"id":"Q5964897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971955$4768ECFB-6AB6-4838-A82E-2E488A3BB5BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Brief announcement: Distributed model checking on graphs of bounded treedepth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Brief_announcement:_Distributed_model_checking_on_graphs_of_bounded_treedepth"}}}}}