{"entities":{"Q5902155":{"pageid":8010970,"ns":120,"title":"Item:Q5902155","lastrevid":97621682,"modified":"2026-06-05T15:06:41Z","type":"item","id":"Q5902155","labels":{"en":{"language":"en","value":"Observational Completeness on Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574368"}},"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":"Q5902155$7BCD169C-888B-478B-A07C-5CB3E5FC6AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3ce4c66286782b41c0846c521d3db933a029e82","datavalue":{"value":{"text":"Observational Completeness on Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902155$C32D1F91-8BC2-4F75-836F-DE93F9FF87A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96ff219a5df70385caada7c4313e4c2f03c3cc11","datavalue":{"value":"1246.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902155$DD6D6606-5D93-4CD8-BAD9-463DBD486735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"105c3472716be3597ac39b9cee96d33e63a2e5e1","datavalue":{"value":"10.1007/978-3-642-02261-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902155$56179D92-EF02-40E6-9112-E24EE5573100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$C16BB8B0-72CD-4582-92F9-9C823A2214FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf2e86a415f1d5bcb22ada61dbde8bf5253a38e9","datavalue":{"value":{"entity-type":"item","numeric-id":281281,"id":"Q281281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$D65C66F9-29AB-4E52-933E-B30E9C1D389A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$50D9E2D4-E297-4C94-8CD8-1DA938E7A0EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902155$A9EF31F5-2F59-4039-97F2-8681DB739394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902155$25A883D9-3A6A-4725-9DBB-4466F904C5F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce1282627626a09198ae5db561a25aa495912846","datavalue":{"value":"5574368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902155$FEB6A982-E21D-45D5-9C18-080210F6CF69","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":"Q5902155$5E89F17F-69CB-442F-8FC0-F1E3678CC15A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e85e63883c4e5c7f80fa6e87f10bc5f37800f5a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02261-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902155$A3ECE578-0AE5-4F35-BE1C-EEFAC0F537B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77039db50f70c15803811404feed173bd30d0de9","datavalue":{"value":"W2109217938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902155$4A7B9C3A-9947-4DC8-B3DF-2648751AED12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$649CF848-7DE7-41C9-8850-07542867704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$51706250-4A46-422E-9A0F-A433B32085C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$5DB6BDD8-EF19-4379-AF49-C01A11A1F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$24146DCC-AFE5-4086-8251-F4E3458E2207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$F4AF3B16-517B-4B50-B2AD-DC8772C6C80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466a21fc1c7fcd39afa8d38d1b8bc1715703792f","datavalue":{"value":{"entity-type":"item","numeric-id":5385595,"id":"Q5385595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902155$8C9FDE79-29F8-4548-BFFD-50A2BC406428","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb6e3a3c9356ef92ed8ddf84a4e8730b614db2e","datavalue":{"value":{"entity-type":"item","numeric-id":5894358,"id":"Q5894358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5902155$60931591-5566-439F-80B4-D4F196D48226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b68c542d7ab868367b619e59e3cfb18cd22641","datavalue":{"value":{"entity-type":"item","numeric-id":1704504,"id":"Q1704504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274216aeec0156e8f1f45b7b61802e88bc18bac4","datavalue":{"value":{"amount":"+0.85268474","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":"Q5902155$46DFACB0-AE80-4BA1-9695-2A61A0C02DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2f7151fa342070d509b9ab1f5b6debd4904a22","datavalue":{"value":{"entity-type":"item","numeric-id":5308686,"id":"Q5308686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a377ebb76c8b705f51631d063a79d3b1d60f753","datavalue":{"value":{"amount":"+0.85003823","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":"Q5902155$3C755404-B154-468C-A1B1-AAA189BE0180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54854bc4df226bad8f7d2569aaee7804076bea3","datavalue":{"value":{"entity-type":"item","numeric-id":4986259,"id":"Q4986259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a427045366edb171d353dc5a29cfa52a9d81c03f","datavalue":{"value":{"amount":"+0.84921443","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":"Q5902155$6883CA64-AFB9-4431-B181-33159D45016C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a97316af8605e57202aff92c985e4fff6f4806c","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764267344718d88868860897c1003c8d3e8381f2","datavalue":{"value":{"amount":"+0.8450137","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":"Q5902155$E0C111F9-872E-4ECB-8B16-5C5CD45AF0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3a380111562d661f14c9f6036a24d2fb2231f6","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f91a9a4046827f8138bdfc343bda25f16717aa","datavalue":{"value":{"amount":"+0.83904225","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":"Q5902155$2A000CE3-516C-4F3E-A0E9-C78BF4D3F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9580e28667d40b69210168215a0fa4a470dbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3754616,"id":"Q3754616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f27307ad37dab4844392e193803fc394a9d64a","datavalue":{"value":{"amount":"+0.8388562","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":"Q5902155$6DF82BC9-C78E-4BD9-B8AE-3A509E83719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d7b6dd95d067f47d109a6fc0fdfdc8535c799c","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddae17b9c23aaf00edf273f807c2c69332c3a93","datavalue":{"value":{"amount":"+0.8362118","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":"Q5902155$D9D6B704-B658-470D-8136-BF3A62EB1DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observational Completeness on Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observational_Completeness_on_Abstract_Interpretation"}}}}}