{"entities":{"Q5387903":{"pageid":7417477,"ns":120,"title":"Item:Q5387903","lastrevid":58555347,"modified":"2026-04-05T17:51:36Z","type":"item","id":"Q5387903","labels":{"en":{"language":"en","value":"On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279585"}},"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":"Q5387903$FA664B2A-01E3-41C5-BA00-F137CCE3314E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9402c2340b8935e8b16d0d99565549fd231d33fc","datavalue":{"value":{"text":"On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387903$0CB3B562-1341-4E26-90D6-6BE1EEEAD441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbbc805a991bd14799733a5b067405d8d352b760","datavalue":{"value":"1165.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387903$22D87E7E-26F8-4D17-9CD6-522A07D0AF23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1d4d02aca48e1e560343a2e47ee02d38bc9649f","datavalue":{"value":"10.1007/11916277_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387903$814ED4BD-49E5-4F33-9E80-DF4E76856001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387903$02499FA4-4583-4D4B-87AE-5F171DBD1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387903$96B5FCFA-09CE-4C37-9040-B82C0CC3FD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387903$E274B911-F8FD-46FE-8B7C-F2CB6F548812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387903$3F412405-F3B9-4B75-814F-3856467728B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387903$67BFA9AA-A799-4BAB-9F12-C046D3E4801D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbada04611fac029e485be292c1a72409e607378","datavalue":{"value":"https://arxiv.org/abs/cs/0606091","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387903$E0EC37B9-74FE-4594-B167-202BE00FF15F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387903$F1D08D52-A3FE-4687-B064-A368429102FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96364e438e848d3bc6728ec30ba7329f656fb6e0","datavalue":{"value":"5279585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387903$5AE4902C-F8F3-4BDB-88E2-3C705AA4F103","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":"Q5387903$2C624EE7-7CC3-4D7A-AC74-D3CEDF31E93E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"377e27d53c0e91e430bf585127abfa2dab94e15a","datavalue":{"value":"W3100374687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387903$3B0BF00C-CE36-4694-B1E0-7D388130ED08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f251bfd13912a6e3980eb0c1f8366951da194aca","datavalue":{"value":{"entity-type":"item","numeric-id":4417855,"id":"Q4417855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f0ee7d32f682a85e5deb30c31f06a8c7cf093e","datavalue":{"value":{"amount":"+0.88527405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$B9AC0D9D-74F4-4E23-80F5-1C4A40D6D502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f1872474eb6b42d97e1337002c2d91da7c25b8","datavalue":{"value":{"entity-type":"item","numeric-id":2248074,"id":"Q2248074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f86c3d6d2d851d55dcf5080c4e45bf2c1764113","datavalue":{"value":{"amount":"+0.8836627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$24BEC4EC-E83E-466B-968E-C4E47E2EE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995e7a95a19a897b6da47f87a3b2152a0392b81a","datavalue":{"value":{"entity-type":"item","numeric-id":4427907,"id":"Q4427907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056027fcdba8f0a32b5bce629e427b3d43b5d5be","datavalue":{"value":{"amount":"+0.87831515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$30BD8C01-DBFB-4B5D-9FB0-258210322E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff3425787aea28c8198974ec0d095be505fb445","datavalue":{"value":{"entity-type":"item","numeric-id":6045028,"id":"Q6045028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73187a105670d3ddf380c4164b59c7b6dca76c3","datavalue":{"value":{"amount":"+0.86803925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$DEE0121D-89E7-40C7-8797-5CE33938190D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b66ab78d05af6f1bf0ee2b0520caa150da3ac244","datavalue":{"value":{"amount":"+0.86332464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$9FC2DFF5-7CBF-4579-9D2D-E1A90EF00524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8738872b744f96ef6b96a80d2afb9ca1701d482","datavalue":{"value":{"entity-type":"item","numeric-id":4518422,"id":"Q4518422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc83f66a812b2f54364a23fe7fb92a3dbf0d6973","datavalue":{"value":{"amount":"+0.86255383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$2D10AC8D-8CCA-4F12-9486-6DD938FBA14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdab3cfc5ccf1c2a3e4814d5ac0d40c2d339527d","datavalue":{"value":{"entity-type":"item","numeric-id":2958531,"id":"Q2958531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f950f0db8a39e37e6f0ee187863b86847a45080d","datavalue":{"value":{"amount":"+0.85362756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$2DF758A3-9FC2-4CAF-82BD-B1ACEC2CBB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04414d13db2723cf91287670b0b76348b955ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4a654f5341da4c0ae2ced97e18e9a2ce0e2e5e","datavalue":{"value":{"amount":"+0.8523747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$E4A66A16-AED9-46C7-957E-2FCCE0722054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1646ca28b201ec5db8b5a77796eb4e36ad1fc3ba","datavalue":{"value":{"amount":"+0.84923565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$21DACCC4-8FAB-4520-A612-079F19F03219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2af767af57908675e7b21c80b73bc52b45d5633","datavalue":{"value":{"entity-type":"item","numeric-id":5277794,"id":"Q5277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6affcb18dcc335e9f7918256b656925cdb4e5fa","datavalue":{"value":{"amount":"+0.84854126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387903$B51D5729-8519-4C2B-B477-F90DE14BED4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387903","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387903"}}}}}