{"entities":{"Q4571129":{"pageid":6600718,"ns":120,"title":"Item:Q4571129","lastrevid":41728744,"modified":"2025-05-07T16:02:10Z","type":"item","id":"Q4571129","labels":{"en":{"language":"en","value":"Combining Predicate Abstraction with Fixpoint Approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899207"}},"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":"Q4571129$34E178D8-B530-489A-97E1-9EC028F4F3E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97604d5b39c6f4210cc9b1cea435b0fa3d1e09f4","datavalue":{"value":{"text":"Combining Predicate Abstraction with Fixpoint Approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571129$4B9B4AC7-73A1-4E47-9600-157E41269BD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bc73e4e18a91946c78f3720218501359b4da43b","datavalue":{"value":"1390.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571129$E3F89918-E124-4D5A-88E1-0DAC2780D0F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac707fa8cbbfa9d056a60d2e5e178278230227cc","datavalue":{"value":"10.1007/978-3-319-41591-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571129$07F527D7-685B-4178-9DD5-0766534CAE8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84df6d0cdf6a56aa84e726643fed58817dc6e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2291814,"id":"Q2291814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$3396A3EB-879C-4C78-9A92-66C02A3DC6F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$8474C102-7D15-4FFF-BEB3-41D172B9DF72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571129$2C8EFD4D-82A5-4949-BE60-4958526F9B26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571129$71A3EE18-F392-4EEA-B94D-E5AC4EFD406F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a78c1e30d59b7919806b1d62867e15f5f1cf9cf","datavalue":{"value":"6899207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571129$B1818C70-DA7E-43C0-B23A-0BFE261E81A1","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":"Q4571129$0EB9E5FE-327B-4A5A-ABFD-12F357E4DBD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b15a0cb088d0352de14dcb174f56ccbdad8f49dc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41591-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571129$A9452CBB-69FD-4E98-A9A6-00A2EF3DEE95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"050f33cdbf85f04e67f4061fd78a7649853f9c2b","datavalue":{"value":"W2497982621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571129$C583402D-2C14-4C5C-AB9A-A63BA4680B95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$0F604173-44A3-48D1-AB23-002B99F62766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929f7e544511b2b63177183faeeced418480a038","datavalue":{"value":{"entity-type":"item","numeric-id":5900674,"id":"Q5900674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$27F40230-7526-4FA1-BE8D-1C0D2BDA1D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed027bd076300e675c3d1990f6520878435d91b6","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$BAEB6196-BE75-48DC-AA2F-EADAB954F824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$DDB92C58-514B-462C-B65F-6A3C5E6AB9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$365F8E60-8AF4-486B-8134-2F06D0A3DC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$5463AED7-375E-482C-AD79-0F12F9907141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$CC9BFEC4-B5D3-4BE1-8697-E19FD34CD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379ece3606eabbe1fbbdc5e7cdc7a3417d651daa","datavalue":{"value":{"entity-type":"item","numeric-id":4737125,"id":"Q4737125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$4BBF7611-C3A8-4C9D-A8C8-7063CFE673CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89398ad3e2930cc547170fac6e41094053781490","datavalue":{"value":{"entity-type":"item","numeric-id":845244,"id":"Q845244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571129$E166B2E5-4C79-489C-AD70-9D3552D7094A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb318eadf0c49ac875bfb3f078426eefb34d570","datavalue":{"value":{"amount":"+0.93336666","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":"Q4571129$4DA981EF-4FCE-4A79-93A2-D44B334DC8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18177d8357753c8dd75456ee7c56c747f213d512","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71079750a9fcc548b3f7379909b39e7e871db5b8","datavalue":{"value":{"amount":"+0.9098717","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":"Q4571129$7D8165AE-0C53-4BC2-ACFD-A0A56819C10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2e79d23051c626a2eddb161e703930c9cf14d5","datavalue":{"value":{"amount":"+0.8998538","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":"Q4571129$72E1762B-66C7-4B8E-8F10-36F8835FA40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2e79d23051c626a2eddb161e703930c9cf14d5","datavalue":{"value":{"amount":"+0.8998538","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":"Q4571129$0D01052B-D1F9-49B8-B9AF-5EBDF15F9D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267a262e9e0d605203373f19a2f6620a6f510b15","datavalue":{"value":{"entity-type":"item","numeric-id":5277894,"id":"Q5277894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6991a19caf5782080e2e47d7d3fe0f470a5e3dab","datavalue":{"value":{"amount":"+0.8960191","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":"Q4571129$8307788F-FD6A-4508-B5D2-35FB8D601796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eeec05674ea663f64aa071a80d61c3d2ade3a7f","datavalue":{"value":{"amount":"+0.8933486","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":"Q4571129$500D236A-1C8E-409E-97F0-76F159851FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d84554ebf41d0cd4d1e786abcbacf5b6ec0ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3522920,"id":"Q3522920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380c5b3294e90d04f1d3ea786bbe8da2e91a1620","datavalue":{"value":{"amount":"+0.89103025","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":"Q4571129$9D593A00-F968-40E4-B64B-11186EAD3560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4754e27a92bdefb4385350ace6cb92030731b903","datavalue":{"value":{"amount":"+0.88930875","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":"Q4571129$B3AAC816-BACD-4CC8-8DA6-57281E0A630E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ffa5ff30461cd51e0211fecdb41174f0327193","datavalue":{"value":{"entity-type":"item","numeric-id":5897055,"id":"Q5897055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82429a720d81f9179c1e4e5bb287b96f09733346","datavalue":{"value":{"amount":"+0.88560545","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":"Q4571129$B81DEB8D-F78F-4A5C-BE11-F62B350AC98C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571129"}}}}}