{"entities":{"Q2225119":{"pageid":2235862,"ns":120,"title":"Item:Q2225119","lastrevid":78749723,"modified":"2026-05-06T12:21:02Z","type":"item","id":"Q2225119","labels":{"en":{"language":"en","value":"Nonlinear Craig interpolant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7306421"}},"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":"Q2225119$A34953DB-7ABC-4447-8F13-FDA719C3F2A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e45c61c4928c45ce81cd7a0402caa122819547d2","datavalue":{"value":{"text":"Nonlinear Craig interpolant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225119$4132A1EA-A3D4-454D-85C2-8FA42FB60C0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1de7ee041e4312298562e11ef8487ac5d654622","datavalue":{"value":"1478.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$80D310F7-0387-4F17-A5AA-57F7BD86412E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fa27db363e796f39484357d309d236c3e0363d6","datavalue":{"value":"10.1007/978-3-030-53288-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$4C11A9D8-8C78-427F-B1DE-4EEBE3DE2753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23b925de2b5e66dccd1a027eb449c375bff81d66","datavalue":{"value":{"entity-type":"item","numeric-id":507351,"id":"Q507351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$1762331C-14A4-4F33-B60F-AA38FE38050A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$4912EC9A-3162-4310-B390-CB4336D5925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a157e506fc5c10d64914a77b9c6ded9494fdd3f","datavalue":{"value":{"entity-type":"item","numeric-id":832193,"id":"Q832193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$517BC92F-C95F-4C7C-9EAA-2DE8CE7B4691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$363578EA-E38E-480F-AB83-8885BA217391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3da0a89075607d7b8ca44279b5d1b6258deef213","datavalue":{"value":{"entity-type":"item","numeric-id":507350,"id":"Q507350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$48CA914B-0A8D-486F-93F0-F8120B55BF9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d6a456e0bab179ca64e4b2223a94b5349f4a541","datavalue":{"value":{"time":"+2021-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225119$86DBF6BA-9BA0-4FB2-B14B-8A1440FBD14F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dd5e240adc89c961321843b7f501c8882d9af99","datavalue":{"value":"https://arxiv.org/abs/1903.01297","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225119$48954A2F-531A-4CED-BF4B-E5C7144FB94B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$93BBC8DE-8308-46F5-8355-8B57EC4DD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$2E4BA035-BA0C-4CE1-96E0-D3219931984E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$14E15E7A-8F44-4C93-9C65-37EBDA330978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$9DB4E70C-9E6F-4C3F-9606-A59E354330B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747ca2a29edc80ef77db4b4376cee27cb80d39e3","datavalue":{"value":"90C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$BC49BEDE-CBE5-4977-8588-B91DB0EF399E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c61edc5d99b1268ff0a66a365a01de54571f520","datavalue":{"value":"7306421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$6E24C5D6-AA56-4E14-9F97-4C3E93E2A65A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342e09d190155ca100024e455b49025512e8b20b","datavalue":{"value":"Craig interpolant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225119$F3102C3C-A48E-42E2-B8B9-14609ABA67A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"293a0ddbdaf8393fcc12e6c22a59d140abcf4a5a","datavalue":{"value":"Archimedean condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225119$94703082-0C89-41A9-AB34-16A8DB964EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0145dbb175f229104a70deaeffc1099143a20d","datavalue":{"value":"semidefinite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225119$23388D4C-DB62-48D3-A26F-37A0D4A8D074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225119$3EFBD785-23C4-4F20-9EBF-D0D7CF833660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225119$9958F34E-5F82-4A7E-96DB-E5451AC4B277","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":"Q2225119$6719F500-A24C-4DAE-9C5E-20B01BD2EC0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38aa71d910b238f3924b1f23f41bbf115bf922ee","datavalue":{"value":"W3046796804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225119$98078C20-A277-493B-8F72-7493C0E82E4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3caa1d4d524f71e53b37a1b2ddaba48ddafa2","datavalue":{"value":{"entity-type":"item","numeric-id":2864839,"id":"Q2864839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed152ed9899e3399f34ced2ee7e7476b9bc539c","datavalue":{"value":{"amount":"+0.888735294342041","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":"Q2225119$D019793B-B7BE-4CD8-B4D6-04EE22067998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0aaae259a90689a8ad97ff7a16ad0d170b360e","datavalue":{"value":{"entity-type":"item","numeric-id":3172854,"id":"Q3172854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0bb7b478a04c64347cafbe37cde2de57c8910e","datavalue":{"value":{"amount":"+0.8475508093833923","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":"Q2225119$4F5591C0-B7B3-4C05-B87A-089F62371D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af25b4621f953e0172da381b976932d70bb927f","datavalue":{"value":{"entity-type":"item","numeric-id":2272929,"id":"Q2272929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61de6cd74aaf99d646f2361eed7ad8bc800b7e88","datavalue":{"value":{"amount":"+0.8409695625305176","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":"Q2225119$716B9FC0-E3E2-4282-B1B6-1A92DF8DC010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c46ac99899f0131cb1cb9b743b1ed703a057bd","datavalue":{"value":{"entity-type":"item","numeric-id":5056007,"id":"Q5056007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e526ed1268acc3e226be3a4dc9f42db1f9159f7f","datavalue":{"value":{"amount":"+0.8381874561309814","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":"Q2225119$92A0A2D6-F518-45A8-AB1F-907A542A1883","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":"09b035b4916856444c9000851357d0f58b5ca677","datavalue":{"value":{"amount":"+0.7952157258987427","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":"Q2225119$3D71F573-4EF3-422D-8AB3-2FBA0DA1B031","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225119$C9F50285-874A-4601-9BF6-E7EF7E6AFDFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonlinear Craig interpolant generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonlinear_Craig_interpolant_generation"}}}}}