{"entities":{"Q2233488":{"pageid":2244231,"ns":120,"title":"Item:Q2233488","lastrevid":73842276,"modified":"2026-04-14T17:27:32Z","type":"item","id":"Q2233488","labels":{"en":{"language":"en","value":"Directed reachability for infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410477"}},"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":"Q2233488$E562E0D4-D234-49F6-8D71-ECA0BDB38256","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e558bb9d2e4086961644e000423677fdedd799c7","datavalue":{"value":{"text":"Directed reachability for infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233488$9C3E6C83-CCF0-42A8-B913-307CB384C5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e255d07d84988edbc19e77a4ce20135072f347f","datavalue":{"value":"1474.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$03163653-65F5-41EF-AE62-428BBBD73E69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5902489beddae1bbd1cfd1409e54b2fc7322bf4","datavalue":{"value":"10.1007/978-3-030-72013-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$72379034-4EED-4AEB-B951-A73BEF5A232D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09afcd9c56be4b77abcda2e0283879317777151e","datavalue":{"value":{"entity-type":"item","numeric-id":347112,"id":"Q347112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$35A60C2B-B46C-44EC-8DFF-3EE43CCEDF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f36849b1874dad2ed4c54ecc7d6b4a4c27f76d0","datavalue":{"value":{"entity-type":"item","numeric-id":782554,"id":"Q782554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$BEE90ED9-7092-45A2-8227-5048F6C9A4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30dfb3f6763ccb7675aa78ce349632554d37e54a","datavalue":{"value":{"entity-type":"item","numeric-id":2233487,"id":"Q2233487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$A21CC451-2BE1-46AE-80C8-233F88DFABFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233488$0B8FC041-3859-4420-89F0-7E81740757C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d68651e4bfb78eb5a96248409e050a89909f09","datavalue":{"value":"https://arxiv.org/abs/2010.07912","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233488$F19D759B-2EF9-4763-9F6B-DBCAA897F91A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$4C351BA1-D089-417C-9147-30D3C77ED6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$F129410E-BC41-432F-BDB2-23FC4F7C2C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$94C575A6-D278-4279-B8DA-2E7E161D04FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"376ef92ec3594d1b62e2c613e98fc7d39accaa6c","datavalue":{"value":"7410477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$3F43C52E-7D90-41FD-A902-57A36BB646A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233488$CA59571E-5E44-4A30-A9E5-EB1D170D496E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233488$33EF22C6-08AD-42C7-83E7-E317139CF0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d0c99f1e5283b31715a9c7d799852fe62c506e","datavalue":{"value":"shortest paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233488$3A69B03B-2DE7-4092-AD6D-2D1B39C0ED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233488$A51D6A32-8C89-4320-A697-D012FCFD0A0F","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":"Q2233488$B1704C08-B736-465C-93D8-1960DD177CE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fdfe817f6e89ab4ac374f13b4c8787f035d8059","datavalue":{"value":"W3145100375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233488$1F2F82DF-0AFB-414F-9BB9-559E53225499","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b93eb9ad0e60a7acfb2f4a5151d0196898406a","datavalue":{"value":{"entity-type":"item","numeric-id":2480002,"id":"Q2480002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$AF37EE38-BC14-40A7-A585-7AC2E1BF9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9607fa2e8936896b847c2dc05d86aec0f2ce39","datavalue":{"value":{"entity-type":"item","numeric-id":1235983,"id":"Q1235983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$C4F0E269-4C51-4260-ABAB-074A2BDE66E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f682a64b32fd902e73d1dd861bdffb3103ec97","datavalue":{"value":{"entity-type":"item","numeric-id":2817949,"id":"Q2817949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$E3A0BC90-74A8-42FB-A5B9-28F4C837CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"459c456e03c95c0c310ed2fc26761adccac0b3ac","datavalue":{"value":{"entity-type":"item","numeric-id":5326315,"id":"Q5326315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$B2E7CD06-BF21-49C9-9E5E-3095A6E8638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127d44ea8d2a73e0d6e999c3d45a2d9e11625835","datavalue":{"value":{"entity-type":"item","numeric-id":5369247,"id":"Q5369247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$6E6D362D-E1F2-451C-9467-FA0E7B23014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e057aec6dd12cea4902a46e74cefd89f85060df","datavalue":{"value":{"entity-type":"item","numeric-id":5009428,"id":"Q5009428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$DBAB2489-1BC7-4242-93A1-B229EFDC9F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036f2a50589e3de7ebe9f478754cac7bb48758a","datavalue":{"value":{"entity-type":"item","numeric-id":2636518,"id":"Q2636518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$D02B7709-3CAC-4A8D-8B67-35F0A344613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$00C140DC-EF93-4F75-AA98-FB6AFBD1DD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555e70759b9d3f8c50939cecd8cab09c5fff9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$83E871E4-6719-4C74-9BC0-5B467E6487AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$0A235C1D-C916-4E83-AD14-EDD73F7AD433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df5ba38b23c3648086494f6b5ea5a161041656","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$7A933945-A5B9-4AF4-A8D0-08670E53724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$71131CB4-CF30-4483-B9BD-1A867B62FF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61277ed646dad81075628dca476438c05abb23e7","datavalue":{"value":{"entity-type":"item","numeric-id":523133,"id":"Q523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$F07334B5-91CD-4468-A212-1C02BDEB6671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$A43650DC-7F4F-4EEA-B750-F8BF547C2566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83466e113131362bd7fe3fe8e99c12e4eec25bee","datavalue":{"value":{"entity-type":"item","numeric-id":5370893,"id":"Q5370893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$AF854185-4046-4444-9B66-32CE60234491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92499ce5377bd41bd1ca0e248f8f34679dacc4c9","datavalue":{"value":{"entity-type":"item","numeric-id":2805416,"id":"Q2805416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$27BB6F6C-A19B-45D4-8701-EE2C3CFDD8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$8C7C7C4B-0DB2-4ACA-B7BB-01AC910BB93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38639b4a927d992ba52013df4d115052a5a466e1","datavalue":{"value":{"entity-type":"item","numeric-id":2289079,"id":"Q2289079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$CCF3ED0C-6709-4CB5-A4B7-BB9DEA86D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf778c05400bdb512aad9556e8e9300d81c3b32","datavalue":{"value":{"entity-type":"item","numeric-id":5144611,"id":"Q5144611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$CF44F9B8-8280-4BFD-A5D9-13232AE132AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$E3563E3E-1321-42E4-BEE8-5B8ED83DC2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$75240234-A3BE-404B-B4B3-9DB864666DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$8E5D8AB7-E905-41D8-BDC7-60EB6BFBE5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$C40C31BB-25F9-40AF-AD34-88A4D61A5613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$780C6A5E-FED7-41BF-A5DA-7D8E1DB39C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62e1d1356375b0666384d5e241c31f12cea0833","datavalue":{"value":{"entity-type":"item","numeric-id":2766586,"id":"Q2766586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$17C904A0-5325-4F51-B433-757DD289FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5baed9f75305a883c635c673a79e545bed4c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1662545,"id":"Q1662545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$F9275F47-C0D5-4EC1-9530-DDC4E9C44F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233488$F8975D25-236A-4665-8A50-59F364211F2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866791785f510bb82cbc4809360e45214f7927e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712340,"id":"Q5712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d6899fad08ed45fd97098cc9cd6e4342a4a7ad","datavalue":{"value":{"amount":"+0.7806457877159119","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":"Q2233488$1C101F86-90FD-48D0-B1DB-18FB91C40086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5fae50de319b3be3c18bca40f5f874b75c9a92","datavalue":{"value":{"entity-type":"item","numeric-id":3599218,"id":"Q3599218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c27e961eb4db99980031cc1dbdd25eb5ad7a66","datavalue":{"value":{"amount":"+0.7797238230705261","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":"Q2233488$1EB6C710-E39C-4878-A9EF-C7717820E59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3223d66c1b00bcc1584a98fbd81c480717817311","datavalue":{"value":{"entity-type":"item","numeric-id":3447710,"id":"Q3447710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef075dea3e27c9e375876b940d0851df56efd83f","datavalue":{"value":{"amount":"+0.7756267786026001","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":"Q2233488$FF277B18-06BD-40F4-B276-66D3A58E671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cd85afc1b487861c80ae5a48234899eac820a9","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b02e878289e02cd8578f724c0c542d038414bfd","datavalue":{"value":{"amount":"+0.7702783942222595","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":"Q2233488$47F1C860-8D95-4693-8902-5532692CF55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950ea8c3ba024df2ba47d9a89385075b7ac47510","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f038d8e7fd6dbf8c581f6e4d89bf45d68178b8","datavalue":{"value":{"amount":"+0.7697814106941223","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":"Q2233488$C27D14DF-028B-410F-B4AD-DCC8A14B0BA0","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":"Q2233488$56F95DEA-FE01-4D66-981F-64D9D143A7D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Directed reachability for infinite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Directed_reachability_for_infinite-state_systems"}}}}}