{"entities":{"Q5756500":{"pageid":7786051,"ns":120,"title":"Item:Q5756500","lastrevid":50157566,"modified":"2026-01-13T07:23:13Z","type":"item","id":"Q5756500","labels":{"en":{"language":"en","value":"Small Witnesses for Abstract Interpretation-Based Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187159"}},"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":"Q5756500$660EF62E-7C63-4D1C-9204-C9F76AAE4CC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25fee961b745f8bdf0a6f4c82b62149a34250a67","datavalue":{"value":{"text":"Small Witnesses for Abstract Interpretation-Based Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756500$44B440EB-27E1-4B42-9851-AC4C00C64589","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"546a63e04ea7604fa9affade906398ad8f8f211d","datavalue":{"value":"1187.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756500$EB48E081-4B77-4017-A4DD-DE178F3C008A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f6c5187afaac8867eeb97a43820871ee943f59","datavalue":{"value":"10.1007/978-3-540-71316-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756500$8FC45FE3-8A99-40B7-B77D-082108826650","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":"Q5756500$9265E5D1-EE74-4CB0-89D7-2F235174E550","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":"Q5756500$0A1CB695-A3F6-4592-AABA-BF125BCA8951","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756500$DB112C08-FC82-40B1-A14F-2C67816AD31B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75c5b062bc0bed4fbcc28c14f8179aaed2229c4d","datavalue":{"value":"5187159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756500$21B18511-ACF7-4D44-ADB4-DC30F09B5385","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":"Q5756500$E380E5CA-3329-40A1-BADA-BFA9D6E55F3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30ba05c35938ebee9256ef7f50966a5031de8e1e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71316-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756500$70A5BC74-86E4-4469-AE6E-2A9239A81C79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e087b53dc19aa9ff2dc92bee91b9a8472e92bf06","datavalue":{"value":"W1575875253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756500$3A5818D1-BEB3-48A2-A1A1-5003F98E92DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4c70cf3c563bd9444be9456564182b43f0e7af","datavalue":{"value":{"entity-type":"item","numeric-id":2909518,"id":"Q2909518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973151e6e189ebcd2d55479f9e3dafcc0d35cc19","datavalue":{"value":{"amount":"+0.7958081960678101","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":"Q5756500$334AEA9F-F18F-4FF1-9A6D-3F5B59A68D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2d80b851ecadc16a14996b065c31a3cdc1d4c3","datavalue":{"value":{"entity-type":"item","numeric-id":5449599,"id":"Q5449599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99de438c12f9d7f284c87c0b96a5cc8f2af45532","datavalue":{"value":{"amount":"+0.7874882817268372","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":"Q5756500$EB076E11-EDCE-4AEF-AEE1-82E72BD8A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7acbd98e8d0bbf3841617415e95e8fb3442ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":860842,"id":"Q860842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453629c357b2b60d215f4e359a8990efa6718295","datavalue":{"value":{"amount":"+0.7869647741317749","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":"Q5756500$0FA140C4-0B61-4471-AE27-DBB0E2246B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d215209b8ff3db2f785ab3064bc31974b1ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5705936,"id":"Q5705936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55d7ac0bed1270d178df705ccb68ec954266cf3","datavalue":{"value":{"amount":"+0.7619951367378235","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":"Q5756500$AABF7AA1-0146-4BD7-B588-6EA4F30F21CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739c9513b8fdb87c5ba056d95a097148e536dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":5902363,"id":"Q5902363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84dcf02521b27dba30179b258d7f50c00017e0e","datavalue":{"value":{"amount":"+0.7552356123924255","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":"Q5756500$AEFE578F-E53D-49EA-B19B-1AE505DB5B67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756500"}}}}}