{"entities":{"Q5191104":{"pageid":7220676,"ns":120,"title":"Item:Q5191104","lastrevid":50728712,"modified":"2026-01-14T23:14:02Z","type":"item","id":"Q5191104","labels":{"en":{"language":"en","value":"Complexity and Algorithms for Monomial and Clausal Predicate Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587941"}},"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":"Q5191104$4CE0166D-FE6D-4185-9F02-F8FE56F56602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3118cd12426aa2ca0301f814d12da4c3be2f029f","datavalue":{"value":{"text":"Complexity and Algorithms for Monomial and Clausal Predicate Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191104$39DAEE96-A3B3-4CDB-8E93-70227C8C43B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b6645298d15fe7ad32b3c26dcb08394978bdc0","datavalue":{"value":"1250.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$3145D128-5414-4AF5-A11B-DEAB09DEFA89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04b8e4b4e869872cf9f2f753dca188eb136040b1","datavalue":{"value":"10.1007/978-3-642-02959-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$19AB5F07-82C3-45FF-8A4C-408FE090BBB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$58CE5BC3-B51D-4B40-AECE-7C1857A5E775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$948B4078-3ECC-4363-802D-0E35764659A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$0B678C34-5712-49E4-BAB1-968C4BAAF9AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191104$102DDA4F-83A4-439B-9C75-054965BFD3C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$8A7F9685-2D36-473F-9D94-7FEFEEC70427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$73A144BA-3B90-4E87-9DA4-3960D8E0A4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$412C3EEE-4786-4470-89EA-6F3F58864D83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc26fa6c58f92870a9be834b87e10ce8838cdaa0","datavalue":{"value":"5587941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$2B0E9440-EE35-486E-B42D-673BB588024A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$2833277C-F9C5-4874-BE92-5D6A86D24E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$6CA78126-0D4A-447D-9352-EC7AFEB0EDB0","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":"Q5191104$8CB32F02-EDFA-49F1-B951-1C928F770D6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a513db9212abc1e29f2b8698f64690a9e92a7b3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191104$D8CA7B37-8F39-4CB0-8D58-B859B8C5D670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8c24fe09bbf083ff45da357974633ff10e9fd17","datavalue":{"value":"W1592240200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191104$19B606F8-296D-487F-A5F4-739166422187","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$E87448D7-5A51-40B8-A2DE-5BDBDFF6B4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451f074673a6a4311517c8ee4fb33667a37b91fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261528,"id":"Q5261528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$AA6C771A-7B6A-43CC-9FC8-2327EF31C445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$9402AF5F-930B-459D-BB7A-5E9CE882D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$F8E64C55-5F06-4DD6-BE51-9B8B6C171842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$A014A26C-6FDE-4B7C-8E8A-34F3F97E8451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$F213914B-49A3-4F5D-8B8C-1608C69017D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$32B3776B-68D2-4992-A90C-B70727D679A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$0465250D-410F-438E-A17E-C69CD6AA033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9846a136de6407a3b8e1fec51a7185c1349644cc","datavalue":{"value":{"entity-type":"item","numeric-id":3189836,"id":"Q3189836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$81AFF1BC-9D90-471B-8979-4BB020EBFB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$8F15A10B-A89F-48A7-A548-15729891F54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191104$5DEF67C9-81F9-4E9F-BD38-2A9E7665429E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55121f2aa83afde5d6e3ec8ed91848e6986b1c01","datavalue":{"value":{"amount":"+0.7562575340270996","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":"Q5191104$CE7CD16D-9CC2-4EA4-BFB9-D7A9F55AB892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a2f40ac790b3d33e68b92644366480e2023d93","datavalue":{"value":{"amount":"+0.7553428411483765","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":"Q5191104$B86F0B36-7096-4CAF-A135-E6C12C212E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9545e7860357cf9f1ee9e4b7cecb27cd402b0e27","datavalue":{"value":{"entity-type":"item","numeric-id":5900675,"id":"Q5900675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde7f7f8dc861e43defd8fe92bf38ff29c0d24ce","datavalue":{"value":{"amount":"+0.748282253742218","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":"Q5191104$0E192D6B-E51D-4C91-B671-F2715B145E8A","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":"e02cd1f6c9ccee8799889c84e395e16ce3329410","datavalue":{"value":{"amount":"+0.7422788739204407","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":"Q5191104$6568375D-10C1-4C1B-B571-691B09671A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd4cf7bbbfb99f3d4855a1a4e443e817c997ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b162479db60d29fd3231a9a07bb5c09db36d72bc","datavalue":{"value":{"amount":"+0.7264208793640137","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":"Q5191104$5D5B0920-FCA3-4D6F-B0D8-868E8CFC23CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191104"}}}}}