{"entities":{"Q1887175":{"pageid":1897917,"ns":120,"title":"Item:Q1887175","lastrevid":69552231,"modified":"2026-04-13T07:47:17Z","type":"item","id":"Q1887175","labels":{"en":{"language":"en","value":"Abstract interpretation based verification of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118435"}},"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":"Q1887175$BAFA0CA6-C4FF-4ED8-A228-1879087EC30A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b1412787513b76326ad77d3678a7b0595bbec8c","datavalue":{"value":{"text":"Abstract interpretation based verification of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887175$0AE4E886-F37B-4D93-901A-53EE6308A83E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"027ceba41d3c14d9beba231a03b4a3f14638298a","datavalue":{"value":"1071.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$F8CA97D3-FF3D-4FDB-854B-1A089C42A08E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887175$8806FF61-35C0-479B-9218-42641774740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887175$1D7751A3-F9AC-4269-A3A0-B5E689361264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887175$EC002E8D-92F7-4CB5-95A8-5A927A7CB754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71df50d4123f0ea79d467671b14c60866ef73d12","datavalue":{"value":{"entity-type":"item","numeric-id":1595251,"id":"Q1595251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887175$7ADE9F55-CB0B-4759-BADB-2E7B53687616","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887175$EB9BE85D-41D7-4C82-8239-B812354AB01D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887175$F8FDEE6A-9A44-409B-9A9B-D90E80855705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc3104540c8d6b4c30268064bc05e0dd8c3f959","datavalue":{"value":"https://www.openaccessrepository.it/record/41652","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887175$2455267A-4424-4FB4-864B-0BDA3CFCFB3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$4923B6F4-D513-44F5-AA27-4A3AA93D280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$EC367811-1830-4AF2-9387-B6FA5D169004","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9012ff219ecb87dcda97c227feb131f72896c34","datavalue":{"value":"2118435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$DEAF41F0-3B81-45ED-AC35-93B22A497FD3","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":"Q1887175$9C083E3D-06A1-4FFB-ABAE-3C68C159F0AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5e328086c7554ce57d277b1fa58663ba184d472","datavalue":{"value":"W2024097713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$AAF455B9-D810-4AAD-A465-BA12F74F8784","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6faaa0f0cc4bf9a41bca4d00909d28aec7074b25","datavalue":{"value":"10.1016/J.SCICO.2003.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887175$E6410EE4-D683-4AC5-BAC7-3AB9246A8BEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd1dead90757dd8b2a788b4f82b94ca2a2a4bde","datavalue":{"value":{"amount":"+0.9767584204673768","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":"Q1887175$430C8F41-5D6F-4617-96D8-CE1584ECE0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa4fabd2c6a9412f1abade6d2de6babd2fd610f","datavalue":{"value":{"amount":"+0.9346985816955566","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":"Q1887175$116929C5-1E69-4DB9-9387-2C9FB1EA77EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de501cee94d2b82843f4cd23fa48630f29c4675c","datavalue":{"value":{"entity-type":"item","numeric-id":4217939,"id":"Q4217939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30c484c75ce1a740ea62f49e1fa213e5af8ae7b","datavalue":{"value":{"amount":"+0.8652253746986389","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":"Q1887175$411857F9-2C01-4065-A8FB-561288D793C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345ad83905e2ea4ada5b47a0dee5490f6d81ba28","datavalue":{"value":{"amount":"+0.8439750671386719","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":"Q1887175$34093C89-649B-47FD-8AA4-BE14392F6D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6daa6036e8959bb2680ffd383a1e963ea5786e6","datavalue":{"value":{"amount":"+0.8323850631713867","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":"Q1887175$E4E9D38C-79E4-41DA-8D88-5387551747B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation based verification of logic programs","badges":[]}}}}}