{"entities":{"Q859963":{"pageid":861811,"ns":120,"title":"Item:Q859963","lastrevid":64920666,"modified":"2026-04-11T23:06:55Z","type":"item","id":"Q859963","labels":{"en":{"language":"en","value":"The octahedron abstract domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117727"}},"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":"Q859963$7294AB3F-7EC9-4E6A-BF3E-C1C596353861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"214565b3c884b50b9ed49987ecb07496b51da1f2","datavalue":{"value":{"text":"The octahedron abstract domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859963$232C3C11-D855-44FD-9F1C-C896640F6A20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0d34d83821c37880f2e93edad8501f766c0d295","datavalue":{"value":"1171.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$F287A7A4-FE79-45E4-BC28-0D3F5BD18CED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb7f3d9b91bd394e66fa0be83450407223bdff7","datavalue":{"value":{"entity-type":"item","numeric-id":859962,"id":"Q859962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859963$ACFAAE55-350E-44F6-9EAA-10F200371776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d473ca5432f461253d8e2d2e2b48dc9a67b6751","datavalue":{"value":{"entity-type":"item","numeric-id":708893,"id":"Q708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859963$E9F6091E-C550-437D-B7B9-32CD04C06C61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859963$37CD6BAE-C65C-49BE-9FED-185091FF7C0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859963$FF251F62-8B35-44DD-B31E-20609DF39D97","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4241c2e53aca2a0fe8fc0934a0f7ef10d640ecf","datavalue":{"value":"http://hdl.handle.net/10609/109823","type":"string"},"datatype":"url"},"type":"statement","id":"Q859963$EE1063D5-EFF4-4416-A2A6-507FAB7D5008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$D4C37351-0FF5-4272-9A2C-1E540DE0E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$AE8607CF-73EE-4435-999C-35D4E4D137BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b354b8faaa6659128add42dcac5475ee4bd62ab","datavalue":{"value":"5117727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$52D587A4-0568-4040-8DC9-0BA68F571057","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859963$6202A5FE-35EE-486D-8E8C-7727854BB51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed153f3e2ab767c2a53dd5dbe17e016974e99e2d","datavalue":{"value":"numerical abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q859963$5EDC49A4-5E50-4332-B9BF-CDF223522AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5fad2d9d3940a1cd6ff13e5b77c9eed3976ecd","datavalue":{"value":"relational abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q859963$CB5D131E-9BCD-4A58-AFAF-6574CA720A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43a786e5f1b39556c5e22e1d196e566932e4219","datavalue":{"value":"convex polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q859963$82DDC146-544A-48D4-B82E-5CD93B3EA367","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1b7092651c8e9ca83f2019770ee1c0efe589f31","datavalue":{"value":"Q55970408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$4DD3DABD-7AAA-4D80-8A1B-A9D76804FC97","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":"Q859963$C35A212F-BA1C-4D3B-84A6-1A1DAC721CEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18ba085b67992decf4e3cfdcd934738fc64d81bc","datavalue":{"value":"W1968208713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$DCFE78BC-D878-4F77-B369-839BFC8F521C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"779bced9fd1699ce9f6a03e2416d0d4dcc2a1dbd","datavalue":{"value":"10.1016/J.SCICO.2006.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859963$17FBAC8D-B158-41A2-A47E-044873ACA123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bd4e2a1f47813c0fcb5b64b6ff455cb621322a","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bc7400fcfe893b6b24a01689cdd1ab39071eb2","datavalue":{"value":{"amount":"+0.985653519630432","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":"Q859963$CA1AB9B4-9EA3-4001-B49E-89E5C7BE6B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a728c140a26ec6dbef350476d26aa2cffcd91e9","datavalue":{"value":{"amount":"+0.8545118570327759","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":"Q859963$E66BEFF5-3B74-41AF-B40C-C237429AEA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec570d5829beedbfc349d0394b951142f0e8197","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a1f8e4d87745fc27ed69ddc5f17fe2a60f87aa","datavalue":{"value":{"amount":"+0.7891630530357361","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":"Q859963$E8899C98-D943-426B-8EF1-FD28CE8624FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76cc4e7a3a2108a95155e3bcc32bf2b566734346","datavalue":{"value":{"entity-type":"item","numeric-id":2789052,"id":"Q2789052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a1f8e4d87745fc27ed69ddc5f17fe2a60f87aa","datavalue":{"value":{"amount":"+0.7891630530357361","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":"Q859963$8B5F85E5-D095-45DF-98EA-54CDC12C340A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca62a8e20d4ce0fae59c1b104824cff6ef55058a","datavalue":{"value":{"entity-type":"item","numeric-id":2335904,"id":"Q2335904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09117ccc4a16092d50a9dd5e094e954623af5860","datavalue":{"value":{"amount":"+0.7812204360961914","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":"Q859963$C264538E-3F67-4ADD-BB09-F1384629669A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The octahedron abstract domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_octahedron_abstract_domain"}}}}}