{"entities":{"Q2870162":{"pageid":2880882,"ns":120,"title":"Item:Q2870162","lastrevid":83952689,"modified":"2026-05-07T14:52:02Z","type":"item","id":"Q2870162","labels":{"en":{"language":"en","value":"PeRIPLO: a framework for producing effective interpolants in SAT-based software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247467"}},"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":"Q2870162$CE2C0751-9F80-4392-B875-96C149DED72A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"958c308d4d8a433e8be3dac7f6286cce9c5203f8","datavalue":{"value":{"text":"PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870162$0B06242B-9683-4585-9D75-BF5707A4860D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d00cd78ec74fc6d16f5b48bbb0b835e0706ba5e2","datavalue":{"value":"1407.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870162$BDF16BD0-606C-48DD-95D5-F1067864DFB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8966e23b5670bf96741864176b20444738b33dae","datavalue":{"value":"10.1007/978-3-642-45221-5_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870162$E8CFF461-F3AB-472D-A13F-A48CB83AE00C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"571cec4889c575499a441dabf98bf7cfd5211fbe","datavalue":{"value":{"entity-type":"item","numeric-id":479812,"id":"Q479812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$AB5D1BA8-D416-47B8-B552-0EE707CAE2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f44b052d5aaab89a7ad9f34946ed3d3ed704662","datavalue":{"value":{"entity-type":"item","numeric-id":2009610,"id":"Q2009610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$2A8D08EF-4AB3-4837-B8E9-889E3B9311AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$ED19F865-6F15-4F97-8853-9493C5E250D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$41A8FB36-CA5E-4ED8-8F26-8F1DE9AF5580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$48A50528-D02A-4D57-AF99-FAB6043D3CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$BD83C4F6-536C-458E-B7A1-5D09B297C7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870162$8E82EEC0-CC0D-46B6-9A81-341E6D966A0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870162$0ABF4928-130D-4B3D-B402-5C97D8AB1AF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b3530a8e7d5b2fc61f72cb4b75c78f3ec5a8bf","datavalue":{"value":"6247467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870162$B837DB24-0042-4646-9DBD-6F3A73AC64A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb907c191c9b4526ea77a562d1372a7e74d8254f","datavalue":{"value":{"entity-type":"item","numeric-id":21690,"id":"Q21690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$DDEFDE67-03B7-4B5A-81AC-9322EF719ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bad17ed9105e56234c3fb1410804a2c89618330","datavalue":{"value":{"entity-type":"item","numeric-id":19912,"id":"Q19912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$FE751E7D-3CAD-42A0-99BF-B7C874C99AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61966f1b26da86e1a00e54448284de2cda99b2af","datavalue":{"value":{"entity-type":"item","numeric-id":18663,"id":"Q18663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870162$1D4FA32C-EAE5-4D79-9708-D119678B1283","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":"Q2870162$0CE67C40-B9DE-451D-8479-24CC069A0092","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b44fbddfe7397d29414f789f97e019f6e17d052","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870162$92A90115-1533-4A76-8797-445D3FA8FA2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"197f04209b5881144adf54d1400d9f60c08fbe4d","datavalue":{"value":"W2278622565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870162$7144FC58-A3FB-4D5F-B8C0-7A97BAF1D703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5e44f140dab8a31109329358c415520b0ce897","datavalue":{"value":{"entity-type":"item","numeric-id":5166692,"id":"Q5166692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc26893c5248d69c648f07ead08188341300a1e","datavalue":{"value":{"amount":"+0.8109773993492126","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":"Q2870162$7FFEA5C1-6859-41AE-8E11-FFDA2C48CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dd440df75f6c635ba254138a56ee3d488dded","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d7d6c42bcb68673488f88c64142f8686603b1f","datavalue":{"value":{"amount":"+0.7923301458358765","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":"Q2870162$928E4053-A7DB-43A9-AEA4-B03655216665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedca1f2b2699b837823dd5f8b70dbcf91309a1c","datavalue":{"value":{"amount":"+0.7896533608436584","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":"Q2870162$12F6D53D-A43D-4EBA-BDC8-B21F2F6A8060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3652995b47aea61f3d3cc2666de3e42b4e84b78b","datavalue":{"value":{"amount":"+0.7895286679267883","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":"Q2870162$EB968755-9488-447A-B533-96C6422469D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7448f372c4dc2d724ab7a4dc1fbe09ce32c46056","datavalue":{"value":{"amount":"+0.7893058657646179","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":"Q2870162$28CC40E8-54B3-497B-B337-6691C30A2A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PeRIPLO: a framework for producing effective interpolants in SAT-based software verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PeRIPLO:_a_framework_for_producing_effective_interpolants_in_SAT-based_software_verification"}}}}}