{"entities":{"Q5370845":{"pageid":7400419,"ns":120,"title":"Item:Q5370845","lastrevid":96078122,"modified":"2026-06-05T10:21:25Z","type":"item","id":"Q5370845","labels":{"en":{"language":"en","value":"Fast polyhedra abstract domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794642"}},"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":"Q5370845$B2EABDEA-10B0-4146-9CA3-AF761F75F9C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59f92269f6613910d429a4887bc6c8e48e92fb0d","datavalue":{"value":{"text":"Fast polyhedra abstract domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370845$F9660B87-C8BC-4223-9D65-63126C9277C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4f2a276e984e09c3a5d3c058603c06e67989267","datavalue":{"value":"1380.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$AE348E41-6E29-45D7-BA61-60AFA479C66B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f858ef20498c24d4f9e4e3e88a5fc9757fda77db","datavalue":{"value":"10.1145/3009837.3009885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$5AB0252A-B6AE-44A0-AB34-7DD48E0516B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a255e7cccd6ab0db9b345e7e07f75e1563b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":326864,"id":"Q326864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$ED126F9A-AB1B-4E43-BA57-D98E814D53C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f894a2e012d521a0ebc8e6eebc5d3ca6c50a4cc4","datavalue":{"value":{"entity-type":"item","numeric-id":314751,"id":"Q314751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$C3907D89-9C94-4F1D-9A19-9C9EEDECF0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$C5F822F9-DA4C-4FAE-A32C-CC7B9BB83CBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$6723D2F7-3761-41DC-AEB9-82367EC573C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370845$F139302C-65BD-4329-A75E-211A5C5F169B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$8FD860C8-7441-4112-9D7E-A558C51A13BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7916aec521cc5bf63a2f998cf3869575362aacd","datavalue":{"value":"6794642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$A6588F06-8E17-45FA-9909-4B9385C0396C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370845$0244A0A0-5601-4FBA-822E-5365707F5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc99c32d46422d6e1cf2e7d5e63bd237f78c3f3b","datavalue":{"value":"numerical program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370845$A52EA889-70EF-4B50-BA33-9437A9D6CD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370845$C2AAF943-BEF4-494E-B0DB-9DF6E925D259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7a1694629215dc4e884b3f833333bb339f2d7","datavalue":{"value":"performance optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370845$9C424E45-8067-431F-826F-B1B5035A3869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54c567c1925073cd05e9ab2be8a50f6eefc13b34","datavalue":{"value":"polyhedra decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370845$173D8508-F2A5-4523-83D1-49017A541D09","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$D22CE0CA-96F1-4AE8-8E2B-34227A8A3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370845$B28953E1-EB4C-4DC1-B824-BF819B8624CD","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":"Q5370845$518EE48A-F8BB-49BE-B8BB-EBDA090859CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a4c540bfbc1d47d1eee48932f63540f97a70b2c","datavalue":{"value":"https://doi.org/10.1145/3009837.3009885","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370845$86857607-A5C0-483A-8689-A750EF03FD90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90aa2a7a28322634d0707f32989cf0045821a9d","datavalue":{"value":"W2566919497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$AF90310B-3811-4A61-8A73-0E4E50FFEDE4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a28a78fa6db1550e064f0827c644b6962340859","datavalue":{"value":"Q130986526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370845$7DBB2596-EB8C-4358-913F-A42E6A1D610F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e335dc4535d9086ebe6d91638b64d6f21588dbb","datavalue":{"value":{"entity-type":"item","numeric-id":6041169,"id":"Q6041169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607476d5c0010888b6107adfb7b07ffc2ebc607c","datavalue":{"value":{"amount":"+0.9219655","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":"Q5370845$E48C0229-36BB-4DAF-ABC0-6B5E687693C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1824fa6d23d1680b150052c28120e041895a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3761211,"id":"Q3761211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19de24e2998bcb81aca39551b052d882c0bcf8fa","datavalue":{"value":{"amount":"+0.87254274","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":"Q5370845$6F142EC6-1DB0-46C3-85B2-3123B4D18EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e946cfad890c29cfec4c084c306cd7fa04f8049e","datavalue":{"value":{"entity-type":"item","numeric-id":3714901,"id":"Q3714901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762d89e904985be25fc6c65578f6f93106d4b7cb","datavalue":{"value":{"amount":"+0.8647625","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":"Q5370845$8B8392E8-3C26-49EA-BCDA-970624C2F24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9a9cfe4351423617ae72e276d09d0846d01e5e","datavalue":{"value":{"entity-type":"item","numeric-id":3128131,"id":"Q3128131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8911cc16f39233fe956fb3181f8dcc08b4a597","datavalue":{"value":{"amount":"+0.86073464","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":"Q5370845$9CED3D93-CA5B-4FB6-A649-88EC92494468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699da2498ff6986805eb7c32f175fdd23dbd7ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3081841,"id":"Q3081841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384ee853a801edfa375eec479ece3b3374c92cff","datavalue":{"value":{"amount":"+0.8599003","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":"Q5370845$659D9BF8-F2B3-4D47-AFDB-EF4DBDFE04DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d926dddaaf5ffb40cfa001fe05484f11c4d53df","datavalue":{"value":{"entity-type":"item","numeric-id":3813613,"id":"Q3813613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1620b2d63a661204572e68de632aed7c6626d543","datavalue":{"value":{"amount":"+0.85856","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":"Q5370845$7B49520C-1B06-42A4-8710-65FF41440D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6eb8a93f583e2e5c55b15efe2b07126463630","datavalue":{"value":{"entity-type":"item","numeric-id":759483,"id":"Q759483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22caea02d0951499d01d326fd62bca4ce14a9571","datavalue":{"value":{"amount":"+0.8549402","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":"Q5370845$8C01461F-EE2B-4B02-9A43-58BC9764ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff1d3eb2f97b37b5e6ef326a2391aac2ec4d051","datavalue":{"value":{"entity-type":"item","numeric-id":1900992,"id":"Q1900992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1818428f3bc467e6b6b30831204221ee4313be1f","datavalue":{"value":{"amount":"+0.84883225","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":"Q5370845$F380AFC2-DEF4-4534-B847-9BB544EB454F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast polyhedra abstract domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_polyhedra_abstract_domain"}}}}}