{"entities":{"Q2961582":{"pageid":2972307,"ns":120,"title":"Item:Q2961582","lastrevid":85516637,"modified":"2026-06-03T09:17:58Z","type":"item","id":"Q2961582","labels":{"en":{"language":"en","value":"Conjunctive abstract interpretation using paramodulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687370"}},"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":"Q2961582$0554C904-DD37-4182-A573-BCEC19FB3371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336b03647693dc44ba613c6fcf53d7e6e320ae56","datavalue":{"value":{"text":"Conjunctive Abstract Interpretation Using Paramodulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2961582$806925C3-E573-46C5-B27F-BC02DA16D3BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd7124ac6cb729efefff32e4eeebb1109fb03ecf","datavalue":{"value":"1484.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$5937EAA2-E141-4A25-AE95-0795E40C066C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"524013c5b9d0d8c1d9f05c7daa54e7241c9184a0","datavalue":{"value":"10.1007/978-3-319-52234-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$B83D5E2F-F992-4B68-9D91-37AA6A57F8A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1056a6cb7231ef9a62b421402d7413272b971eb6","datavalue":{"value":{"entity-type":"item","numeric-id":2961581,"id":"Q2961581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$E5EE349B-6628-4C12-A2CD-7D88183AC1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af28c01640955d451ab13d8ae854a3ea0fd656ad","datavalue":{"value":{"entity-type":"item","numeric-id":2044195,"id":"Q2044195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$AEAD38BA-701C-434B-AD15-DDDE112123EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$3C11DAC1-DFD8-4A27-AF76-4DE7F1ED78F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$558BE252-CB7F-49AC-9069-4FB44DDE0C48","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":"Q2961582$C281DA11-EBA7-4351-A059-38EC7245EAE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd8f9c1001071b6cee894af884cbd2ca840dd53","datavalue":{"value":{"time":"+2017-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2961582$6CCC037C-0C61-49FC-BD17-2393D401AEF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$EABDE0E5-99AA-4378-A2AA-D31C45EE1C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$3A2F7030-2897-4EC5-8F9C-608C797D1EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc690e36b239cfbd3916090681f19e3f175d1732","datavalue":{"value":"6687370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$4ADFBE58-9D8D-4342-8043-ECDA11AF586E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$7FD895BB-C268-4217-9D27-6592AF49923F","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":"Q2961582$6D4B2BCA-D167-4831-B131-508181477931","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06985381970fcd6dd0c9516e53d4e64706dbb95a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52234-0_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2961582$9EB1DE17-497E-4FE1-9E48-C6A5AFA8710F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad415fc6caa3ee17216c0e28882e74c6e3bfcaad","datavalue":{"value":"W2568837000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2961582$E25C0797-6F59-4446-B074-E116873D6C6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$173B6A60-ECA0-4853-B450-2368B38F3B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5168a69757ddd9ac215dbfaba8ad4ea5029d0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3128619,"id":"Q3128619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$DA479CBE-A5B0-41F4-9911-34ECD3F95B8D","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":"Q2961582$0136CA34-CE0A-455F-AE4C-100FE1581DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$B9CC6AE7-2D7C-45CC-B747-4E48C57D153A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c6be5b948bd0c51b43bd06bdf6774d93d9c414","datavalue":{"value":{"entity-type":"item","numeric-id":1285656,"id":"Q1285656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$1095CB80-93E3-4917-8F60-7D5357CF9D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f782962b7571552d1e9b00b9cee56f921036ec","datavalue":{"value":{"entity-type":"item","numeric-id":4012182,"id":"Q4012182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$BE56F870-E6A7-4480-9604-6BC9785F90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$78032190-A834-4250-9B68-E00127329AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$BAE4AF15-F9C2-489B-A651-417E0D474356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$77BC373C-FC9D-4F20-BC2C-B4FB6D850768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357bdfb4c5e9980ec5522cdcacc1a9153d4ab8bb","datavalue":{"value":{"entity-type":"item","numeric-id":1605228,"id":"Q1605228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2961582$89906DA4-83E8-4927-9FF5-1A994EDA6846","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb699756df25a31694772574fad73e45244a0f","datavalue":{"value":{"entity-type":"item","numeric-id":3454115,"id":"Q3454115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4164242b0355245aab3824290dcb37392f1451e","datavalue":{"value":{"amount":"+0.7472350001335144","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":"Q2961582$CD0EE72B-D293-4633-868F-C6F36E358406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f2005576d5c913144e0cc43c5a878efbc34682","datavalue":{"value":{"entity-type":"item","numeric-id":2360874,"id":"Q2360874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175dc46de2e7581dec54f71fd204bde1c8e00b0d","datavalue":{"value":{"amount":"+0.7329312562942505","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":"Q2961582$DC3967F9-F624-4016-8838-B7C2013DC1E8","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":"e154e142b156612f73c947a9d699ba23937cb64b","datavalue":{"value":{"amount":"+0.7270494103431702","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":"Q2961582$E4A136F0-C806-41CA-8ED0-34C8C85CFF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ee55e4c9f866e5b0c40ec6c6c30ed04f1bebf0","datavalue":{"value":{"amount":"+0.7210537791252136","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":"Q2961582$0DA313C8-E41D-4CA2-BBF7-BBE882228C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf9e90e620ee3435ec3a2e71bab4fdd5ece9eea","datavalue":{"value":{"amount":"+0.7204833626747131","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":"Q2961582$F49998FE-B081-4301-9744-0292C9D3FB2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conjunctive abstract interpretation using paramodulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conjunctive_abstract_interpretation_using_paramodulation"}}}}}