{"entities":{"Q2864838":{"pageid":2875558,"ns":120,"title":"Item:Q2864838","lastrevid":83573228,"modified":"2026-05-07T09:04:10Z","type":"item","id":"Q2864838","labels":{"en":{"language":"en","value":"Efficient Generation of Small Interpolants in CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6233045"}},"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":"Q2864838$84E6038C-3D56-4DDD-867B-93A54952D1AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83b19fa8f70048959b4d791edf497fde3bdf022a","datavalue":{"value":{"text":"Efficient Generation of Small Interpolants in CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864838$FEA26BCC-28B3-4DEB-A530-99DCEB3396DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869f7c7d9ebc78c02f1262438b8ffbd3bb149128","datavalue":{"value":"1341.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864838$766B47D0-3B40-462B-993E-A795638889FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac434828fc1054aa71059822346923ab172c345","datavalue":{"value":"10.1007/978-3-642-39799-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864838$99C894AF-00C8-4498-99C3-F7165BEEF5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eeffd0a4d2cc9b1c30d6e712f911dea7b84f95","datavalue":{"value":{"entity-type":"item","numeric-id":746770,"id":"Q746770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864838$1C74265F-FAD1-430A-84AA-0771C593F911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e339dd7bfbda36ac1d0ca0bbb1694595f418a2","datavalue":{"value":{"entity-type":"item","numeric-id":746772,"id":"Q746772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864838$C93863B0-4268-44ED-BF21-5889B97CFCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb85832ecb9136476175ff03ddf74d77f7a7c330","datavalue":{"value":{"entity-type":"item","numeric-id":746771,"id":"Q746771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864838$32FE11FB-E968-4A40-8AEA-30BDF1AA97C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864838$C673231A-0382-443B-BD40-10753A57FD34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88928c17fadcfc4c4e165345ca8ccf5e078f7614","datavalue":{"value":{"time":"+2013-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864838$7B3DBD3A-39B3-4733-8D0E-B46492C2F215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864838$612EF871-003E-4D1C-9D9F-D0B5564BF761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32495a9ea9b3c218c5fda61521e178c14e78a52b","datavalue":{"value":"6233045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864838$A1C80F04-D638-4F0E-8EDE-5F3D794BAE04","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":"Q2864838$61016034-68DA-413D-80D2-C05C9E02A151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d6f05d28f0e76b16abd7e8ec9de82e1215fc7b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39799-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864838$D6077368-4E75-47B8-8112-4AE1BB5B7378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6be05ce8f9519b12364b7b7806aa865c6b55b101","datavalue":{"value":"W2285587265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864838$C51DFE79-7038-4B26-BF71-A6F76B33565F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dbc0b20fcaf7e85b2085420b66499eed88180d","datavalue":{"value":{"entity-type":"item","numeric-id":746773,"id":"Q746773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$761EE545-3FD3-4248-8945-D900CB6226F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f754bdf912eb9b6aed20d0b7a354284c47bd11","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5611d043860a5312d7f1e5e87effed2607879ec8","datavalue":{"value":{"amount":"+0.8819398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$CAF46EFB-1697-41AC-81B2-DA2FB846CEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13004038faffc696fbd1f83fa37d6804792ecd3b","datavalue":{"value":{"entity-type":"item","numeric-id":5891705,"id":"Q5891705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3e638875cb8e785cbe9ffc9fe2d05d38771317","datavalue":{"value":{"amount":"+0.87685275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$6CE1445B-5297-4569-A430-79303E4B6D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0acf781d81a37d8deb3e20167f9211fb090938","datavalue":{"value":{"entity-type":"item","numeric-id":5892495,"id":"Q5892495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3e638875cb8e785cbe9ffc9fe2d05d38771317","datavalue":{"value":{"amount":"+0.87685275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$DDA7E2FF-75D3-4AB4-97AC-258D13855B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89dbb15b892cff2f017253eeff9ee21c526689af","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd836073350d26f6d96b65214427e68416b3170","datavalue":{"value":{"amount":"+0.87205863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$A2EBFE53-19FF-4478-9F35-7E985A6BEC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f5e6f344dd9c773c216c05d942c887d5e35aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7c22337ab6c525e13177d7e2935fc25ba7f7e1","datavalue":{"value":{"amount":"+0.8299715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$C6B1D491-E89D-4A90-B5F1-4A3ABCA3AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3751069d4baf1238c5ea4d20a7b5ddc6cb33ac9d","datavalue":{"value":{"amount":"+0.82957476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$0306A4D1-10CF-4594-9EC3-0008AABE7DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3883fd0ca3e5a135d492c1afa41925f1cf6746b6","datavalue":{"value":{"entity-type":"item","numeric-id":5369245,"id":"Q5369245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0f86ac8051483eb3779cb1d0868c68c52cc33d0","datavalue":{"value":{"amount":"+0.8245496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$F995A6E2-DA29-4D21-A1B9-1FF008D9D50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4269f24f54f163866a6d0eb10fc176bfd58f3a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9455a92a7dd0b7c02dfaf80f5ecc977cf3637b","datavalue":{"value":{"amount":"+0.82118225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2864838$4F705500-5440-4C37-A4CD-7AC04CCC408D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Generation of Small Interpolants in CNF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Generation_of_Small_Interpolants_in_CNF"}}}}}