{"entities":{"Q5326331":{"pageid":7355905,"ns":120,"title":"Item:Q5326331","lastrevid":51790445,"modified":"2026-01-20T01:30:18Z","type":"item","id":"Q5326331","labels":{"en":{"language":"en","value":"Unbounded model-checking with interpolation for regular language constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194841"}},"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":"Q5326331$2E218453-2699-4829-A877-08615C79EFCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3eef710648c9a42a4bdb7644e231cd2ac6bea47","datavalue":{"value":{"text":"Unbounded Model-Checking with Interpolation for Regular Language Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326331$1D5F72CF-ADCB-4D21-A371-A06B11917446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eeb9ff4a37ebcdacb78bb28113940e6f067bc81","datavalue":{"value":"1381.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$B7513F03-1FB5-4469-9E66-C5E551C30C78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38d907484a1391903ed29b4eb0453f48879fe764","datavalue":{"value":"10.1007/978-3-642-36742-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$1642A74D-2E27-4551-B2AC-C9AE49BC953F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$AC2FBEAF-CB55-41A5-8318-61BA2AA57F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$4A17B558-0B97-4D6B-BE5E-7055E2B46A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$741D9F29-FD87-4BAC-8B47-366E26BBD092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$CE75482C-AD56-4D21-8873-69FEE8BD6010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$945B9BC2-4E92-4C7C-B4FD-1B3DBC43B843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$DDF03DF2-7E3E-45FA-84E3-0AE139EB7F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326331$93A00D79-4210-4427-AA50-FC179A43B7B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$B364EBDE-F435-47B5-831D-56A9E507988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$7E2CB3C8-138D-42C5-A459-7F2C5AA65A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$35968C83-1636-4FCF-A9B0-69004411FFF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0ac9a7f3cb1cdb0e538bec5ce5bff551e5758fb","datavalue":{"value":"6194841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$80DA4982-3506-42CA-8103-C9655D6759AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b32164ccc8a116f3c14bd346b8f5058ccf0f02d","datavalue":{"value":"Q57665003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$3560BECF-6E5B-4FE4-8D17-3EC326C94D8F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$72348135-0487-43E1-A481-B4A733C89965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$67CDD6F6-4D85-4CB8-8DAE-49CAEE481C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8defdd41bc909054c02be9fcdac73c75633546b2","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326331$4E8F53D3-AA90-45DD-91F1-174C6151CD73","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":"Q5326331$5D89CE2C-345B-4090-94AE-87D3FD67405B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1a4d7387b2b6e333b0aa6621a427eed1eef5c2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326331$85850DC5-78D4-4250-BA88-D9C5074C1C14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba2dec4029adb57c0465e73a2b1d170be03024e5","datavalue":{"value":"W1787380291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$BAE76B16-B94A-415D-BF84-124B8049902E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7a73ab73836da4601ced79aa9b0b0856fcde649f","datavalue":{"value":"conf/tacas/GangeNSSS13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326331$E12EB416-D201-4CF1-B909-E31CB0B8F7FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19196d868b24766d5e4721a7fdb6c18d42baa92","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31128cac5ade9e8eb89ae8c60de9943c9c1f1c4d","datavalue":{"value":{"amount":"+0.7597857117652893","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":"Q5326331$DF010FB8-148F-4000-9C2C-051B7CBDCC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0661bb8afb793b8d790ffe632fdd1f9ae496d","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b8b08a09cc5d11fd80010c5723299a77a891c4","datavalue":{"value":{"amount":"+0.7560997605323792","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":"Q5326331$FA341158-1C72-47DA-8CE5-3E2BF190A9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe307e50fa6e08a5a0532ef08eb312437e27c28d","datavalue":{"value":{"entity-type":"item","numeric-id":6487302,"id":"Q6487302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8a8bc7dd1754fb949114ee323757b99b3a710b","datavalue":{"value":{"amount":"+0.7428115606307983","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":"Q5326331$22356FF4-2017-4710-A528-880D27C0A278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b09312c3dae54d4b09b4f68b56fc6147f76ea8d","datavalue":{"value":{"amount":"+0.737779974937439","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":"Q5326331$8A610067-D67A-4EB1-9122-4AFB36CEE052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0c6616d1745f1d93685a9149fdaeb54ab56075","datavalue":{"value":{"entity-type":"item","numeric-id":2680985,"id":"Q2680985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17842234e000876b9954a9e46dbf5378253b76f","datavalue":{"value":{"amount":"+0.7334218621253967","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":"Q5326331$02712C03-B822-44DF-8863-D7FBC3EA52B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326331"}}}}}