{"entities":{"Q3578394":{"pageid":5608298,"ns":120,"title":"Item:Q3578394","lastrevid":51042662,"modified":"2026-01-16T08:48:38Z","type":"item","id":"Q3578394","labels":{"en":{"language":"en","value":"Static analysis, abstract interpretation and verification in (constraint logic) programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5758217"}},"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":"Q3578394$A4C2C668-DF33-43C0-AA40-3C2C1BC66C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"825956cd7887f4ae6df8ec68124cc17d5cc8cfb5","datavalue":{"value":{"text":"Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3578394$F7817AFB-08DF-426A-B5F6-C20169EEAE81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9360b95053cca1462c6e8be3a51dafb9d2a48edd","datavalue":{"value":"1285.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$B1CD8E0F-1784-4348-B179-E966774C3277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a30e050a27dae7ccb0515d7ee896bda9f87a737c","datavalue":{"value":"10.1007/978-3-642-14309-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$24C44740-3021-4972-892C-6E63C9BF4725","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3578394$9210CEF5-E2ED-49D1-AC5E-C86A63902597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3578394$2B6E0122-6C3C-4FE1-80B7-2983A6D27F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3578394$09977D85-580E-4067-896D-C7B2715C952B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3578394$5574BFC2-AC31-4BAC-9D47-31CADE68CD0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49725197d5403193e6793b874c212de8a1d5fa7b","datavalue":{"value":{"time":"+2010-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3578394$DD194EA6-2D31-4265-A027-E31B8911C3F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$F921124E-0FF0-4032-9D82-BA6C613B97EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$3CEB9104-C1D5-472D-AF94-4914F5A13A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e3eccea5a84b23dac074dd836138fe1d4d43d3a","datavalue":{"value":"5758217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$A9F10DE4-2F30-4AE7-8CA0-6B4236224950","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3578394$B12A7090-ED4D-4584-82BA-3C2CA62A03F9","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":"Q3578394$18866029-5E7B-491B-957F-357652E300D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de944c5fbfdf226e7fa826c2f2947f38a1c93588","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14309-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3578394$411241B3-9E0A-4539-AA39-21E91F561E7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0270de5b102b8ec8cfa7c81b1d992af3bcde9100","datavalue":{"value":"W2139712811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3578394$9D815802-00F9-4448-8604-E5EF818B7269","rank":"normal"}],"P1643":[{"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":"7ddd8fe5e8209e336ad858b6ce9471960fa88d0d","datavalue":{"value":{"amount":"+0.8827546834945679","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":"Q3578394$95A3460C-0884-4D2D-A33E-B44166BB0352","rank":"normal"},{"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":"bd6ede155a8bbec3b467c7863a1de4a5e3a7daed","datavalue":{"value":{"amount":"+0.8482359647750854","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":"Q3578394$E83937E7-1D4B-4419-AF51-51DCD181068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"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":"Q3578394$9AE27EDC-B443-427A-9EDF-199AAA7541CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7914b5e80f8c1df864d12493294d455539c6498a","datavalue":{"value":{"entity-type":"item","numeric-id":1395430,"id":"Q1395430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5728ae68adfff67eeb3f6252576d28f574c72f","datavalue":{"value":{"amount":"+0.7989678978919983","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":"Q3578394$52F812CE-97D8-44F0-A5CA-0393DA7CF387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c546520d7f0db4704728d4ad78d9bbb66cf00c7a","datavalue":{"value":{"amount":"+0.7967405915260315","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":"Q3578394$28B8141C-21D9-493E-A835-99646218B3F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3578394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3578394"}}}}}