{"entities":{"Q5084314":{"pageid":7113890,"ns":120,"title":"Item:Q5084314","lastrevid":57188922,"modified":"2026-03-27T10:26:32Z","type":"item","id":"Q5084314","labels":{"en":{"language":"en","value":"Three improvements to the top-down solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7547344"}},"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":"Q5084314$0F488CE1-2A09-43FA-8782-E37D9F37B9A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3038261c34ef8deeda00bac1bf17bdf2f7627efa","datavalue":{"value":{"text":"Three improvements to the top-down solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084314$055B5251-C42D-4A93-95D7-9663515E430E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71fc1c01a0154893aadae6c54fa1d936828f3460","datavalue":{"value":"1489.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084314$08B79BAC-E83B-4F3F-B3F8-59D10942D1AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"526039191c8fe42daff30690976d4cf2997c48ea","datavalue":{"value":"10.1017/S0960129521000499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084314$BF872C2C-D16E-4B2E-BA94-9B2083FAF7EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$27CD8558-D7E6-4BF0-BBB4-973D653CE84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b47d4daeffd22cc8ca629b6133c88e944b81ce","datavalue":{"value":{"entity-type":"item","numeric-id":1664403,"id":"Q1664403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$7893CB8D-EB18-4AE0-B095-B2DDAE100C7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$37C49158-6AA4-4C35-901F-92CC9650B5DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9bbc3a7cbbc97cf0b4e147ebc83c703a8500597","datavalue":{"value":{"time":"+2022-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084314$5BE24E57-3223-4989-A8DF-0D47E5216748","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084314$E61564C2-A1AC-41AA-9C70-3F61D47DE046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80917ac46c0f3ec6512cac450e20778c767e0754","datavalue":{"value":"7547344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084314$09789886-B401-45D2-B9E6-04CF53AC9DD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084314$98775C4D-FAA2-4585-8ABD-4C55405D7948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf864b44cd9df737940536fd395d19279412042","datavalue":{"value":"local solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084314$107FEC26-0654-4055-B3AF-14B8277D9EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5084314$9591A392-5E70-4292-A81E-E6C5C6CFE032","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e01f55fa4bbaf1f74d3e3deb839030a9561a352d","datavalue":{"value":{"entity-type":"item","numeric-id":32043,"id":"Q32043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$35A4E59D-A1EA-4204-8BDD-1DDA9D6C0F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$A59D4A0E-8874-4162-ACCD-60AD15BA80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$8641504C-E172-4641-B31F-B04B5F9593A6","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":"Q5084314$268303FA-6DF4-4774-A561-C707E74172B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e771a7a9f9ae459cde56ff883df92bce3b5f2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2796229,"id":"Q2796229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$0862CF5D-079D-40E3-B6E3-FDA2BBBD2634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fe4398f099895e5e830584aed6991fb0152362","datavalue":{"value":{"entity-type":"item","numeric-id":5172632,"id":"Q5172632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$F0CD9DEA-1A0B-4FBC-9F4E-336818328975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$4417D760-691C-4CCB-B225-05AA26BC87EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6320bcdb669492dcf10c397f92f5845b27f99b66","datavalue":{"value":{"entity-type":"item","numeric-id":845249,"id":"Q845249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$9BC6CD29-FA21-4703-AE64-01074C1CB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7dcf010b42271de29e98ea1294ec763d120da3","datavalue":{"value":{"entity-type":"item","numeric-id":1818073,"id":"Q1818073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$75E9AEE4-D72C-4E7D-BB56-27B6EBD9A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"495d7d9126c72075773338bb6399421a062f737c","datavalue":{"value":{"entity-type":"item","numeric-id":1583370,"id":"Q1583370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$52FA1F13-48EF-450A-8726-94A79C105F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$B299DD03-6917-49C8-96FE-8A915545C91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$8F522BF2-4800-4117-ADBE-1163BADC3559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$E0FB5B9E-6560-4657-93AD-9DA1DEBB3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$BDB33B81-3505-4AFA-90A9-91BB67425A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fd32c7f7fdea482b7efc7dabf370b8a94582f7","datavalue":{"value":{"entity-type":"item","numeric-id":4910422,"id":"Q4910422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$CC1341D4-DB38-4F32-BF76-0E67F4C9BD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$581B2DED-4576-4005-9666-24828A1961EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916b447b33fd0f2e33de5d81191dc1f4c7211a06","datavalue":{"value":{"entity-type":"item","numeric-id":2881094,"id":"Q2881094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$2C289C53-C02E-4240-84BB-CA4B581445C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0800ed1fa7e9f20d3dc382bf09fa43ecc4726d3c","datavalue":{"value":{"entity-type":"item","numeric-id":2938060,"id":"Q2938060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$9CCD1F60-A9BE-4DED-A0FF-FB81074007C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0607ed4c0036b6285d9aa331b729d86741bb73ed","datavalue":{"value":{"entity-type":"item","numeric-id":3653849,"id":"Q3653849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$AF721C92-4ABD-4CE5-B16D-C58BA70A83CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3444689727313b3d8f2391bc5fbbf91c649c998f","datavalue":{"value":"https://doi.org/10.1017/s0960129521000499","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084314$5274D9B8-A92A-4E7F-90D3-4EA07F8E9B98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa48da4458a6daf24e8ba6ec0a9e8fb3ca867559","datavalue":{"value":"W4210555564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084314$13CADB25-0CDB-401B-AFFE-20F758AF5876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587d18238176fdf483a701335f31f3d3ce98fa1b","datavalue":{"value":{"entity-type":"item","numeric-id":2796229,"id":"Q2796229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b46bac34159e0402604a9a1215c7c5a873a612","datavalue":{"value":{"amount":"+0.8258527517318726","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":"Q5084314$3B93D760-A8F7-4EC2-A6E8-021741747DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35aeda22f3a920efb04a4f7ba6583fa071520c28","datavalue":{"value":{"entity-type":"item","numeric-id":5030194,"id":"Q5030194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b113fcd2f6bbaffd26c12f5ddfb7026561c7ee4","datavalue":{"value":{"amount":"+0.7329204678535461","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":"Q5084314$1499D30D-4BE9-4B31-8B4F-9944DFF7B937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e637b70632a490ac764e22dbcb97321d405fb7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1818073,"id":"Q1818073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806e34f963cc15e30c2d48cfc2d3af89378ea82a","datavalue":{"value":{"amount":"+0.7268609404563904","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":"Q5084314$36F333CD-3B0C-4CFE-8F1E-BD37551E54E6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084314$683D19AD-2A94-4C38-8EF3-28E7FA39ABEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5084314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5084314"}}}}}