{"entities":{"Q479843":{"pageid":481610,"ns":120,"title":"Item:Q479843","lastrevid":77684390,"modified":"2026-05-06T09:50:03Z","type":"item","id":"Q479843","labels":{"en":{"language":"en","value":"Budget-bounded model-checking pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377626"}},"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":"Q479843$6AA57E48-254B-48F1-882F-CECA3F0A61B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afc5f3e5a78f83c32bb9fc1e21dbafb2b19cf528","datavalue":{"value":{"text":"Budget-bounded model-checking pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479843$FA61788F-7EF2-4B58-9D0F-45094801B7F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd5f8ec6c03845c59ce06cc54b8464b00a1e2b4a","datavalue":{"value":"1317.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$9B97BE61-AD80-478B-9FF3-5BEB7D3B3D5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$B8960109-BD55-4FBB-AA7A-DF09ACCDD82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$785769F0-D63E-49D5-A83B-B4FABBC93D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfb9c712843ff4e303f6bb4d81c2bd705a42e62","datavalue":{"value":{"entity-type":"item","numeric-id":479841,"id":"Q479841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$BB0ED62A-2CB4-4B52-8B01-670E83ECBA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10b88454bdc6eca4dc134abbba837513511dff9","datavalue":{"value":{"entity-type":"item","numeric-id":479842,"id":"Q479842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$AD8F6842-8F9F-4BD0-999B-B0AD1566682D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$4B7685DF-C1C8-4559-863D-DC582853E72D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479843$08FDCC28-4FC1-44E0-82E5-CEA2D1D9CB52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$374DB0A0-02B5-4499-B8A1-DE60F069BB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$C3535B60-6975-4914-8DBE-C9A4A2D2F3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$B1B3E6B9-1B18-434A-8285-1D99F57E9F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$242A4D7E-032D-4702-A1FD-373E9C9C8EE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e218dd291fea72b57b3ff34b3f4158d50169432","datavalue":{"value":"6377626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$6F1B3A3C-8917-47D7-BA9B-0026AE7A8978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57600e391b27e3f64e6b29a9e4939a3d4e627b1c","datavalue":{"value":"concurrent pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q479843$9FBA6379-33A6-47D1-B398-E5EDBEE2351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a4aab355446053781b2ed4daaf7669884a368","datavalue":{"value":"verification problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q479843$653753CE-EE95-4216-A9CC-BDC1DA7D9F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a54228ae392ae32b0ab475970656e80c133cb3b8","datavalue":{"value":"LTL-model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q479843$E01C176F-22ED-4855-A1FD-9A04ACCF3FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q479843$DC4C36D8-855E-46CA-AB1E-CBF30875C272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q479843$B6722968-FFFB-4C64-917F-9F7E26DF084D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$FECE42D0-55A6-48CD-A8B4-CB2DAAF80C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4e11557fad98abdbd20c826863090d34ba5135b","datavalue":{"value":{"entity-type":"item","numeric-id":21925,"id":"Q21925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$64BFE2E7-C3C7-453A-83B9-02B87EF2847F","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":"Q479843$642DF76F-584A-44C9-8694-9A2BBC11F32D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21a3833aa0451d149022c1d953e94be715f14939","datavalue":{"value":"https://doi.org/10.1007/s10703-014-0207-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q479843$E707BCB6-BFBE-4902-AC66-01D3085D705B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea4e49aa7281ecf091f010756e75401f8952518a","datavalue":{"value":"W1996831638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$F9E0F827-6E6E-466B-B8BD-A4644AC442FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"348807bc3eeb1ef3f0960854f7e42e0f63ffd940","datavalue":{"value":{"entity-type":"item","numeric-id":4649294,"id":"Q4649294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$FD291928-F7C1-464D-AB64-79EE58C75686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd11e93c75529377db826ac87ba05a72812a48a5","datavalue":{"value":{"entity-type":"item","numeric-id":3533004,"id":"Q3533004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$8089E44A-E31E-4AC7-AC4D-4648270D9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14361849039e4b5838cc6fa5ba289a851388132e","datavalue":{"value":{"entity-type":"item","numeric-id":5300829,"id":"Q5300829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$C5216F77-E8F5-41CF-823C-C394872007EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$C0827E34-4178-4C59-825D-21F4A429E489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$95CE8514-4F6C-416E-A600-B82D9393BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74374a8fe3637c3aa0bd4d13c222f64d3f91ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":5687660,"id":"Q5687660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$4562FC84-60AB-4024-9B91-EA1F748C4850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$5F954D12-C233-42FD-98D6-0F9A87DD168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$8660816C-59C5-4433-9AFF-1690576DC1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$CD8AB320-0450-4989-A06E-5BFDAFB4EE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eac4daa0ff1f2ab26986dab1a849b68a31b46c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$E5E539F1-32F9-423B-B065-BC7CBCE1A51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2a494c9a9fdd0a4d015075a42ef197c6ddc5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$9D7D18CA-E392-4660-81D1-F3A43671B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ac23ff0d4cd9001f838ae713deecaccdfe50ad","datavalue":{"value":{"entity-type":"item","numeric-id":4089754,"id":"Q4089754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$BF5C5F81-CE70-4A80-9CE0-620B5FAECD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$051E27D3-028B-454A-AC64-F7B45534049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$567F1C48-09F9-45F0-B74E-CD4EA9EC239A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695280e4ca4193f87a4205c51623f2457674e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$4D332BDA-FE1D-4870-B580-AC9C2F24F996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$942BBAE3-31EC-4482-9843-D7B2AD57B264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21421521ce0dc9c3e052bb8dc5b74ac8dd2e20e5","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$4F7AB5C0-7A46-40EC-B139-F07EE3878C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23415e046078c6c12f71e66b4ffe401fb291c65","datavalue":{"value":{"entity-type":"item","numeric-id":2957490,"id":"Q2957490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$9BCF7351-9F1A-450B-A227-B5FAB76AB8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$4B80FFFF-CC33-4483-95EC-5D9FC24F8FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d13a52abaf435efbe7260a3c68031d35c81e82","datavalue":{"value":{"entity-type":"item","numeric-id":3452264,"id":"Q3452264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$42855FFA-30B9-4CC3-A374-76C3F623D206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$CC621D6E-9CC6-43AC-9052-8F5C8F2B5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$DE799F59-8088-4D0D-89A9-1DA8353D317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479843$53F4674D-F7BD-43F0-8D56-F30E2E8844D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8171a2807caab106facd9e9b445f87c27dfa10ad","datavalue":{"value":"10.1007/S10703-014-0207-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479843$096A80CA-ED8D-4C9A-BA2E-EB4FBC886795","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906ee1e77381375a1dc2e53f2b50da37ff87330e","datavalue":{"value":{"amount":"+0.8201849460601807","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":"Q479843$79C9F20C-F5CF-4204-840D-5593E30CDFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcdf9c6ea431b76d287d72a227af5d51bcf8240","datavalue":{"value":{"amount":"+0.8120185732841492","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":"Q479843$365F6790-4EA2-4F6F-8061-F212575A6758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"167214e41360004c8aa510fb3ad4447b29e13385","datavalue":{"value":{"amount":"+0.8058644533157349","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":"Q479843$03A79877-A489-4288-BB71-973A7E74F293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdf961c178799c8c960cf5e15ccacba93d314b9","datavalue":{"value":{"amount":"+0.7768890261650085","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":"Q479843$8EEBCDE7-E7C3-440F-8FCF-D1C1A730FA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d04d4260a3dd451b8fdb36bbc2429a2eb83c422","datavalue":{"value":{"amount":"+0.7750635743141174","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":"Q479843$ACAA0401-F73B-402B-B25C-C2C77852698E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Budget-bounded model-checking pushdown systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Budget-bounded_model-checking_pushdown_systems"}}}}}