{"entities":{"Q5891935":{"pageid":7929141,"ns":120,"title":"Item:Q5891935","lastrevid":93274592,"modified":"2026-06-05T04:07:13Z","type":"item","id":"Q5891935","labels":{"en":{"language":"en","value":"Complete instantiation-based interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374701"}},"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":"Q5891935$D8BF7A88-DB21-401A-AE4B-132B933A874F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c41c4d72f5f2efa99682da810813d4334c113d18","datavalue":{"value":{"text":"Complete instantiation-based interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891935$729A5E41-26F6-4DE9-A5EC-C5D0D20B4CA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa11e52eb4314fe8d0d89cfd46664bebc27d673","datavalue":{"value":"1301.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$72875C65-61F0-483F-A0CD-EAF83A0A53D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef9a71e39b5bd7e4c5e2b6988eb4c310f9cc2a5","datavalue":{"value":"10.1145/2429069.2429132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$FD0F8225-EAD5-4841-98BD-E2224C725D0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858a9448f174ab9fa6d87fc8df12d3044ae4aed4","datavalue":{"value":{"entity-type":"item","numeric-id":286732,"id":"Q286732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891935$D76AF39A-CAD0-49E6-9593-65AD1E1A8A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891935$F6C0849E-12D2-45DD-89A8-071A31FBD025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891935$A6C5789C-03E2-4376-941D-7BF76F0D23EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891935$4693E7A2-C15E-4442-8724-A8A99F763491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e4edef1a35fc48972e4f6b0b74ffd93357d6da9","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.8370","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891935$648436B8-1908-43E9-817D-EF843140057B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$253EAC90-11D9-4E24-8358-974233F9BD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$BE8C343E-4C69-453C-9375-5273D51A8C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$0118985E-2BFB-40E3-B109-6145F865ADAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93d24ca26ae0ffd4c0686192fb6a2d879da97869","datavalue":{"value":"6374701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$F504BF47-9860-4D95-85C3-BCF3108BB081","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38314d4434bf013c6de7f3559ef160bd44ea1a0","datavalue":{"value":"Craig interpolants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891935$076935AE-1BAC-4975-8AD9-660792116B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891935$DD41013C-7F21-475F-B3D6-15AD325E07A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33510ccd00704dd279a2a008dfe7d16dfcabc24","datavalue":{"value":"satisfiability module theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891935$E68DBB02-33B7-41FC-923A-893779912FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891935$28126C19-FA71-4DF4-8E84-1AAD25A791B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891935$AF329F17-9928-4A97-AB25-3B8F114F313E","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":"Q5891935$15318461-9157-48CA-A185-5A67D859180B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21e97ee0d070278668ee8d38e883d573d3c1d2d5","datavalue":{"value":"W1964621354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891935$CAC96149-BEFC-4463-A741-5CC40E87BD13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ac296eef685af3714af18edb241e087213d64e","datavalue":{"value":{"entity-type":"item","numeric-id":5890659,"id":"Q5890659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f9ed470e3bba674758877f93b06ad9505ac463","datavalue":{"value":{"amount":"+0.9862313866615297","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":"Q5891935$1FB4A0AA-1A40-4180-833E-60FECD6E8B17","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":"2c85fc80595663d08ea3a2e9b99828594bc18e1a","datavalue":{"value":{"amount":"+0.8074913024902344","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":"Q5891935$8F1FCBDA-101E-47A5-9852-12204C236B49","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":"3b9a9f13545c0fc5189cc549c006ba253ad3288d","datavalue":{"value":{"amount":"+0.8072747588157654","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":"Q5891935$CEB98835-E550-41C5-A6DD-556044819174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b9f803b485945da86faf8cbeb621e43e8d77e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799115,"id":"Q1799115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43babc056c9b72b1bb6515edd7ffdaa6948c6cfd","datavalue":{"value":{"amount":"+0.8005803823471069","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":"Q5891935$B8C50CB3-E497-47A4-BFBB-D16E9FAE7612","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":"29d3a2a07ace1c0e6b7261c8ed77bee5c022e611","datavalue":{"value":{"amount":"+0.7983520030975342","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":"Q5891935$385C6408-3FF7-4C01-B001-DF0839D18E73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete instantiation-based interpolation (scientific article; zbMATH DE number 6374701)","badges":[]}}}}}