{"entities":{"Q4930734":{"pageid":6960316,"ns":120,"title":"Item:Q4930734","lastrevid":91963085,"modified":"2026-06-05T00:31:07Z","type":"item","id":"Q4930734","labels":{"en":{"language":"en","value":"Boxes: A Symbolic Abstract Domain of Boxes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794764"}},"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":"Q4930734$FE50533C-B02F-4B08-85C8-9173C9C3BE27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67faf9b3fed3673359dca03c30eb611db3b707e9","datavalue":{"value":{"text":"Boxes: A Symbolic Abstract Domain of Boxes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930734$8CF1FD02-B059-4477-8B3E-3E6126545596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b0c273f4f62c86d05c928b088987c825d70ce09","datavalue":{"value":"1306.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930734$5566E14F-1E8D-4647-B703-5D808288DB47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9b634b7e3060006d920068b0166b8e6bba4ea33","datavalue":{"value":"10.1007/978-3-642-15769-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930734$FB5D6609-62A8-44A2-9EA0-FB1DF0AA2072","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930734$2F3B837D-690C-40CE-B974-7668EC8D704D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930734$40010959-9CC0-4896-9037-B764BEC9A034","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930734$7D953924-E168-4354-AE89-E453D0EB87AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930734$2C2EEF54-ACFF-4546-A53C-29721BB36CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930734$C60B251B-290E-4888-B4B8-552277AC049E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca2c5a2624b30a27f31be4b28a6c92709eab557","datavalue":{"value":"5794764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930734$C501A05E-604A-4D0C-9CC6-2E37301B4848","rank":"normal"}],"P1463":[{"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":"Q4930734$048C11C5-5B26-412B-BACD-7AA52DA39159","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":"Q4930734$55C4AD74-5175-4F43-86CB-16B3A91BD118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f13e6d49c2745817f2cefef19db1e7ab01169b2c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930734$ECF84E40-1866-48E4-9CE4-24FD66D8FBB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"054e328728091f785bd2af14ac8c78bd87a1244c","datavalue":{"value":"W1572129784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930734$B62C0121-5731-4A44-95A9-AC74321F1A2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc982152b459b0e7ff154493c10dcde017619f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1274445,"id":"Q1274445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80321ccf1c1c9ecb9a588286320a9760ee3bc0a2","datavalue":{"value":{"amount":"+0.830602","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":"Q4930734$360C8A22-98F8-4671-97FB-B65E63F434E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23dbf2b3abb711c2e9d6e82ad39c5785baef2694","datavalue":{"value":{"entity-type":"item","numeric-id":411436,"id":"Q411436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a624525ea7c266ec45b541355e429864c62230","datavalue":{"value":{"amount":"+0.81459343","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":"Q4930734$87D75D4A-364C-4FBD-8528-24E80F172B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc9fccdd78a03c3eef60e8daa3a0314ca25b722","datavalue":{"value":{"entity-type":"item","numeric-id":3644740,"id":"Q3644740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26860c45fd290615acbfa61297601b4a87e22724","datavalue":{"value":{"amount":"+0.8130142","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":"Q4930734$B740D374-A53A-4813-AB96-E107080B5196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3dc9c298f044983d61b93aebbb144805de5331","datavalue":{"value":{"entity-type":"item","numeric-id":5283625,"id":"Q5283625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bff2d969871daededf70cf28f6aa2410b9d7e0","datavalue":{"value":{"amount":"+0.8036395","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":"Q4930734$CD1C560C-5A8B-41B2-BFDC-0DB68CB11776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ab6e54766b1034264dd6d2e9cfa138a60937f3","datavalue":{"value":{"entity-type":"item","numeric-id":3655254,"id":"Q3655254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c669cc1ee701466770fd89b44faaa016bdf0a5b3","datavalue":{"value":{"amount":"+0.8010883","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":"Q4930734$56B35479-0B9D-4D0C-BB94-81B2283961D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c11b192664443ca81b19b223595c953f40e6d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5096357,"id":"Q5096357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cf6f4ea6dd2f7995a0283b0d28450734fb1c6a","datavalue":{"value":{"amount":"+0.8006948","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":"Q4930734$14C97C42-479A-4910-A5D2-A779537CDE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622f559ada444c2a06618cadb05368a2a88f21d8","datavalue":{"value":{"entity-type":"item","numeric-id":3456852,"id":"Q3456852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9aa729e6067e0038d91a72d78fd52c8c681f2a","datavalue":{"value":{"amount":"+0.7956422","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":"Q4930734$561E3F45-46A9-4C29-96E2-01BC353B7AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47b5cd40b2b6ad25f08b759dda5a6f954c782f5","datavalue":{"value":{"entity-type":"item","numeric-id":4232469,"id":"Q4232469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034417657f7180be4e2d75055c85b26b2624af37","datavalue":{"value":{"amount":"+0.7949655","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":"Q4930734$B29136B4-1792-4F9B-97F1-57F7339071F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c97e514254c62aa94c7cc3251f9bf80da9df0de","datavalue":{"value":{"entity-type":"item","numeric-id":4600515,"id":"Q4600515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3015237723d596c66362c4f68ba41f0e54d4a1e","datavalue":{"value":{"amount":"+0.79389167","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":"Q4930734$2F121242-C971-45A5-BF26-5ED15DB024E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a189e4081a09c43d13111fa3c83a2902ef0c5a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4500366,"id":"Q4500366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57f644b99d456234a77b6e77eecb359b118a81b","datavalue":{"value":{"amount":"+0.79084176","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":"Q4930734$CFFD682C-3933-4D1A-92D6-1D037BECF301","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boxes: A Symbolic Abstract Domain of Boxes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boxes:_A_Symbolic_Abstract_Domain_of_Boxes"}}}}}