{"entities":{"Q6883632":{"pageid":20798335,"ns":120,"title":"Item:Q6883632","lastrevid":84208784,"modified":"2026-05-13T15:00:44Z","type":"item","id":"Q6883632","labels":{"en":{"language":"en","value":"Distributed model checking on graphs of bounded treedepth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8137160"}},"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":"Q6883632$D75BFD78-BF83-4462-AB47-8A9F3E465899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8a5a3bfef7bd98c736096a1b6e6dceb9d47ba9d","datavalue":{"value":{"text":"Distributed model checking on graphs of bounded treedepth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6883632$55F17EB1-5E75-4A4F-B709-1405B613BA13","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97ea4aa619fe02f715d4738772d9e46c9ae4cbb0","datavalue":{"value":"10.1007/S00453-025-01349-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$A3665C83-FD10-43C2-88F4-41D80BC408D5","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":"Q6883632$8D0F4E01-7962-406B-B74F-40B1FF8F7535","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":"Q6883632$35DAE77B-C5E6-490F-B90E-010682D006E8","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":"Q6883632$212A74E7-6F2F-4554-8F3A-F38CF510E03A","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":"Q6883632$DA5F200D-A950-4757-8583-8C4A034381AF","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":"Q6883632$912D3AA2-8846-417B-A450-BEDFD11F44A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$7BA6E674-E16D-4A8B-87B6-3C7B5D0AFD52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a94defba830eabf58be46009559b4e03d1d63d4","datavalue":{"value":{"time":"+2025-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6883632$FEEB2A41-BA69-4962-9307-D06D738AD140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$5BC09EE3-1419-4DBF-BDAD-6093328AD96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$708CDCA8-56D7-42DC-A970-353496C19BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$079D1F38-823E-4416-BC9F-21649AD84400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$C5EE7AE7-B2AE-4CF3-A130-80D3C0DAD909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac92ead9acc6c5a13d14be0ec9ec8bef7dacfb96","datavalue":{"value":"8137160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6883632$03A37C0C-0A23-4BFA-B48B-8FB39F53D3A9","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":"Q6883632$FF4ECD6A-164A-41F5-BE22-6C4E1DF84F8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee3e90e9220ed65a818a9b5cfe681aa3eaf93cc","datavalue":{"value":"CONGEST","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$33900797-C6B9-41F9-97E6-44C5418AA126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$0E680BC0-A6E7-4659-8B17-0AB61245763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b267873cb5c300aaecc7811cbc568405bde428","datavalue":{"value":"distributed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$2BF75DC6-F4C4-4123-B67C-239504084126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e4048fb3bfeb12f1e8c632141b78129e67aee7a","datavalue":{"value":"graph properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$4F323AE4-4FA4-4EDB-BB22-7CBACB594FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc6945142c143a162622d38a388d04a8c8fcc56","datavalue":{"value":"treedepth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$203C49F2-D8EC-44CA-89EC-72A9C0114923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6883632$3DBD9750-5A63-4252-8BB4-B113282B51C4","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":"Q6883632$BB663B5D-EC32-418A-A594-BA53A9763BDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33350e3a730a3a943b742e591c9c3a70497f2de","datavalue":{"value":{"entity-type":"item","numeric-id":4907581,"id":"Q4907581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$FA84EAE6-6526-409F-91CF-8D20040070B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c779ab9ee5c9fc47638282990095bfae2fdae0f8","datavalue":{"value":{"entity-type":"item","numeric-id":6828185,"id":"Q6828185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$F84803B3-B564-4FA1-AAAF-A884F3C4B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b0369f42da18419d7ca862a1e3a218a370d390","datavalue":{"value":{"entity-type":"item","numeric-id":5176091,"id":"Q5176091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$FFEC968C-40DE-4FCF-8612-F620121DFFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04849cc9ac4c024ffd63b717e310d53fbf61f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5395731,"id":"Q5395731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$DE83076C-A798-4003-8E4F-0BD8653A173D","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":"Q6883632$F7E58735-9FCF-4695-A466-5A686D4D3A2F","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":"Q6883632$DD886339-C557-4A74-AC56-8390895A3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d08e9618dbaffab324da70dad5b7d7b7b5f4ac9","datavalue":{"value":{"entity-type":"item","numeric-id":6131780,"id":"Q6131780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$8F0C0034-9EEB-4198-A1DD-05E697747941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1f2e033010d95b75fe8911ab78fe5b21fb4aff","datavalue":{"value":{"entity-type":"item","numeric-id":5024672,"id":"Q5024672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$13CF07A3-007A-43FB-902F-4860C3741755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5558e974dd6e1eb87dde732f81da46300950e75e","datavalue":{"value":{"entity-type":"item","numeric-id":6826700,"id":"Q6826700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$0E594278-FF82-4689-B984-9D9EC7C88F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420d293aed2d3d9d502aa06a5f320db4d977f0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4517129,"id":"Q4517129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$064062D2-942F-4F81-A943-192DAAB68FFA","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":"Q6883632$C7BF92D6-D89D-4260-9A40-BDFA25ECF58A","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":"Q6883632$F8D1BBDA-8C49-4724-AE73-7FA97CBAE683","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":"Q6883632$86B5955A-0F88-4F98-A3FE-CF79825C4E6E","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":"Q6883632$AEBA3855-5491-4A4C-BE7A-36FC3CEB88F1","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":"Q6883632$8400F54E-FF01-4F10-B7AA-5706F5A3112B","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":"Q6883632$A7411E86-0700-4AD7-B5C1-F77684890C0C","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":"Q6883632$B8477F51-D3D1-4090-A799-2CCD203CDEE7","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":"Q6883632$1E456923-0230-449E-917B-0911A330E436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e28f967fe1a78b6763b8821453d654cdd54f21c","datavalue":{"value":{"entity-type":"item","numeric-id":3172385,"id":"Q3172385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$79B1F2DC-3CF1-4841-8CAA-671ABACB2DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71217208be2b526c81d03cb506bbd73893189d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3086928,"id":"Q3086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$43240240-0F59-4760-8003-2529E50EC642","rank":"normal"},{"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":"Q6883632$6E301DDD-357B-4277-95BA-C84FB6F9579D","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":"Q6883632$C4B9DAE1-338D-4D81-B0D2-106231EA3072","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":"Q6883632$54863CF9-3BDD-4C91-8BEC-DD20710332EE","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":"Q6883632$81143C0F-7DDB-4F9A-B860-861E57AC52E8","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":"Q6883632$F5BC4FD7-C0CB-4CC7-90DA-6D913B4D8C38","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":"Q6883632$5DC8E24F-0784-4B7B-9FD6-22434B7DECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efcdfa71dde77b9ed40a4507105de7f3f251ec87","datavalue":{"value":{"entity-type":"item","numeric-id":6829055,"id":"Q6829055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$F70D87D8-65C0-4A2C-B2C5-3C1A474B72F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e31ef600d301b951f08637b5088bca67390414","datavalue":{"value":{"entity-type":"item","numeric-id":5361460,"id":"Q5361460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$9DCFA159-D645-4B17-9F45-45AC9B0C5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa9b2c9af061f4096e9d4e9deedec3e76ad2923","datavalue":{"value":{"entity-type":"item","numeric-id":2943626,"id":"Q2943626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$780CA89A-9AC7-444A-9805-50A5779F6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25285b85ad4e66a041b4627fbc3b29a3e7946d5","datavalue":{"value":{"entity-type":"item","numeric-id":2920962,"id":"Q2920962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$4C2023C4-0D3B-4652-9C54-E7717F710CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c93ad016455270c01828b96acb2e92de252291","datavalue":{"value":{"entity-type":"item","numeric-id":5498702,"id":"Q5498702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$1512917D-49B1-46CB-9347-1A0132F8D929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e747084875c38a7643bc4e4941fa02dbc0305f","datavalue":{"value":{"entity-type":"item","numeric-id":2796244,"id":"Q2796244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$D7FCF928-1492-4296-946D-ED9C5211B5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87622f9f207bce3d68674d543560140f2a42c79","datavalue":{"value":{"entity-type":"item","numeric-id":5361854,"id":"Q5361854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$EF6DA3E1-5527-4F54-A769-C84F198AA111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091e61f22fede451c3b7d23bd3ae76524dba441f","datavalue":{"value":{"entity-type":"item","numeric-id":5259592,"id":"Q5259592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$6B924546-3D6E-4733-853C-F5CFA8409A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476eca281df6ca6737ce1bcd53a20987f9683628","datavalue":{"value":{"entity-type":"item","numeric-id":6487493,"id":"Q6487493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$C01FDB97-E5C5-49C7-B0F2-D70172FC8159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb18f84e1db15a019205883cf3a30eadb2f8ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5361969,"id":"Q5361969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$0FF1B54D-B00B-42F1-A550-0EADC733681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4027c2507980d5310254b62ceb115f60ec28fce0","datavalue":{"value":{"entity-type":"item","numeric-id":6202221,"id":"Q6202221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$F36129CE-6511-43F9-9BB3-FCD8209B3984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410cdf56bb03304e08136de18d6e29d0dd03a907","datavalue":{"value":{"entity-type":"item","numeric-id":4967211,"id":"Q4967211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$C57E19C4-6E2C-41EA-94F4-665B310F2237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f6b9d51fc1574bbfddd953130617b29a436dfb","datavalue":{"value":{"entity-type":"item","numeric-id":2154327,"id":"Q2154327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$CB74C290-D04E-4204-AC60-EE849C3F2DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c06ba049091daba48debc0582b6d27202fefe2de","datavalue":{"value":{"entity-type":"item","numeric-id":6560852,"id":"Q6560852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$674AB517-2441-4035-8C7E-106911E18E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9df7ca0083a6c55ddbdd0ab6a265c40685a610","datavalue":{"value":{"entity-type":"item","numeric-id":2025853,"id":"Q2025853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$802D922E-B981-48F0-B5DD-08DEAF97346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b41537cf66101318ab61251d142109ea2ef2fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2002054,"id":"Q2002054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$54EC3EED-F05F-4F0A-BE9F-481329B96311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486ab5445fb8f92c1d0317bb852fd7c7b1326933","datavalue":{"value":{"entity-type":"item","numeric-id":1672006,"id":"Q1672006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$00E176DC-0C46-4EFC-93A3-1938BA760E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bea34becc1bf7c85fa9a5a921cdb72445ff912","datavalue":{"value":{"entity-type":"item","numeric-id":2219059,"id":"Q2219059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$9C138506-53BE-4669-A08A-B1E2A07AD29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d16f6724189d2d18d628421aa6e596b4338492","datavalue":{"value":{"entity-type":"item","numeric-id":6487530,"id":"Q6487530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$35370055-0469-4D53-A122-238990550AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"530ecc962fbd9d669fa09327440e6da164aab307","datavalue":{"value":{"entity-type":"item","numeric-id":5197691,"id":"Q5197691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$0DA2F147-DE90-4D77-8CD0-17D3E6957386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca5c6fe40b0eb45523fbfcd53238450fafcf642","datavalue":{"value":{"entity-type":"item","numeric-id":5146838,"id":"Q5146838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$89BE1930-5DFD-46EE-8192-C47DB41C1563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8150d2dfb76677850135b201e535819f70ee5b","datavalue":{"value":{"entity-type":"item","numeric-id":6575172,"id":"Q6575172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$7381B462-7358-48B4-8BC8-3EE80EEAEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e59fb7eb44c27e22c54232fce94d32c6dcff9","datavalue":{"value":{"entity-type":"item","numeric-id":6615151,"id":"Q6615151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$D3FEA479-1418-4CCC-814A-D022B456678F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef0f89b3d4848285d16b9f024f89d4a5e76a218","datavalue":{"value":{"entity-type":"item","numeric-id":799684,"id":"Q799684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$511DDD92-BA3A-46C8-A508-25BAAD8EB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf3294de56e3f9005571cbddd852d883af5aff5","datavalue":{"value":{"entity-type":"item","numeric-id":1186787,"id":"Q1186787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$7A8E9327-AD9D-4333-934F-6C7AD21FBDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6883632$7C792050-0469-4BD6-8A72-E726F6DA987C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed model checking on graphs of bounded treedepth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_model_checking_on_graphs_of_bounded_treedepth"}}}}}