{"entities":{"Q5756499":{"pageid":7786050,"ns":120,"title":"Item:Q5756499","lastrevid":50157563,"modified":"2026-01-13T07:23:13Z","type":"item","id":"Q5756499","labels":{"en":{"language":"en","value":"Static Analysis by Policy Iteration on Relational Domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187157"}},"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":"Q5756499$236655CF-B5A6-49DC-9013-49CE8F1ED8B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06d9aa7ea187d3fbe7115bcc81b3f6fda2d82bb2","datavalue":{"value":{"text":"Static Analysis by Policy Iteration on Relational Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756499$CD0AE478-340C-4008-862F-FD4B587A6C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"567bfa998dbecc70efd356d54d77846c658b2b40","datavalue":{"value":"1187.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756499$A1876472-455E-406F-866F-B23FA210E9B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70f23c70573238d62366634d1ff866d59283abb0","datavalue":{"value":"10.1007/978-3-540-71316-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756499$4C5DB336-502B-41E6-836F-5132141406CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e298a50abdd4dae72108aced252284ab65651b78","datavalue":{"value":{"entity-type":"item","numeric-id":255785,"id":"Q255785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$E286332E-06EE-4B60-8922-DA1E12AB6E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$0E3F79DC-09CF-41E6-9D35-3D3239BD37C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b30d7950bd9a8ba8b3612674c6f19254fd3ac4a5","datavalue":{"value":{"entity-type":"item","numeric-id":2920145,"id":"Q2920145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$9373C1B9-A534-41B3-9766-8939CA834938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266809025b82cc8677e1b02a3d7cf0c24ff2fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":2575732,"id":"Q2575732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$44F2D5E3-15C9-47DF-977D-0651E168A49B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$5918DB09-8E4D-4D04-9377-99A55692ABE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756499$56A2A9E7-6E1D-42C0-9600-595A15FEC3D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756499$9F3BEA54-D047-48E5-B34B-64FFBB7C486E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230cabada05fb883100e4265c55ee681f1b00717","datavalue":{"value":"5187157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756499$89A8783A-49B7-452D-AECD-A6949181BE15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756499$EB02D0E0-626B-41E0-9237-02E02BE0BCFF","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":"Q5756499$19EB6D6B-86E6-4877-B879-667AA5B42A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"359556d90c7c9d076178bbff01723c9bfd6415a2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756499$24B444CE-3BB0-4EB1-BC87-A3728C41D286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a05a69d32d36786ad7d08b428e5db49e48aeb8a8","datavalue":{"value":"W1547121950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756499$C82B8284-FC1F-47C2-9778-36746B59496E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5df45c143d99ab4df25b9a08bdcc2a884a994f","datavalue":{"value":{"entity-type":"item","numeric-id":5716589,"id":"Q5716589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729e5fc91f12d65151afa4de9782b5bdfed3825e","datavalue":{"value":{"amount":"+0.8726121783256531","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":"Q5756499$DF45C017-26BA-47D0-9097-9ECC57C4117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4389e6fcab0901e3894e24f0dce3a08a1d0612","datavalue":{"value":{"entity-type":"item","numeric-id":3608402,"id":"Q3608402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f977c3588b4adf4dd02f24c06ae8921afefa5e29","datavalue":{"value":{"amount":"+0.8433588147163391","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":"Q5756499$303FD3D2-9100-4B21-A621-1C34E818F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bd5c002627e83ede0421eb26494640b696b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3558213,"id":"Q3558213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d001de7d07a21560fac2f928cae4f67befe114","datavalue":{"value":{"amount":"+0.8228437900543213","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":"Q5756499$C443E817-E4CF-4985-B164-7A1A69525655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a780918f395490124eba94a6367e771eeb565c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2881067,"id":"Q2881067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9021d192140db6844cc38f583d6b139a54d971f","datavalue":{"value":{"amount":"+0.8209083080291748","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":"Q5756499$0D409F35-6408-482D-BBD8-D5BBDD832CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb2cf8681fed729eda6ee4a6f9fd70e7b56de518","datavalue":{"value":{"entity-type":"item","numeric-id":435974,"id":"Q435974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff81ce583665eb266f4a80f6891c8cbf55c948f","datavalue":{"value":{"amount":"+0.8121985197067261","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":"Q5756499$9142B101-0932-442C-A788-C0AAECA6A57E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756499"}}}}}